Standard

On termination of transactions over semantic document models. / Mantsivoda, A. V.; Ponomaryov, D. K.

In: Bulletin of Irkutsk State University, Series Mathematics, Vol. 31, 01.01.2020, p. 111-131.

Research output: Contribution to journal › Article › peer-review

Harvard

Mantsivoda, AV & Ponomaryov, DK 2020, 'On termination of transactions over semantic document models', Bulletin of Irkutsk State University, Series Mathematics, vol. 31, pp. 111-131. https://doi.org/10.26516/1997-7670.2020.31.111

APA

Mantsivoda, A. V., & Ponomaryov, D. K. (2020). On termination of transactions over semantic document models. Bulletin of Irkutsk State University, Series Mathematics, 31, 111-131. https://doi.org/10.26516/1997-7670.2020.31.111

Vancouver

Mantsivoda AV, Ponomaryov DK. On termination of transactions over semantic document models. Bulletin of Irkutsk State University, Series Mathematics. 2020 Jan 1;31:111-131. doi: 10.26516/1997-7670.2020.31.111

Author

Mantsivoda, A. V. ; Ponomaryov, D. K. / On termination of transactions over semantic document models. In: Bulletin of Irkutsk State University, Series Mathematics. 2020 ; Vol. 31. pp. 111-131.

BibTeX

@article{283aca75346746e29d054fd2d73843be,
title = "On termination of transactions over semantic document models",
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.",
keywords = "Chase, Document model, Semantic Modeling, Transaction",
author = "Mantsivoda, {A. V.} and Ponomaryov, {D. K.}",
year = "2020",
month = jan,
day = "1",
doi = "10.26516/1997-7670.2020.31.111",
language = "English",
volume = "31",
pages = "111--131",
journal = "Bulletin of Irkutsk State University, Series Mathematics",
issn = "1997-7670",
publisher = "Irkutsk State University",

}

RIS

TY - JOUR

T1 - On termination of transactions over semantic document models

AU - Mantsivoda, A. V.

AU - Ponomaryov, D. K.

PY - 2020/1/1

Y1 - 2020/1/1

N2 - 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.

AB - 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.

KW - Chase

KW - Document model

KW - Semantic Modeling

KW - Transaction

UR - http://www.scopus.com/inward/record.url?scp=85088538501&partnerID=8YFLogxK

U2 - 10.26516/1997-7670.2020.31.111

DO - 10.26516/1997-7670.2020.31.111

M3 - Article

AN - SCOPUS:85088538501

VL - 31

SP - 111

EP - 131

JO - Bulletin of Irkutsk State University, Series Mathematics

JF - Bulletin of Irkutsk State University, Series Mathematics

SN - 1997-7670

ER -

ID: 25059112