Buscar
Mostrando ítems 1-2 de 2
Detection of anti-patterns in the control flow of collaborative business processes
(2015)
The verification of the behavior of Collaborative Business Processes is an important aspect to consider when developing inter-organizational systems. In this work, a verification approach for the control flow of collaborative ...
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 ...