On Termination of Transactions over Semantic Document Models

Andrei Mantsivoda, Denis Ponomaryov

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 mo…