On Termination of Transactions over Semantic Document Models

02/12/2020

∙

by   Andrei Mantsivoda, et al.

∙

0

∙

share

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