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

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:
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:
id I19-R120-10915-52269
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
soundness
correctness properties
Verification
spellingShingle Ciencias Informáticas
soundness
correctness properties
Verification
Roa, Jorge
Chiotti, Omar Juan Alfredo
Villarreal, Pablo David
Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
topic_facet Ciencias Informáticas
soundness
correctness properties
Verification
description 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 verification. The approach supports the verification of complex constructs for advanced synchronization, multiple instances, and exception management. To this aim, 10 anti-patterns were defined from a repository of process models, and a tool which implements the anti-patterns was developed to evaluate the verification approach. Results indicate that, at worst, the verification time is less than half a millisecond, even for models with complex control flow constructs.
format Objeto de conferencia
Objeto de conferencia
author Roa, Jorge
Chiotti, Omar Juan Alfredo
Villarreal, Pablo David
author_facet Roa, Jorge
Chiotti, Omar Juan Alfredo
Villarreal, Pablo David
author_sort Roa, Jorge
title Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
title_short Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
title_full Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
title_fullStr Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
title_full_unstemmed Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
title_sort detection of anti-patterns in the control flow of collaborative business processes
publishDate 2015
url http://sedici.unlp.edu.ar/handle/10915/52269
http://44jaiio.sadio.org.ar/sites/default/files/asse100-114.pdf
work_keys_str_mv AT roajorge detectionofantipatternsinthecontrolflowofcollaborativebusinessprocesses
AT chiottiomarjuanalfredo detectionofantipatternsinthecontrolflowofcollaborativebusinessprocesses
AT villarrealpablodavid detectionofantipatternsinthecontrolflowofcollaborativebusinessprocesses
bdutipo_str Repositorios
_version_ 1764820475690614787