Standard
Zoom and Enhance : Action Refinement via Subprocesses in Timed Declarative Processes. / Normann, Håkon; Debois, Søren; Slaats, Tijs; Hildebrandt, Thomas T.
Business Process Management - 19th International Conference, BPM 2021, Proceedings. red. / Artem Polyvyanyy; Moe Thandar Wynn; Amy Van Looy; Manfred Reichert. Springer, 2021. s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Normann, H, Debois, S
, Slaats, T & Hildebrandt, TT 2021,
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. i A Polyvyanyy, MT Wynn, A Van Looy & M Reichert (red),
Business Process Management - 19th International Conference, BPM 2021, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 12875 LNCS, s. 161-178, 19th International Conference on Business Process Management, BPM 2021, Rome, Italien,
06/09/2021.
https://doi.org/10.1007/978-3-030-85469-0_12APA
Normann, H., Debois, S.
, Slaats, T., & Hildebrandt, T. T. (2021).
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. I A. Polyvyanyy, M. T. Wynn, A. Van Looy, & M. Reichert (red.),
Business Process Management - 19th International Conference, BPM 2021, Proceedings (s. 161-178). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 12875 LNCS
https://doi.org/10.1007/978-3-030-85469-0_12Vancouver
Normann H, Debois S
, Slaats T, Hildebrandt TT.
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. I Polyvyanyy A, Wynn MT, Van Looy A, Reichert M, red., Business Process Management - 19th International Conference, BPM 2021, Proceedings. Springer. 2021. s. 161-178. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).
https://doi.org/10.1007/978-3-030-85469-0_12Author
Normann, Håkon ; Debois, Søren ; Slaats, Tijs ; Hildebrandt, Thomas T. / Zoom and Enhance : Action Refinement via Subprocesses in Timed Declarative Processes. Business Process Management - 19th International Conference, BPM 2021, Proceedings. red. / Artem Polyvyanyy ; Moe Thandar Wynn ; Amy Van Looy ; Manfred Reichert. Springer, 2021. s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).
Bibtex
@inproceedings{e334f24b668f478d9c2053a84b03e9bd,
title = "Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes",
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.",
keywords = "Action refinement, DCR graphs, Decomposition, Subprocesses",
author = "H{\aa}kon Normann and S{\o}ren Debois and Tijs Slaats and Hildebrandt, {Thomas T.}",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 19th International Conference on Business Process Management, BPM 2021 ; Conference date: 06-09-2021 Through 10-09-2021",
year = "2021",
doi = "10.1007/978-3-030-85469-0_12",
language = "English",
isbn = "9783030854683",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "161--178",
editor = "Artem Polyvyanyy and Wynn, {Moe Thandar} and {Van Looy}, Amy and Manfred Reichert",
booktitle = "Business Process Management - 19th International Conference, BPM 2021, Proceedings",
address = "Switzerland",
}
RIS
TY - GEN
T1 - Zoom and Enhance
T2 - 19th International Conference on Business Process Management, BPM 2021
AU - Normann, Håkon
AU - Debois, Søren
AU - Slaats, Tijs
AU - Hildebrandt, Thomas T.
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
KW - Action refinement
KW - DCR graphs
KW - Decomposition
KW - Subprocesses
U2 - 10.1007/978-3-030-85469-0_12
DO - 10.1007/978-3-030-85469-0_12
M3 - Article in proceedings
AN - SCOPUS:85115199701
SN - 9783030854683
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 161
EP - 178
BT - Business Process Management - 19th International Conference, BPM 2021, Proceedings
A2 - Polyvyanyy, Artem
A2 - Wynn, Moe Thandar
A2 - Van Looy, Amy
A2 - Reichert, Manfred
PB - Springer
Y2 - 6 September 2021 through 10 September 2021
ER -
