Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach

(1) , (2) , (3) , (4) , (3) , (1)
1
2
3
4

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.
Not file

Dates and versions

hal-02933061 , version 1 (08-09-2020)

Identifiers

  • HAL Id : hal-02933061 , version 1

Cite

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⟩
50 View
3 Download

Share

Gmail Facebook Twitter LinkedIn More