Loading...
Loading...

Go to the content (press return)

Ensuring the semantic correctness of a BAUML artifact-centric BPM

Author
Estañol, M.; Sancho, Maria-Ribera; Teniente, E.
Type of activity
Journal article
Journal
Information and software technology
Date of publication
2018-01
Volume
93
First page
147
Last page
162
DOI
https://doi.org/10.1016/j.infsof.2017.09.003 Open in new window
Repository
http://hdl.handle.net/2117/108885 Open in new window
URL
http://www.sciencedirect.com/science/article/pii/S0950584917301404?via%3Dihub Open in new window
Abstract
Context: Using models to represent business processes provides several advantages, such as facilitating the communication between the stakeholders or being able to check the correctness of the processes before their implementation. In contrast to traditional process modeling approaches, the artifact-centric approach treats data as a key element of the process, also considering the tasks or activities that are performed in it. Objective: This paper presents a way to verify and validate the semant...
Citation
Estañol, M., Sancho, M. R., Teniente, E. Ensuring the semantic correctness of a BAUML artifact-centric BPM. "Information and software technology", Gener 2018, vol. 93, p. 147-162.
Keywords
Business process modeling, Reasoning, Tool, UML, Validation, Verification
Group of research
IMP - Information Modelling and Processing
inLab FIB