A run-time service discovery process for web services compositions

ABSTRACT

Run-time service discovery is a critical problem hindering Web service technology proliferation and that should be deeply investigated. However, little care has been taken towards the need of execution environments that support the discovery of replacement services that become unavailable or fail to meet certain requirements at run-time.

To adress this shortcoming, this paper proposes an extension to our semantic framework for engineering Web services compositions. This extension consists of a run-time service discovery tool. The key contribution of the paper is the combination of components for monitoring composition requirements at run-time, and components for discovering services at run-time. The former components detect violations of requirements at run-time. The framework uses the specifications of the violated requirements to generate queries for discovering services that could substitute for malfunctioning services. These queries incorporate both structural and behavioural aspects of the required services and are executed by the run-time service discovery component of the framework.

REFERENCES

• 1: A. Arkin, S. Askary, B. Bloch, and F. Curbera. Web services business process execution language version 2.0. Technical report, OASIS, December 2004.
• 2: Luigi P. Cordella , Pasquale Foggia , Carlo Sansone , Mario Vento, A (Sub)Graph Isomorphism Algorithm for Matching Large Graphs, IEEE Transactions on Pattern Analysis and Machine Intelligence, v.26 n.10, p.1367-1372, October 2004 [doi>10.1109/TPAMI.2004.75]
• 3: Xin Dong , Alon Halevy , Jayant Madhavan , Ema Nemes , Jun Zhang, Similarity search for web services, Proceedings of the Thirtieth international conference on Very large data bases, p.372-383, August 31-September 03, 2004, Toronto, Canada
• 4: Robert J. Hall , Andrea Zisman, Behavioral models as service descriptions, Proceedings of the 2nd international conference on Service oriented computing, November 15-19, 2004, New York, NY, USA [doi>10.1145/1035167.1035191]
• 5: Jan Hendrik Hausmann , Reiko Heckel , Marc Lohmann, Model-based Discovery of Web Services, Proceedings of the IEEE International Conference on Web Services, p.324, June 06-09, 2004 [doi>10.1109/ICWS.2004.80]
• 6: I. Horrocks, P. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7--26, 2003.
• 7: Mark Klein , Abraham Bernstein, Toward High-Precision Service Retrieval, IEEE Internet Computing, v.8 n.1, p.30-36, January 2004 [doi>10.1109/MIC.2004.1260701]
• 8: R Kowalski , M Sergot, A logic-based calculus of events, New Generation Computing, v.4 n.1, p.67-95, 1986 [doi>10.1007/BF03037383]
• 9: Massimo Paolucci , Takahiro Kawamura , Terry R. Payne , Katia P. Sycara, Importing the Semantic Web in UDDI, Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web, p.225-236, May 27-28, 2002
• 10: Massimo Paolucci , Takahiro Kawamura , Terry R. Payne , Katia P. Sycara, Semantic Matching of Web Services Capabilities, Proceedings of the First International Semantic Web Conference on The Semantic Web, p.333-347, June 09-12, 2002
• 11: M. Rouached, W. Fdhila, and C. Godart. A semantical framework to engineering wsbpel processes. Information Systems and E-Business Management, 2008.
• 12: M. Rouached, W. Gaaloul, W. M. P. van der Aalst, S. Bhiri, and C. Godart. Web service mining and verification of properties: An approach based on event calculus. In Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006), November 2006.
• 13: M. Rouached and C. Godart. Reasoning about events to specify authorization policies for web services composition. In Proceedings of the IEEE International Conference on Web Services (ICWS'07). Salt Lake City, Utah, USA, July 9--13 2007.
• 14: M. Rouached and C. Godart. Requirements-driven verification of wsbpel processes. In Proceedings of the IEEE International Conference on Web Services (ICWS'07). Salt Lake City, Utah, USA, July 9--13 2007.
• 15: K. Schmid, M. Eisenbarth, and M. Grund. From requirements engineering to knowledge engineering: Challenges in adaptive systems. In Proceedings SOCCER Workshop, at RE'05 Conference, Auguest 2005.
• 16: Zhongnan Shen , Jianwen Su, Web Service Discovery Based on Behavior Signatures, Proceedings of the 2005 IEEE International Conference on Services Computing, p.279-286, July 11-15, 2005 [doi>10.1109/SCC.2005.107]
• 17: K. Sivashanmugam, K. Verma, A. P. Sheth, and J. A. Miller. Adding semantics to web services standards. In ICWS, pages 395--401, 2003.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.8 Metrics
          Subjects: Performance measures; Complexity measures

Keywords:
composition engineering, monitoring, run-time discovery, web service composition