GSM+T: A Timed Artifact-Centric Process Model

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.

[1]  Carlo Combi,et al.  Conceptual modeling of flexible temporal workflows , 2012, TAAS.

[2]  Margareta Ciglic.  Time Management in Workflows with Loops , 2015, OTM Workshops.

[3]  Amit P. Sheth,et al.  Modeling Quality of Service for Workflows and Web Service Processes , 2002 .

[4]  Manfred Reichert,et al.  Process time patterns: A formal foundation , 2016, Inf. Syst..

[5]  Jianwen Su,et al.  Specification and Verification of Artifact Behaviors in Business Process Models , 2007, ICSOC.

[6]  Manfred Reichert,et al.  Controllability of Time-Aware Processes at Run Time , 2013, OTM Conferences.

[7]  Maria E. Orlowska,et al.  On Modeling and Verification of Temporal Constraints in Production Workflows , 1999, Knowledge and Information Systems.

[8]  Johann Eder,et al.  Time Constraints in Workflow Systems , 1999, CAiSE.

[9]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[10]  Serge Abiteboul,et al.  The Active XML project: an overview , 2008, The VLDB Journal.

[11]  Marco Roveri,et al.  Dynamic controllability via Timed Game Automata , 2016, Acta Informatica.

[12]  Nawal Guermouche,et al.  Timed Model Checking Based Approach for Web Services Analysis , 2009, 2009 IEEE International Conference on Web Services.

[13]  Luke Hunsberger,et al.  A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks , 2015, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).

[14]  Carlo Combi,et al.  Towards Temporal Controllabilities for Workflow Schemata , 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

[15]  Sushil Jajodia,et al.  Temporal Reasoning in Workflow Systems , 2002, Distributed and Parallel Databases.

[16]  Richard Hull,et al.  On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles , 2013, Inf. Syst..

[17]  Thierry Vidal,et al.  Contingent durations in temporal CSPs: from consistency to controllabilities , 1997, Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning.

[18]  Wil M. P. van der Aalst,et al.  Time prediction based on process mining , 2011, Inf. Syst..

[19]  Johann Eder,et al.  Workflow Time Management Revisited , 2013, Seminal Contributions to Information Systems Engineering.

[20]  Saoussen Cheikhrouhou,et al.  The temporal perspective in business process modeling: a survey and research challenges , 2014, Service Oriented Computing and Applications.

[21]  Richard Hull,et al.  Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events , 2011, DEBS '11.