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: Chiotti, Omar, Roa, Jorge, Villarreal, Pablo
Formato: Artículo acceptedVersion
Lenguaje:Inglés
Inglés
Publicado: 2017
Materias:
Business process
Verification
Soundness
Correctness properties
Acceso en línea:http://hdl.handle.net/20.500.12272/2130
Aporte de:
RIA - Repositorio Institucional Abierto (UTN) de Universidad Tecnológica Nacional
id I68-R174-20.500.12272-2130
record_format dspace
spelling I68-R174-20.500.12272-21302023-07-03T20:01:27Z Detection of anti-patterns in the control flow of collaborative business processes Chiotti, Omar Roa, Jorge Villarreal, Pablo Business process Verification Soundness Correctness properties 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. Peer Reviewed 2017-10-02T20:51:00Z 2017-10-02T20:51:00Z 2015 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion info:ar-repo/semantics/artículo Argentine Symposium on Software Engineering 2015, 44 JAIIO http://hdl.handle.net/20.500.12272/2130 eng eng Gestión de Procesos de Negocios en Colaboraciones Inter-Organizacionales info:eu-repo/semantics/openAccess http://creativecommons.org/publicdomain/zero/1.0/ Pablo Villarreal A partir de su aprobación CC0 1.0 Universal application/pdf
institution Universidad Tecnológica Nacional
institution_str I-68
repository_str R-174
collection RIA - Repositorio Institucional Abierto (UTN)
language Inglés
Inglés
topic Business process
Verification
Soundness
Correctness properties
spellingShingle Business process
Verification
Soundness
Correctness properties
Chiotti, Omar
Roa, Jorge
Villarreal, Pablo
Detection of anti-patterns in the control flow of collaborative business processes
topic_facet Business process
Verification
Soundness
Correctness properties
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 Artículo
acceptedVersion
Artículo
author Chiotti, Omar
Roa, Jorge
Villarreal, Pablo
author_facet Chiotti, Omar
Roa, Jorge
Villarreal, Pablo
author_sort Chiotti, Omar
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 2017
url http://hdl.handle.net/20.500.12272/2130
work_keys_str_mv AT chiottiomar detectionofantipatternsinthecontrolflowofcollaborativebusinessprocesses
AT roajorge detectionofantipatternsinthecontrolflowofcollaborativebusinessprocesses
AT villarrealpablo detectionofantipatternsinthecontrolflowofcollaborativebusinessprocesses
_version_ 1770623456515194880

Ejemplares similares