Verification of Structured Processes: A Method Based on an Unsoundness Profile
The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification techniques based on state space exploration suffer, for large processes, the state space explosion problem. New techniques improved verification p...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Inglés |
Publicado: |
2013
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/76489 http://42jaiio.sadio.org.ar/proceedings/simposios/Trabajos/ASSE/16.pdf |
Aporte de: |
id |
I19-R120-10915-76489 |
---|---|
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 Verification business process soundness correctness properties |
spellingShingle |
Ciencias Informáticas Verification business process soundness correctness properties Roa, Jorge Chiotti, Omar Juan Alfredo Villarreal, Pablo David Verification of Structured Processes: A Method Based on an Unsoundness Profile |
topic_facet |
Ciencias Informáticas Verification business process 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 techniques 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 constructs for advanced synchronization and exception management. To cope with this issue we propose the definition of an unsoundness profile of a given process language, which specifies all possible combinations of control flow constructs 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 example, we defined an unsoundness profile for a subset of the BPMN language and verified the behavior of a BPMN process model. |
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 |
Verification of Structured Processes: A Method Based on an Unsoundness Profile |
title_short |
Verification of Structured Processes: A Method Based on an Unsoundness Profile |
title_full |
Verification of Structured Processes: A Method Based on an Unsoundness Profile |
title_fullStr |
Verification of Structured Processes: A Method Based on an Unsoundness Profile |
title_full_unstemmed |
Verification of Structured Processes: A Method Based on an Unsoundness Profile |
title_sort |
verification of structured processes: a method based on an unsoundness profile |
publishDate |
2013 |
url |
http://sedici.unlp.edu.ar/handle/10915/76489 http://42jaiio.sadio.org.ar/proceedings/simposios/Trabajos/ASSE/16.pdf |
work_keys_str_mv |
AT roajorge verificationofstructuredprocessesamethodbasedonanunsoundnessprofile AT chiottiomarjuanalfredo verificationofstructuredprocessesamethodbasedonanunsoundnessprofile AT villarrealpablodavid verificationofstructuredprocessesamethodbasedonanunsoundnessprofile |
bdutipo_str |
Repositorios |
_version_ |
1764820484201906176 |