Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Ensuring the semantic correctness of a BAUML artifact-centric BPM

Autor
Estañol, M.; Sancho, Maria-Ribera; Teniente, E.
Tipus d'activitat
Article en revista
Revista
Information and software technology
Data de publicació
2018-01
Volum
93
Pàgina inicial
147
Pàgina final
162
DOI
https://doi.org/10.1016/j.infsof.2017.09.003 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/108885 Obrir en finestra nova
URL
http://www.sciencedirect.com/science/article/pii/S0950584917301404?via%3Dihub Obrir en finestra nova
Resum
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...
Citació
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.
Paraules clau
Business process modeling, Reasoning, Tool, UML, Validation, Verification
Grup de recerca
IMP - Information Modeling and Processing