Verification of structured processes : a method based on unsoundness profile
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 processes, the state space explosion problem. New techniques improved verification...
Guardado en:
Autores principales: | Villarreal, Pablo, Roa, Jorge, Chiotti, Omar |
---|---|
Formato: | Artículo acceptedVersion |
Lenguaje: | Inglés Inglés |
Publicado: |
2017
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12272/2129 |
Aporte de: |
Ejemplares similares
-
Verification of Structured Processes: A Method Based on an Unsoundness Profile
por: Roa, Jorge, et al.
Publicado: (2013) -
Detection of anti-patterns in the control flow of collaborative business processes
por: Chiotti, Omar, et al.
Publicado: (2017) -
Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
por: Roa, Jorge, et al.
Publicado: (2015) -
Tool for the verification of BPMN models based on anti-patterns
por: Orsi, Maximiliano, et al.
Publicado: (2017) -
A dataflow analysis to improve SAT-based bounded program verification
por: Galeotti, Juan Pablo, et al.
Publicado: (2011)