Business process modeling is an important concern in enterprise. Formal analysis techniques are crucial to detect semantic issues in the corresponding models, or to help with their refactoring and evolution. However, business process development frameworks often fall short when it comes to go beyond simulation or syntactic checking of the models. In this paper, we present our VBPMN verification framework. It features several techniques for the automatic analysis of business processes modeled using BPMN, the de facto standard for business process modeling. As such, it supports a more robust development of business processes.
CITATION STYLE
Krishna, A., Poizat, P., & Salaün, G. (2017). VBPMN: Automated verification of BPMN processes (tool paper). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10510 LNCS, pp. 323–331). Springer Verlag. https://doi.org/10.1007/978-3-319-66845-1_21
Mendeley helps you to discover research relevant for your work.