Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach - IMT Mines Albi-Carmaux Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02933061 , version 1

Citer

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⟩
58 Consultations
3 Téléchargements

Partager

Gmail Facebook X LinkedIn More