WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart

Web service composition is a new paradigm to develop distributed and reactive software-intensive systems. Due to the autonomous attribute of each basic service, validation of composite services must be extended from design time to run-time. In this paper, we describe a novel tool chain called WS-PSC Monitor to monitor temporal and timing properties in composite service based on graphical specification property sequence chart and timed property sequence chart. The tool chain provides a completely graphical front-end which can make software designers do not have to deal with any particular textual and logical formalism.

[1]  Zhiyong Su,et al.  Extending PSC for Monitoring the Timed Properties in Composite Services , 2008, 2008 15th Asia-Pacific Software Engineering Conference.

[2]  Minglu Li,et al.  Advanced Web and Network Technologies, and Applications , 2006 .

[3]  Bixin Li,et al.  Timed Property Sequence Chart , 2010, J. Syst. Softw..

[4]  Ann Q. Gates,et al.  A taxonomy and catalog of runtime software-fault monitoring tools , 2004, IEEE Transactions on Software Engineering.

[5]  Satoshi Matsuoka,et al.  ECOOP'97 — Object-Oriented Programming , 1997, Lecture Notes in Computer Science.

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

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

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

[9]  Pengcheng Zhang,et al.  Monitoring probabilistic properties , 2009, ESEC/FSE '09.

[10]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[11]  Bixin Li,et al.  A Formal Syntax for Probabilistic Timed Property Sequence Charts , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

[12]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

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