论文标题
测量声明过程规范中的不一致
Measuring Inconsistency in Declarative Process Specifications
论文作者
论文摘要
我们解决了衡量声明过程规范中不一致的问题，重点是固定痕迹（LTLFF）的线性时间逻辑。正如我们将要显示的那样，现有的经典逻辑不一致度量不能提供对LTL的不一致的有意义评估，因为它们无法充分处理临时操作员。因此，我们提出了一种新颖的副派语义，作为不一致测量的框架。然后，我们根据这些语义提出了两项新的不一致措施，并表明它们满足了重要的理想特性。我们展示了如何将这些措施应用于声明过程模型并研究引入方法的计算复杂性。
We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existing inconsistency measures for classical logic cannot provide a meaningful assessment of inconsistency in LTL in general, as they cannot adequately handle the temporal operators. We therefore propose a novel paraconsistent semantics as a framework for inconsistency measurement. We then present two new inconsistency measures based on these semantics and show that they satisfy important desirable properties. We show how these measures can be applied to declarative process models and investigate the computational complexity of the introduced approach.
