Tool for the verification of BPMN models based on anti-patterns
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...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Artículo acceptedVersion |
| Lenguaje: | Inglés Inglés |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12272/2134 |
| Aporte de: |
| Sumario: | 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. |
|---|