Verification of Structured Processes: A Method Based on an Unsoundness Profile

The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification techniques based on state space exploration suffer, for large processes, the state space explosion problem. New techniques improved verification p...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Roa, Jorge, Chiotti, Omar Juan Alfredo, Villarreal, Pablo David
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2013
Materias:
Ciencias Informáticas
Verification
business process
soundness
correctness properties
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/76489
http://42jaiio.sadio.org.ar/proceedings/simposios/Trabajos/ASSE/16.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares