Advanced Temporal Control Structures for Business Process Modeling
dc.contributor.author | Franceschetti, Marco | |
dc.contributor.author | Eder, Johann | |
dc.date.accessioned | 2023-12-26T18:48:35Z | |
dc.date.available | 2023-12-26T18:48:35Z | |
dc.date.issued | 2024-01-03 | |
dc.identifier.doi | 10.24251/HICSS.2024.723 | |
dc.identifier.isbn | 978-0-9981331-7-1 | |
dc.identifier.other | df57953a-f48b-499b-998e-d463eadf4926 | |
dc.identifier.uri | https://hdl.handle.net/10125/107108 | |
dc.language.iso | eng | |
dc.relation.ispartof | Proceedings of the 57th Hawaii International Conference on System Sciences | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.subject | Business Process Technology | |
dc.subject | business processes | |
dc.subject | temporal constraint networks | |
dc.subject | temporal control structures | |
dc.title | Advanced Temporal Control Structures for Business Process Modeling | |
dc.type | Conference Paper | |
dc.type.dcmi | Text | |
dcterms.abstract | Modeling time-constrained business processes is required in many domains but often challenging due to the difficulty of incorporating declarative temporal requirements in procedural process definitions. Here, we propose advanced temporal control structures based on highly expressive temporal conditions to give designers explicit control over the temporal behavior of a business process abstracting from low-level management of time aspects. These structures facilitate controlling executions to meet temporal requirements. We propose an approach for checking the temporal correctness of business processes featuring these structures in terms of dynamic controllability. The approach is based on the reduction to basic control structures and a further mapping to the CSTNUD, an expressive family of temporal constraint networks with established checking procedures. | |
dcterms.extent | 10 pages | |
prism.startingpage | 6022 |
Files
Original bundle
1 - 1 of 1