Specifying and Monitoring Temporal Properties in Web Services Compositions

Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible to verify if there are contradictions between the temporal constraints implemented in the composition. These limitations lead to maintainability and correctness problems. In this paper, we tackle these problems through a novel approach to temporal constraints in Web service compositions, which combines formal methods and aspect-oriented programming. In this approach, we use a powerful and expressive formal language, called XTUS-Automata, for specifying time-related properties and we introduce specification patterns that ease the definition of such constraints. The formal specifications are translated automatically into AO4BPEL aspects, which ensure the runtime monitoring of the temporal constraints. Our approach enables a declarative, separate, and verifiable specification of temporal properties and it generates automatically modular enforcement code for those properties.

[1]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[2]  Steven J. DeRose,et al.  XML Path Language (XPath) , 1999 .

[3]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[4]  Antoni Ligeza,et al.  Algebraic temporal specifications with extended TUS. Hierarchical granular terms and their applications , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).

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

[6]  Luciano Baresi,et al.  A Timed Extension of WSCoL , 2007, IEEE International Conference on Web Services (ICWS 2007).

[7]  Anis Charfi,et al.  Aspect-oriented workflow languages: AO4BPEL and applications , 2007 .

[8]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[9]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[10]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[11]  R. McKenzie,et al.  The logic of time representation , 1987 .

[12]  Howard Foster,et al.  A rigorous approach to engineering web service compositions , 2006 .

[13]  Nawal Guermouche,et al.  Timed Specification For Web Services Compatibility Analysis , 2008, Electron. Notes Theor. Comput. Sci..

[14]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[15]  Mira Mezini,et al.  AO4BPEL: An Aspect-oriented Extension to BPEL , 2007, World Wide Web.

[16]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[17]  Jun Sun,et al.  Verification of Computation Orchestration Via Timed Automata , 2006, ICFEM.

[18]  Wolfgang Emmerich,et al.  Efficient online monitoring of web-service SLAs , 2008, SIGSOFT '08/FSE-16.