Matching Strictly Dependent Global Constraints for Composite Web Services

Web service discovery requires matching techniques for comparing and selecting web service descriptions based on user constraints. Semantic-based approaches achieve higher recall than other approaches (such as syntax-based approaches), because they employ ontological reasoning mechanisms to match syntactically heterogeneous descriptions. However, existing semantic-based approaches are not scalable as they perform an exhaustive search to locate composite services that conform to global constraints. This paper proposes a semantic-based matching technique that locates composite services. It relates attributes of services to a common attribute to ensure that they have the same scope. This enables the assigned values to be compared and evaluated against a given global constraint. Conforming composite services are located in polynomial time with a three-dimensional data structure that indexes services based on their types, attributes and the assigned values. Simulation results indicate that the proposed approach achieves higher recall than syntax-based approaches and is more scalable than existing semantic-based approaches.

[1]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[2]  Gustavo Alonso,et al.  Advanced transaction models in workflow contexts , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[3]  James A. Hendler,et al.  Automating DAML-S Web Services Composition Using SHOP2 , 2003, SEMWEB.

[4]  Frank Leymann,et al.  Extending BPEL for run time adaptability , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[5]  Butler W. Lampson,et al.  Atomic Transactions , 1980, Advanced Course: Distributed Systems.

[6]  Peter Dolog,et al.  Transactions Concurrency Control in Web Service Environment , 2006, 2006 European Conference on Web Services (ECOWS'06).

[7]  Takahiro Kawamura,et al.  Delivering Semantic Web Services , 2003, WWW.

[8]  Bijan Parsia,et al.  Planning for Semantic Web Services , 2004, SWS@ISWC.

[9]  Michael Winikoff,et al.  Exact functional context matching for web services , 2004, ICSOC '04.

[10]  Heiko Schuldt,et al.  Decentralized coordination of transactional processes in peer-to-peer environments , 2005, CIKM '05.

[11]  Peter Dolog,et al.  Engineering Compensations in Web Service Environment , 2007, ICWE.

[12]  Claude Godart,et al.  Ensuring required failure atomicity of composite Web services , 2005, WWW '05.

[13]  Yi Lin,et al.  Concurrency control in real-time databases by dynamic adjustment of serialization order , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[14]  Mike P. Papazoglou,et al.  Web Services and Business Transactions , 2003, World Wide Web.

[15]  Lui Sha,et al.  Concurrency control for distributed real-time databases , 1988, SGMD.

[16]  James Harland,et al.  Verification of web service descriptions using graph-based traversal algorithms , 2007, SAC '07.

[17]  Claude Godart,et al.  Extending workflow patterns with transactional dependencies to define reliable composite Web services , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[18]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[19]  Miron Livny,et al.  Dynamic real-time optimistic concurrency control , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[20]  Athman Bouguettaya,et al.  A multilevel composability model for semantic Web services , 2005, IEEE Transactions on Knowledge and Data Engineering.

[21]  Gustavo Alonso,et al.  Unifying concurrency control and recovery of transactions , 1994, Inf. Syst..

[22]  Tanveer F. Syeda-Mahmood,et al.  SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).