2026-07-19T18:54:25Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9783 2024-03-06T10:44:55Z ddc:004 open_access

GSM+T: A Timed Artifact-Centric Process Model Köpke, Julius Eder, Johann Su, Jianwen Guard Stage Milestone GSM Time Constraints Controllability Case Handling Business Process Modeling We introduce an extension to the declarative and artifact-centric Guard Stage Milestone (GSM) process modeling language to represent temporal aspects (duration, deadlines, lower- and upper-bound constraints), define the correctness of executions of GSM processes with respect to temporal constraints, check controllability of processes, compute execution plans respecting temporal constraints, and provide a translation method allowing to execute controllable GSM+T processes on standard GSM Engines. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Julius Köpke and Johann Eder and Jianwen Su 2018 Is Part Of LIPIcs, Volume 120, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2018.18 urn:nbn:de:0030-drops-97835 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.18 eng https://creativecommons.org/licenses/by/3.0/legalcode