Verification of structured processes : a method based on unsoundness profile

The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification tech-niques based on state space exploration suffer, for large processes, the state space explosion problem. New techniques improved verification...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Villarreal, Pablo, Roa, Jorge, Chiotti, Omar
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/2129
Aporte de:
RIA - Repositorio Institucional Abierto (UTN) de Universidad Tecnológica Nacional
id I68-R174-20.500.12272-2129
record_format dspace
spelling I68-R174-20.500.12272-21292023-07-03T20:00:09Z Verification of structured processes : a method based on unsoundness profile Villarreal, Pablo Roa, Jorge Chiotti, Omar Business process Verification Soundness Correctness properties The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification tech-niques based on state space exploration suffer, for large processes, the state space explosion problem. New techniques improved verification performance by structuring processes as trees. However, they do not support complex con-structs for advanced synchronization and exception management. To cope with this issue we propose the definition of an unsoundness profile of a given pro-cess language, which specifies all possible combinations of control flow con-structs that can lead to errors in the behavior of structured processes defined with such a language. In addition, we introduce the sequential and hierarchical soundness properties, which make use of this profile to determine soundness of a structured process with complex constructs in polynomial time. As an exam-ple, we defined an unsoundness profile for a subset of the BPMN language and verified the behavior of a BPMN process model. Peer Reviewed 2017-10-02T20:50:13Z 2017-10-02T20:50:13Z 2013 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion info:ar-repo/semantics/artículo Argentine Symposium on Software Engineering 2013, 42 JAIIO http://hdl.handle.net/20.500.12272/2129 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 publicació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
Villarreal, Pablo
Roa, Jorge
Chiotti, Omar
Verification of structured processes : a method based on unsoundness profile
topic_facet Business process
Verification
Soundness
Correctness properties
description The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification tech-niques based on state space exploration suffer, for large processes, the state space explosion problem. New techniques improved verification performance by structuring processes as trees. However, they do not support complex con-structs for advanced synchronization and exception management. To cope with this issue we propose the definition of an unsoundness profile of a given pro-cess language, which specifies all possible combinations of control flow con-structs that can lead to errors in the behavior of structured processes defined with such a language. In addition, we introduce the sequential and hierarchical soundness properties, which make use of this profile to determine soundness of a structured process with complex constructs in polynomial time. As an exam-ple, we defined an unsoundness profile for a subset of the BPMN language and verified the behavior of a BPMN process model.
format Artículo
acceptedVersion
Artículo
author Villarreal, Pablo
Roa, Jorge
Chiotti, Omar
author_facet Villarreal, Pablo
Roa, Jorge
Chiotti, Omar
author_sort Villarreal, Pablo
title Verification of structured processes : a method based on unsoundness profile
title_short Verification of structured processes : a method based on unsoundness profile
title_full Verification of structured processes : a method based on unsoundness profile
title_fullStr Verification of structured processes : a method based on unsoundness profile
title_full_unstemmed Verification of structured processes : a method based on unsoundness profile
title_sort verification of structured processes : a method based on unsoundness profile
publishDate 2017
url http://hdl.handle.net/20.500.12272/2129
work_keys_str_mv AT villarrealpablo verificationofstructuredprocessesamethodbasedonunsoundnessprofile
AT roajorge verificationofstructuredprocessesamethodbasedonunsoundnessprofile
AT chiottiomar verificationofstructuredprocessesamethodbasedonunsoundnessprofile
_version_ 1770623456300236800

Ejemplares similares