Analysis of Composite Web Services Using Logging Facilities

In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algebraic specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.

[1]  Mohsen Rouached,et al.  A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus , 2005, WISE.

[2]  Franck van Breugel,et al.  Verication of Business Processes for Web Services , 2003 .

[3]  Mohammed J. Zaki,et al.  Web Usage Mining — Languages and Algorithms , 2003 .

[4]  Anne H. H Ngu,et al.  Web Information Systems Engineering - WISE 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings , 2005, WISE.

[5]  Sebastián Uchitel,et al.  Compatibility verification for Web service choreography , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[6]  Sorin Stratulat,et al.  A General Framework to Build Contextual Cover Set Induction Provers , 2001, J. Symb. Comput..

[7]  Walid Gaaloul,et al.  Web Service Mining and Verification of Properties: An Approach Based on Event Calculus , 2006, OTM Conferences.

[8]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[9]  S. Nakajima,et al.  Verification of Web service flows with model-checking techniques , 2002, First International Symposium on Cyber Worlds, 2002. Proceedings..

[10]  Michaël Rusinowitch,et al.  SPIKE, an Automatic Theorem Prover , 1992, LPAR.

[11]  Mihhail Matskin,et al.  Logic-based Web services composition: from service description to process model , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[12]  Walid Gaaloul,et al.  Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus , 2006, OTM Conferences.

[13]  Mohsen Rouached,et al.  Towards Formal Verification of Web Service Composition , 2006, Business Process Management.