On termination of transactions over semantic document models. Mantsivoda, A. V. and Ponomaryov, D. K. The Bulletin of Irkutsk State University. Series Mathematics, 31:111–131, 2020.
doi  abstract   bibtex   
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.
@article{MP20,
  author =	 {A. V. Mantsivoda and D. K. Ponomaryov},
  title =	 {On termination of transactions over semantic
                  document models},
  year =	 2020,
  journal =	 {The Bulletin of Irkutsk State University. Series
                  Mathematics},
  doi =		 {10.26516/1997-7670.2020.31.111},
  abstract =	 {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.},
  volume =	 {31},
  pages =	 {111--131}
}
Downloads: 0