语义文档模型上事务的可终止性
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
