Formalizing Artifact-Centric Business Processes

Hemza Merouani, Farid Mokhati, Hassina Seridi-Bouchelaghem

2014

Abstract

Recently, Artifact-Centric Business Processes have emerged as an approach in which processes are centred on data as a “first-class citizen”. A key challenge faced by such processes is to develop effective mechanisms that support formal specification, validation and verification of their static and dynamic behaviours i.e., the data of interest and how they evolve. We present, in this paper, a novel approach that allows on one hand, formalizing Artifact-Centric Business Process Models described in UML as an executable formal specification in the Maude and its strategy language and, on the other hand, testing whether the implementation of such models is conformant to its specification using all possible scenarios that are described as Maude strategies. One of the main reasons for using Maude-Strategy language is due to its execution environment in which the use of a wide range of formal methods is facilitated.

Paper Citation

in Harvard Style

Merouani H., Mokhati F. and Seridi-Bouchelaghem H. (2014). Formalizing Artifact-Centric Business Processes.In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-028-4, pages 368-374. DOI: 10.5220/0004951803680374

in Bibtex Style

@conference{iceis14,
author={Hemza Merouani and Farid Mokhati and Hassina Seridi-Bouchelaghem},
title={Formalizing Artifact-Centric Business Processes},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2014},
pages={368-374},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004951803680374},
isbn={978-989-758-028-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - Formalizing Artifact-Centric Business Processes
SN - 978-989-758-028-4
AU - Merouani H.
AU - Mokhati F.
AU - Seridi-Bouchelaghem H.
PY - 2014
SP - 368
EP - 374
DO - 10.5220/0004951803680374