当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
On Termination of Transactions over Semantic Document Models
arXiv - CS - Logic in Computer Science Pub Date : 2020-02-12 , DOI: arxiv-2002.05064
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 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.
更新日期:2020-02-13

 

全部期刊列表>>
化学/材料学中国作者研究精选
ACS材料视界
南京大学
自然科研论文编辑服务
剑桥大学-
中国科学院大学化学科学学院
南开大学化学院周其林
课题组网站
X-MOL
北京大学分子工程苏南研究院
华东师范大学分子机器及功能材料
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug