A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions

Runtime monitoring is significantly essential for web service compositions. For a kind of composite services, nonfunctional properties, such as timed properties, are as important as functional properties and need to be monitored in runtime. In this paper, we extend properly sequence chart into timed properly sequence chart and propose a new approach to monitor two kinds of timed properties in web service compositions: the accomplished time of basic service operations and some additional timed assumptions of the composition process. Our approach is more intuitive than traditional monitoring approaches.

[1]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[2]  Fabio Casati,et al.  Automated SLA Monitoring for Web Services , 2002, DSOM.

[3]  Heiko Ludwig,et al.  Defining and Monitoring Service-Level Agreements for Dynamic e-Business , 2002, LISA.

[4]  Paola Inverardi,et al.  Graphical scenarios for specifying temporal properties: an automated approach , 2007, Automated Software Engineering.

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

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

[7]  Bixin Li,et al.  A Timed Extension of Property Sequence Chart , 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

[8]  Bixin Li,et al.  An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions , 2008, APWeb Workshops.

[9]  Paola Inverardi,et al.  A scenario based notation for specifying temporal properties , 2006, SCESM '06.