基于安全性与健全性概念的BPMN协作分类
软件工程
2018-09-18 v1 形式语言与自动机理论
摘要
BPMN 2.0标准在同一组织内或涉及多个交互参与者的协作的业务流程建模中已被广泛采用。因此，为BPMN设计者提供坚实基础以一致地理解其模型变得愈发重要。在我们的研究中，我们定义并利用了协作语义的形式化刻画（专门针对BPMN模型直接给出），以提供BPMN协作的分类。特别地，我们涉及具有任意拓扑的流程的协作，从而克服了良结构性的限制。所提出的分类基于业务流程领域中最重要的一些正确性属性，即安全性（safeness）与健全性（soundness）。我们借助统一的形式化框架证明了某些已被猜想和预期的结果，且最重要的是，我们取得了关于BPMN协作的安全性、健全性及其组合性之间关系的全新成果，这代表了该领域最先进水平的重大进展。
引用
@article{arxiv.1809.06178,
title = {A Classification of BPMN Collaborations based on Safeness and Soundness Notions},
author = {Flavio Corradini and Chiara Muzi and Barbara Re and Francesco Tiezzi},
journal= {arXiv preprint arXiv:1809.06178},
year = {2018}
}
备注
In Proceedings EXPRESS/SOS 2018, arXiv:1808.08071