On termination of transactions over semantic document models

A. V. Mantsivoda, D. K. Ponomaryov

Research output: Contribution to journalArticlepeer-review

1 Citation (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.

Original languageEnglish
Pages (from-to)111-131
Number of pages21
JournalBulletin of Irkutsk State University, Series Mathematics
Publication statusPublished - 1 Jan 2020


  • Chase
  • Document model
  • Semantic Modeling
  • Transaction


Dive into the research topics of 'On termination of transactions over semantic document models'. Together they form a unique fingerprint.

Cite this