Authors: Hela Limam; Amal Bouderbela; Jalel Akaichi
Addresses: Institut Supérieur d'Informatique, Université de Tunis El Manar, Tunisia; Laboratoire BestMod, Institut Supérieur de Gestion de Tunis, 2000, Tunis, Tunisia ' Institut Supérieur de Gestion, 41, Rue de la Liberté, Cité Bouchoucha, Le Bardo 2000, Tunisia ' College of Computer Science, University of Bisha, Bisha, Saudi Arabia
Abstract: Nowadays, business process model and notation (BPMN) is the tool used to support business process management and business users to bridge the communication gap between business process design and implementation. However, the BPMN metamodel lacks formal specification of well-formed rules. In this context, we propose an object constraint language (OCL)-based approach to enhance the expressivity of the BPMN model to hold the information needed and to express resource allocation constraints. Furthermore, we propose an algorithm that verifies if the BPMN model has bad marks in order to verify the correctness of the enhanced model. The whole approach has been tested in the medical field. In particular, it has been used to model, check and improve the care process of a mobile hospital.
Keywords: business process; BP; BP management; BP improvement; BP modelling notation; object constraint language; OCL constraints; mobile hospital.
International Journal of Computational Intelligence Studies, 2021 Vol.10 No.4, pp.272 - 285
Received: 10 Nov 2020
Accepted: 22 Mar 2021
Published online: 21 Jan 2022 *