Controllability in Temporal Conceptual Workflow Schemata

Workflow technology has emerged as one of the leading technologies in modelling, redesigning, and executing business processes. Currently available workflow management systems (WfMS ) and research prototypes offer a very limited support for the definition, detection, and management of temporal constraints over business processes. In this paper, we propose a new advanced workflow conceptual model for expressing time constraints in business processes and, in particular, we introduce and discuss the concept of controllability for workflow schemata and its evaluation at process design time. Controllability refers to the capability of executing a workflow for any possible duration of tasks. Since in several situations durations of tasks cannot be decided by WfMSs , even tough the minimum and the maximum durations for each task are known, checking controllability is stronger than verifying the consistency of the workflow temporal constraints.

[1]  Johann Eder,et al.  Managing Time in Workflow Systems , 2000 .

[2]  Frédéric Benhamou.  Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings , 2006, CP.

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

[4]  Wil M. P. van der Aalst,et al.  An Alternative Way to Analyze Workflow Graphs , 2002, CAiSE.

[5]  Fabio Casati,et al.  Conceptual Modelling of WorkFlows , 1995 .

[6]  G. Lamas,et al.  ACC/AHA guidelines for the management of patients with ST-elevation myocardial infarction--executive summary. A report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines (Writing Committee to revise the 1999 guidelines for the management of patients wi , 2004, Journal of the American College of Cardiology.

[7]  Nicola Muscettola,et al.  Temporal Dynamic Controllability Revisited , 2005, AAAI.

[8]  Shazia Wasim Sadiq,et al.  A Constraint Specification Aproach to Building Flexible Workflows , 2003, J. Res. Pract. Inf. Technol..

[9]  Duane Szafron,et al.  Temporal Granularity: Completing the Puzzle , 2004, Journal of Intelligent Information Systems.

[10]  Fabio Casati,et al.  Conceptual Modeling of Workflows , 1995, Advances in Object-Oriented Data Modeling.

[11]  Gervasio A. Lamas,et al.  ACC/AHA guidelines for the management of patients with ST-elevation myocardial infarction--executive summary. A report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines (Writing Committee to revise the 1999 guidelines for the management of patients wi , 2004, Journal of the American College of Cardiology.

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

[13]  Johann Eder,et al.  Temporal Modeling of Workflows with Conditional Execution Paths , 2000, DEXA.

[14]  Paul Morris,et al.  A Structural Characterization of Temporal Dynamic Controllability , 2006, CP.

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

[16]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[17]  Michael P. Papazoglou,et al.  OOER '95: Object-Oriented and Entity-Relationship Modeling , 1995, Lecture Notes in Computer Science.

[18]  Thierry Vidal,et al.  Handling contingency in temporal constraint networks: from consistency to controllabilities , 1999, J. Exp. Theor. Artif. Intell..

[19]  Carlo Combi,et al.  Conceptual Modeling of Temporal Clinical Workflows , 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).

[20]  Wil M. P. van der Aalst,et al.  Design and Implementation of the YAWL System , 2004, CAiSE.