Advanced Temporal Control Structures for Business Process Modeling

dc.contributor.authorFranceschetti, Marco
dc.contributor.authorEder, Johann
dc.date.accessioned2023-12-26T18:48:35Z
dc.date.available2023-12-26T18:48:35Z
dc.date.issued2024-01-03
dc.identifier.doi10.24251/HICSS.2024.723
dc.identifier.isbn978-0-9981331-7-1
dc.identifier.otherdf57953a-f48b-499b-998e-d463eadf4926
dc.identifier.urihttps://hdl.handle.net/10125/107108
dc.language.isoeng
dc.relation.ispartofProceedings of the 57th Hawaii International Conference on System Sciences
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectBusiness Process Technology
dc.subjectbusiness processes
dc.subjecttemporal constraint networks
dc.subjecttemporal control structures
dc.titleAdvanced Temporal Control Structures for Business Process Modeling
dc.typeConference Paper
dc.type.dcmiText
dcterms.abstractModeling 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.extent10 pages
prism.startingpage6022

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
0590.pdf
Size:
328.57 KB
Format:
Adobe Portable Document Format