Authors:
Hemza Merouani
1
;
Farid Mokhati
1
and
Hassina Seridi-Bouchelaghem
2
Affiliations:
1
University of Oum El-Bouaghi, Algeria
;
2
University of Annaba, Algeria
Keyword(s):
Business Process Management, Data-Centric Business Processes, Business Artifact, Maude-Strategy Language, Formalization, Validation by Simulation, Conformance Testing.
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.