Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
- Autores
- Roa, Jorge; Chiotti, Omar Juan Alfredo; Villarreal, Pablo David
- Año de publicación
- 2015
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Sociedad Argentina de Informática e Investigación Operativa (SADIO) - Materia
-
Ciencias Informáticas
soundness
correctness properties
Verification - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-sa/3.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/52269
Ver los metadatos del registro completo
id |
SEDICI_0a038e94bd562c793fe810d00655b0a8 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/52269 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Detection of Anti-Patterns in the Control Flow of Collaborative Business ProcessesRoa, JorgeChiotti, Omar Juan AlfredoVillarreal, Pablo DavidCiencias Informáticassoundnesscorrectness propertiesVerificationThe 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.Sociedad Argentina de Informática e Investigación Operativa (SADIO)2015-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf100-114http://sedici.unlp.edu.ar/handle/10915/52269enginfo:eu-repo/semantics/altIdentifier/url/http://44jaiio.sadio.org.ar/sites/default/files/asse100-114.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7593info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-sa/3.0/Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:04:35Zoai:sedici.unlp.edu.ar:10915/52269Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:04:36.125SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes |
title |
Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes |
spellingShingle |
Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes Roa, Jorge Ciencias Informáticas soundness correctness properties Verification |
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 |
dc.creator.none.fl_str_mv |
Roa, Jorge Chiotti, Omar Juan Alfredo Villarreal, Pablo David |
author |
Roa, Jorge |
author_facet |
Roa, Jorge Chiotti, Omar Juan Alfredo Villarreal, Pablo David |
author_role |
author |
author2 |
Chiotti, Omar Juan Alfredo Villarreal, Pablo David |
author2_role |
author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas soundness correctness properties Verification |
topic |
Ciencias Informáticas soundness correctness properties Verification |
dc.description.none.fl_txt_mv |
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. Sociedad Argentina de Informática e Investigación Operativa (SADIO) |
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. |
publishDate |
2015 |
dc.date.none.fl_str_mv |
2015-09 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/52269 |
url |
http://sedici.unlp.edu.ar/handle/10915/52269 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://44jaiio.sadio.org.ar/sites/default/files/asse100-114.pdf info:eu-repo/semantics/altIdentifier/issn/2451-7593 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-sa/3.0/ Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-sa/3.0/ Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) |
dc.format.none.fl_str_mv |
application/pdf 100-114 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844615915003445248 |
score |
13.070432 |