GSM+T: a timed artifact-centric process model

DOI10.4230/LIPICS.TIME.2018.18MaRDI QIDQ5079787zbMATH OpenOpenAlexFDO

Authors Julius Köpke, Johann Eder, Jianwen Su

Publication date 28 May 2022

Full work available at URL https://doi.org/10.4230/LIPIcs.TIME.2018.18

zbMATH Keywords

GSMcontrollabilitytime constraintscase handlingbusiness process modelingguard stage milestone

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Semantics and controllability of time-aware business processes
• Formal modeling and analysis of business process timed constraints
• A relative timed semantics for BPMN
• Time processes for time Petri nets
• Formalisations and applications of BPMN

Cites work

• scientific article; zbMATH DE number 1747796 (Why is no real title available?)
• Dynamic controllability via timed game automata
• Temporal constraint networks

This page was built for publication: GSM+T: a timed artifact-centric process model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079787)