A Formal Execution Semantics for Sophisticated Dynamic Jumps Within Business Processes

Thomas Bauer

2024

Abstract

At business processes (BP) execution, in exceptional cases (e.g. to save time or to correct errors), users must have the possibility to jump forward and backward in the BP. Currently, this topic is hardly respected in scientific literature and only insufficiently realized by commercial BP engines. This paper develops a formal execution semantics for dynamic jumps. It does not only respect simple forward and backward jumps within sequences of activities, but comprehensive requirements as jumps into and out of parallel branches or within loops. Furthermore, the intended behaviour of concerned activities can be modelled, i.e., they may be caught up later or their results (output data) may be preserved and reused at their later repeated execution after a backward jump.

Paper Citation

in Harvard Style

Bauer T. (2024). A Formal Execution Semantics for Sophisticated Dynamic Jumps Within Business Processes. In Proceedings of the 26th International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-758-692-7, SciTePress, pages 634-642. DOI: 10.5220/0012520200003690

in Bibtex Style

@conference{iceis24,
author={Thomas Bauer},
title={A Formal Execution Semantics for Sophisticated Dynamic Jumps Within Business Processes},
booktitle={Proceedings of the 26th International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2024},
pages={634-642},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012520200003690},
isbn={978-989-758-692-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 26th International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - A Formal Execution Semantics for Sophisticated Dynamic Jumps Within Business Processes
SN - 978-989-758-692-7
AU - Bauer T.
PY - 2024
SP - 634
EP - 642
DO - 10.5220/0012520200003690
PB - SciTePress