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

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

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

Ejemplares similares