HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach

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.
Document type :
Conference papers
Complete list of metadata

Contributor : Imt Mines Albi Imt Mines Albi Connect in order to contact the contributor
Submitted on : Tuesday, September 8, 2020 - 10:21:05 AM
Last modification on : Wednesday, April 6, 2022 - 5:14:08 PM


  • HAL Id : hal-02933061, version 1


Rafika Thabet, Elyes Lamine, Amine Boufaied, Dominik Bork, Ouajdi Korbaa, et al.. Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach. AMCIS 2020 - Conference of the Association-for-Information-Systems, Aug 2020, Salt Lake City, United States. ⟨hal-02933061⟩



Record views