On termination of transactions over semantic document models

A. V. Mantsivoda, D. K. Ponomaryov

Результат исследования: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

Аннотация

We consider the framework of Document Modeling, which lays the formal basis for representing the document lifecycle in Business Process Management systems. We formulate document models in the scope of the logic-based Semantic Modeling language and study the question whether transactions given by a document model terminate on any input. We show that in general this problem is undecidable and formulate sufficient conditions, which guarantee decidability and tractability of computing effects of transactions.

Язык оригиналаанглийский
Страницы (с-по)111-131
Число страниц21
ЖурналBulletin of Irkutsk State University, Series Mathematics
Том31
DOI
СостояниеОпубликовано - 1 янв 2020

Fingerprint Подробные сведения о темах исследования «On termination of transactions over semantic document models». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать