A formal description framework and a matchmaking technique for web service composition

Purpose – A web service is a software system designed to support interoperable machine‐to‐machine or application‐to‐application interactions over networks. Descriptions enable web services to be discovered, used by other web services, and composed into new web services. Web service composition is a mechanism for creating new web services by reusing existing ones. In order to compose a web service, the right primitive services have to be discovered. A matchmaking technique enables discovering these services. Web services have functional, non‐functional, behavioral, and semantic characteristics. These four aspects of web services provide different key information about the service; therefore they have to be considered for description, matching, and composition. The purpose of this paper is to propose a formal description framework and a formal matchmaking technique that allows describing and discovering web services by considering their four characteristics.Design/methodology/approach – In this paper, the d...

[1]  Hartmut Ritter,et al.  A concept for QoS integration in Web services , 2003, Fourth International Conference on Web Information Systems Engineering Workshops, 2003. Proceedings..

[2]  Zhaohui Wu,et al.  Similarity-based Web service matchmaking , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.

[3]  Shuping Ran,et al.  A model for web services discovery with QoS , 2003, SECO.

[4]  E. Michael Maximilien,et al.  Toward autonomic web services trust and selection , 2004, ICSOC '04.

[5]  Guowen Wu,et al.  Automatic Web Service Composition Based on Service Interface Description , 2006, International Conference on Internet Computing.

[6]  Antonio Brogi,et al.  Behaviour-Aware Discovery of Web Service Compositions , 2007, Int. J. Web Serv. Res..

[7]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[8]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[9]  Eleni Stroulia,et al.  Structural and Semantic Matching for Assessing Web-service Similarity , 2005, Int. J. Cooperative Inf. Syst..

[10]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[11]  Graeme Smith,et al.  A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems , 1997, FME.

[12]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[13]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[14]  Ernst-Rüdiger Olderog.  Combining Specification Techniques for Processes, Data and Time , 1998, ZUM.

[15]  Paolo Traverso,et al.  Service-Oriented Computing: a Research Roadmap , 2008, Int. J. Cooperative Inf. Syst..

[16]  Yoshinao Isobe,et al.  A Generic Theorem Prover of CSP Refinement , 2005, TACAS.

[17]  Roch H. Glitho,et al.  Categorizing and Assembling Web Services in a Composition Framework , 2008, 2008 32nd Annual IEEE Software Engineering Workshop.

[18]  Asir S Vedamuthu,et al.  Web Services Policy 1.5 - Framework , 2007 .

[19]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[20]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[21]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[22]  Jun Zhang,et al.  Simlarity Search for Web Services , 2004, VLDB.

[23]  Vladimir Tosic,et al.  WSOL - A Language for the Formal Specification of Classes of Service for Web Services , 2003, ICWS.

[24]  Diego Calvanese,et al.  Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.

[25]  Tobias Nipkow,et al.  A Proof Assistant for Higher-Order Logic , 2002 .

[26]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[27]  Willem-Jan van den Heuvel,et al.  Leveraging Web Services Discovery with Customizable Hybrid Matching , 2006, ICSOC.

[28]  C. A. R. Hoare,et al.  A Calculus of Durations , 1991, Inf. Process. Lett..

[29]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[30]  Alberto Martelli,et al.  Reasoning about interaction protocols for customizing web service selection and composition , 2007, J. Log. Algebraic Methods Program..

[31]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[32]  Takahiro Kawamura,et al.  Importing the Semantic Web in UDDI , 2002, WES.

[33]  Prashant Doshi,et al.  A Method for Semantically Enhancing the Service Discovery Capabilities of UDDI , 2003, IIWeb.

[34]  J. Farrell,et al.  Semantic Annotations for WSDL and XML Schema , 2007 .

[35]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[36]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[37]  Paolo Traverso,et al.  05462 Service-Oriented Computing: A Research Roadmap , 2005, Service Oriented Computing.

[38]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[39]  Jeremy J. Carroll,et al.  Comparing OWL Semantics , 2007 .

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