Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

This paper addresses the open technical problems of evolving executable, event-based process models by refinement, that is, by iteratively expanding a model until it has the required level of detail. Such iterative development is helpful because of the expectation that the next-step model is semantically compatible with the previous one, only with more detail. We provide in this paper a formal notion of refinement of single atomic actions (events) into entire subprocesses, and a theoretical framework for providing guarantees that such a next-step model is formally a refinement of the previous one. Our work is set within the declarative, event-based process modelling language of timed Dynamic Condition Response (DCR) graphs, which can express timed constraints (conditions with delay and obligations with deadlines) between events, liveness, safety, and concurrency. Concretely, we extend DCR graph syntax and semantics with a notion of subprocess, provide examples of its use, and give sound approximations of situations where replacing an event with a subprocess formally is a refinement of the original process.

TitelBusiness Process Management - 19th International Conference, BPM 2021, Proceedings
RedaktørerArtem Polyvyanyy, Moe Thandar Wynn, Amy Van Looy, Manfred Reichert
ISBN (Trykt)9783030854683
StatusUdgivet - 2021
Begivenhed19th International Conference on Business Process Management, BPM 2021 - Rome, Italien
Varighed: 6 sep. 202110 sep. 2021


Konference19th International Conference on Business Process Management, BPM 2021
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind12875 LNCS

Bibliografisk note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

ID: 282677380