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...
Guardado en:
Autores principales: | , , |
---|---|
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 |