- Treffer 1 von 1
Formal framework for checking compliance of data-driven case management
- Business processes are often specified in descriptive or normative models. Both types of models should adhere to internal and external regulations, such as company guidelines or laws. Employing compliance checking techniques, it is possible to verify process models against rules. While traditionally compliance checking focuses on well-structured processes, we address case management scenarios. In case management, knowledge workers drive multi-variant and adaptive processes. Our contribution is based on the fragment-based case management approach, which splits a process into a set of fragments. The fragments are synchronized through shared data but can, otherwise, be dynamically instantiated and executed. We formalize case models using Petri nets. We demonstrate the formalization for design-time and run-time compliance checking and present a proof-of-concept implementation. The application of the implemented compliance checking approach to a use case exemplifies its effectiveness while designing a case model. The empirical evaluationBusiness processes are often specified in descriptive or normative models. Both types of models should adhere to internal and external regulations, such as company guidelines or laws. Employing compliance checking techniques, it is possible to verify process models against rules. While traditionally compliance checking focuses on well-structured processes, we address case management scenarios. In case management, knowledge workers drive multi-variant and adaptive processes. Our contribution is based on the fragment-based case management approach, which splits a process into a set of fragments. The fragments are synchronized through shared data but can, otherwise, be dynamically instantiated and executed. We formalize case models using Petri nets. We demonstrate the formalization for design-time and run-time compliance checking and present a proof-of-concept implementation. The application of the implemented compliance checking approach to a use case exemplifies its effectiveness while designing a case model. The empirical evaluation on a set of case models for measuring the performance of the approach shows that rules can often be checked in less than a second.…
Verfasserangaben: | Stephan HaarmannORCiDGND, Adrian Holfter, Luise PufahlORCiDGND, Mathias WeskeORCiDGND |
---|---|
DOI: | https://doi.org/10.1007/s13740-021-00120-3 |
ISSN: | 1861-2032 |
ISSN: | 1861-2040 |
Titel des übergeordneten Werks (Englisch): | Journal on data semantics : JoDS |
Verlag: | Springer |
Verlagsort: | Heidelberg |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Datum der Erstveröffentlichung: | 19.04.2021 |
Erscheinungsjahr: | 2021 |
Datum der Freischaltung: | 05.01.2024 |
Freies Schlagwort / Tag: | Case management; Compliance checking; Data-centric; Model verification; processes |
Band: | 10 |
Ausgabe: | 1-2 |
Seitenanzahl: | 21 |
Erste Seite: | 143 |
Letzte Seite: | 163 |
Fördernde Institution: | Projekt DEAL |
Organisationseinheiten: | An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Peer Review: | Referiert |
Publikationsweg: | Open Access / Hybrid Open-Access |
Lizenz (Deutsch): | ![]() |