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