| Creators: |
Bauer, Thomas |
| Title: |
A Formal Execution Semantics for Sophisticated Dynamic Jumps within Business Processes |
| Item Type: |
Conference or Workshop Item |
| Event Title: |
(Proceedings of the) 26th International Conference on Enterprise Information Systems (ICEIS) |
| Event Location: |
Angers, France |
| Event Dates: |
April, 28-30, 2024 |
| Projects: |
CoPMoF |
| Page Range: |
pp. 634-642 |
| Date: |
April 2024 |
| Divisions: |
Informationsmanagement |
| 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. |
| Forthcoming: |
No |
| Language: |
English |
| Link eMedia: |
Download |
| 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
|
 |
View Item in edit mode (academic staff only) |
