Impact Logic: Reasoning with resources and losses

Procedia Computer Science(2022)

引用 0|浏览6
暂无评分
摘要
The notion of Business Process Compliance has been widely discussed as one of the most important issues to be solved when comparing the description of a business process against a normative background. Many changes have been provided to the basic notion above. The introduction of changes to the normative background has been considered, as well as the idea of Compliance by Design. In this paper, we discuss how to devise a business process that is compliant to an impact constraint set. We shall show that the technical problems determined by this concept are all within the horizon of adding to the logical framework the notions of Resource and Product.
更多
查看译文
关键词
Defeasible logic,Linear logic,Business Process Compliance
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要