Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach

Presenter Information

Rafika Thabet, Toulouse University, INPTFollow
Elyes Lamine, University of Toulouse, IMT Mines AlbiFollow
Amine Boufaied, University of Sousse, ISITComFollow
Dominik Bork, University of Vienna, Faculty of Computer ScienceFollow
Ouajdi KORBAA, University of Sousse, ISITComFollow
Hervé Pingaud, Toulouse University, INPTFollow

Paper Type

Complete

Abstract

Modeling is one of the fundamental aspects of Risk-aware Business Process Management. The conceptualization of new modeling approaches needs to integrate all abstraction layers of risk and business process concepts and requires a highly specialized knowledge in conceptual modeling foundations and formal specification of meta-models. This paper introduces a risk-aware business process modeling approach based on the BPRIM method. In order to comprehensively and unambiguously specify the proposed approach, we revert to the FDMM formalism. Furthermore, a corresponding software prototype called AdoBPRIM has been implemented using the ADOxx meta-modeling platform to assess the technical feasibility of the approach. The usability of the tool has been empirically evaluated and a healthcare process-based example is presented as a proof-of-concept. We show that the AdoBPRIM approach enables Risk-aware Business Process Management with an excellent usability. In summary, this paper constitutes a best-practice for formally specifying, technically implementing, and empirically evaluating modeling method conceptualizations.

Recommended Citation

Thabet, Rafika; Lamine, Elyes; Boufaied, Amine; Bork, Dominik; KORBAA, Ouajdi; and Pingaud, Hervé, "Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach" (2020). AMCIS 2020 Proceedings. 20.
https://aisel.aisnet.org/amcis2020/adv_info_systems_research/adv_info_systems_research/20