A survey of formal business process verification : From soundness to variability
A survey of formal business process verification : From soundness to variability
复制标题
正式业务流程验证的调查：从健全性到可变性
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Doina Bucur
中科院分区：
文献类型：
--
作者：
H. Groefsema;Doina Bucur
许多应用领域都对业务流程模型的形式化验证感兴趣，包括检查基本流程的正确性、业务合规性和流程可变性。关于这些主题存在大量工作，但缺乏对该领域及其方向的全面概述。我们对现有方法进行概述和批判性反思。
Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.