论文标题
关于通过语义文档模型终止交易
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 document model terminate on any input. We show that in general this problem is undecidable and formulate sufficient conditions, which guarantee decidability and polynomial boundedness of effects of transactions.
