Tool for the verification of BPMN models based on anti-patterns

The verification of the behavior of business process models is an important requirement for Business Process Management. In this work, a verification tool based on behavioral anti-patterns for the verification of BPMN business process models is proposed. The purpose is to provide support to business...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Orsi, Maximiliano, Roa, Jorge
Formato: Artículo acceptedVersion
Lenguaje:Inglés
Inglés
Publicado: 2017
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12272/2134
Aporte de:
id I68-R174-20.500.12272-2134
record_format dspace
spelling I68-R174-20.500.12272-21342023-07-03T20:02:43Z Tool for the verification of BPMN models based on anti-patterns Orsi, Maximiliano Roa, Jorge Business process Anti-pattern detection Behavioral anti-patterns Deadlocks The verification of the behavior of business process models is an important requirement for Business Process Management. In this work, a verification tool based on behavioral anti-patterns for the verification of BPMN business process models is proposed. The purpose is to provide support to business analysts and system designers to perform verification of the control flow of business process models. The tool will be implemented as a plug-in of the Oryx platform and will determine whether process models are free from errors like deadlocks and lacks of synchronizations. Peer Reviewed 2017-10-02T22:47:11Z 2017-10-02T22:47:11Z 2015 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion info:ar-repo/semantics/artículo 1º Escuela Latinoamericana de Gestión de Procesos de Negocio http://hdl.handle.net/20.500.12272/2134 eng eng Gestión de Procesos de Negocio 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
Anti-pattern detection
Behavioral anti-patterns
Deadlocks
spellingShingle Business process
Anti-pattern detection
Behavioral anti-patterns
Deadlocks
Orsi, Maximiliano
Roa, Jorge
Tool for the verification of BPMN models based on anti-patterns
topic_facet Business process
Anti-pattern detection
Behavioral anti-patterns
Deadlocks
description The verification of the behavior of business process models is an important requirement for Business Process Management. In this work, a verification tool based on behavioral anti-patterns for the verification of BPMN business process models is proposed. The purpose is to provide support to business analysts and system designers to perform verification of the control flow of business process models. The tool will be implemented as a plug-in of the Oryx platform and will determine whether process models are free from errors like deadlocks and lacks of synchronizations.
format Artículo
acceptedVersion
Artículo
author Orsi, Maximiliano
Roa, Jorge
author_facet Orsi, Maximiliano
Roa, Jorge
author_sort Orsi, Maximiliano
title Tool for the verification of BPMN models based on anti-patterns
title_short Tool for the verification of BPMN models based on anti-patterns
title_full Tool for the verification of BPMN models based on anti-patterns
title_fullStr Tool for the verification of BPMN models based on anti-patterns
title_full_unstemmed Tool for the verification of BPMN models based on anti-patterns
title_sort tool for the verification of bpmn models based on anti-patterns
publishDate 2017
url http://hdl.handle.net/20.500.12272/2134
work_keys_str_mv AT orsimaximiliano toolfortheverificationofbpmnmodelsbasedonantipatterns
AT roajorge toolfortheverificationofbpmnmodelsbasedonantipatterns
_version_ 1770623457367687168