Buscar
Mostrando ítems 1-1 de 1
Tool for the verification of BPMN models based on anti-patterns
(2015)
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 ...