Tool for the verification of BPMN models based on anti-patterns
Date
2015
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
The verification of the behavior of business process models is an important requirement for Business Process Management. In this work, a verification tool based on behavioral anti-patterns for the verification of BPMN business process models is proposed. The purpose is to provide support to business analysts and system designers to perform verification of the control flow of business process models. The tool will be implemented as a plug-in of the Oryx platform and will determine whether process models are free from errors like deadlocks and lacks of synchronizations.
Description
Keywords
Business process, Anti-pattern detection, Behavioral anti-patterns, Deadlocks
Citation
1º Escuela Latinoamericana de Gestión de Procesos de Negocio
Endorsement
Review
Supplemented By
Referenced By
Creative Commons license
Except where otherwised noted, this item's license is described as info:eu-repo/semantics/openAccess