A Survey on Time-aware Business Process Modeling

One key perspective when dealing with Business Process Management (BPM) is time. All business experts agree upon the fact that time is a key resource for each business process within an organisation. Indeed, time managing is an effective cost and error reduction strategy and thus ensures profit maximization for the organisation. As a result, business managers, researchers, and academicians in management are striving to have full-support of temporal aspects in business process management suites. Consequently, modeling and managing temporal requirements in the business process field is becoming a topic of intensive research. This paper presents a survey of the existing approaches to specifying and verifying the temporal perspective in business processes.

[1]  Raman Kazhamiakin,et al.  Timed modelling and analysis in Web service compositions , 2006, First International Conference on Availability, Reliability and Security (ARES'06).

[2]  Sea Ling,et al.  Time Petri nets for workflow modelling and analysis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[3]  Fabio Casati,et al.  Analysis and Management of Web Service Protocols , 2004, ER.

[4]  Denis Gagné,et al.  Time-BPMN , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

[5]  Nawal Guermouche,et al.  Towards timed requirement verification for service choreographies , 2012, 8th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom).

[6]  Samir Tata,et al.  Negotiating Deadline Constraints in Inter-organizational Logistic Systems: A Healthcare Case Study , 2011, Business Process Management Workshops.

[7]  Hailong Sun,et al.  Towards Trustworthy Composite Service Through Business Process Model Verification , 2010, 2010 7th International Conference on Ubiquitous Intelligence & Computing and 7th International Conference on Autonomic & Trusted Computing.

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

[9]  Kunihiko Hiraishi,et al.  Formal verification of business processes with temporal and resource constraints , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

[10]  Johann Eder,et al.  Temporal Consistency of View Based Interorganizational Workflows , 2008, UNISCON.

[11]  Schahram Dustdar,et al.  A survey on web services composition , 2005, Int. J. Web Grid Serv..

[12]  Wil M. P. van der Aalst,et al.  Constraint-Based Workflow Models: Change Made Easy , 2007, OTM Conferences.

[13]  Mamoun Filali,et al.  Fiacre: an Intermediate Language for Model Verification in the Topcased Environment , 2008 .

[14]  Slim Kallel,et al.  Specifying and Monitoring Temporal Properties in Web Services Compositions , 2009, 2009 Seventh IEEE European Conference on Web Services.

[15]  Fabio Casati,et al.  On Temporal Abstractions of Web Service Protocols , 2005, CAiSE Short Paper Proceedings.

[16]  Howard Falk,et al.  Formal Verification of Timed Systems: A Survey and Perspective , 2004, Proc. IEEE.

[17]  F. Vernadat,et al.  The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .

[18]  Karen Godary-Dejean.  LPT : Little Parametric Tool, outil pour la validation d'une borne temporelle paramétrée , 2008 .

[19]  Johann Eder,et al.  Temporal Conformance of Federated Choreographies , 2008, DEXA.

[20]  Raman Kazhamiakin,et al.  Representation, Verification, and Computation of Timed Properties in Web , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[21]  Yushun Fan,et al.  Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[22]  Carlo Combi,et al.  Controllability in Temporal Conceptual Workflow Schemata , 2009, BPM.

[23]  Nawal Guermouche,et al.  Etude des Interactions Temporisées dans la Composition de Services Web , 2010 .

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

[25]  Samir Tata,et al.  Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows , 2010, OTM Conferences.

[26]  Jeremy Gibbons,et al.  A Relative Timed Semantics for BPMN , 2009, Electron. Notes Theor. Comput. Sci..