Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes

Mostrar todas las versiones(2)

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 processes based on anti-patterns is proposed to improve the performance of...

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: 2015
Materias:
Ciencias Informáticas
soundness
correctness properties
Verification
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/52269
http://44jaiio.sadio.org.ar/sites/default/files/asse100-114.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares