Abstract
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.
Original language | English |
---|---|
Title of host publication | Business Process Management - 19th International Conference, BPM 2021, Proceedings |
Editors | Artem Polyvyanyy, Moe Thandar Wynn, Amy Van Looy, Manfred Reichert |
Publisher | Springer |
Publication date | 2021 |
Pages | 161-178 |
ISBN (Print) | 9783030854683 |
DOIs | |
Publication status | Published - 2021 |
Event | 19th International Conference on Business Process Management, BPM 2021 - Rome, Italy Duration: 6 Sep 2021 → 10 Sep 2021 |
Conference
Conference | 19th International Conference on Business Process Management, BPM 2021 |
---|---|
Country/Territory | Italy |
City | Rome |
Period | 06/09/2021 → 10/09/2021 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12875 LNCS |
ISSN | 0302-9743 |
Bibliographical note
Publisher Copyright:© 2021, Springer Nature Switzerland AG.
Keywords
- Action refinement
- DCR graphs
- Decomposition
- Subprocesses