| Abstract (ENG): |
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. |
| Citation: |
Bauer, Thomas
(2024)
A Formal Execution Semantics for Sophisticated Dynamic Jumps within Business Processes.
In: (Proceedings of the) 26th International Conference on Enterprise Information Systems (ICEIS), April, 28-30, 2024, Angers, France, pp. 634-642.
ISBN 9789897586927
|
