IUPC：过程约束的识别与统一
摘要：企业流程合规性（BPC）在过去几年的研究和实践中获得了显著的动力。尽管有许多方法来处理BPC，但它们大多假设存在某种统一的流程约束基础，并关注对业务流程的验证。然而，目前还不清楚如何建立这样一个集成的流程约束基础，尽管这是所有后续合规性检查的基本先决条件。此外，迄今为止，流程约束的异构性被忽视了。如果没有从领域规则中识别和分离流程约束，并统一流程约束，就不可能成功地实现BPC的IT支持。在本技术报告中，我们介绍了一个统一的表示框架，可以识别领域规则中的流程约束，并将它们以后统一在一个流程约束基础中。将流程约束从领域规则中分离出来可以显著减少合规性检查的工作量。统一化可以实现一致性检查和优化，以及约束基础的维护和演进。
作者：Juergen Mangler and Stefanie Rinderle-Ma
论文ID：1104.3609
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-04-20