Probabilistic Time Management of Choreographies

Temporal conformance of web service compositions guarantees the timely execution of service calls, decreases follow-up costs and increases QoS by avoiding deadline violations. Since it is impossible to make certain statements about the execution intervals of upcoming web service executions - mainly due to varying activity durations and hard-to-predict branching behavior - we propose a probabilistic approach to model flow structures and temporal information, and show how to validate the temporal conformance of web service compositions.

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

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

[3]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

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

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

[6]  Johann Eder,et al.  Duration Histograms for Workflow Systems , 2002, Engineering Information Systems in the Internet Context.

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

[8]  Marlon Dumas,et al.  Standards for Web Service Choreography and Orchestration: Status and Perspectives , 2005, Business Process Management Workshops.

[9]  Guido Governatori,et al.  Compliance aware business process design , 2008 .

[10]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .