Listar Publicaciones en Congresos, Conferencias y Jornadas por autor "Chiotti, Omar"
Mostrando ítems 1-2 de 2
-
Detection of anti-patterns in the control flow of collaborative business processes
Chiotti, Omar; Roa, Jorge; Villarreal, Pablo (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
Villarreal, Pablo; Roa, Jorge; Chiotti, Omar (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 ...