On Termination of Transactions over Semantic Document Models
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 d...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Irkutsk State University
2020-03-01
|
| Series: | Известия Иркутского государственного университета: Серия "Математика" |
| Subjects: | |
| Online Access: | http://mathizv.isu.ru/en/article/file?id=1334 |