Listar por tema "Correctness properties"
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 ... -
Verification of structured processes : a method based on unsoundness profile
(2013)The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification tech-niques based on state space exploration suffer, for large ...