Towards a Unified Model for Web Services Composition

The web services paradigm, which finds roots in Service-Oriented Computing [ACKM04,PG03], promises to enable rich, flexible, and dynamic interoperation of highly distributed and heterogeneous web-hosted services. Substantial progress has already been made towards this goal (e.g., emerging standards such as SOAP, WSDL, BPEL) and industrial technology (e.g., IBM’s WebSphere Toolkit, Sun’s Open Net Environment and JiniTM Network technology, Microsoft’s .Net and Novell’s One Net initiatives, HP’s e-speak). Several research efforts are already underway that build on or take advantage of the paradigm, including the DAML-S/OWL-S program [OWL-S,MSZ01,Gr”u03, SPAS03], the Semantic Web Services Initiative (SWSI) [SWSI] and Web Service Modeling Ontology (WSMO) [WSMO] groups, and automata-based and other models for web services [BFHS03,HBCS03,BCG+03,BCH05].

[1]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[2]  Diego Calvanese,et al.  Synthesis of underspecified composite e-services based on automated reasoning , 2004, ICSOC '04.

[3]  Kunal Verma,et al.  Constraint driven Web service composition in METEOR-S , 2004, IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004.

[4]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[5]  Amit P. Sheth,et al.  Meteor-s web service annotation framework , 2004, WWW '04.

[6]  Xiang Fu,et al.  Model checking XML manipulating software , 2004, ISSTA '04.

[7]  Alin Deutsch,et al.  Specification and verification of data-driven web services , 2004, PODS.

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

[9]  Matjaz B. Juric,et al.  Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition , 2006 .

[10]  Mike P. Papazoglou,et al.  Introduction: Service-oriented computing , 2003, CACM.

[11]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[12]  Annapaola Marconi,et al.  Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.

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

[14]  Alin Deutsch,et al.  A verifier for interactive, data-driven web applications , 2005, SIGMOD '05.

[15]  Diego Calvanese,et al.  Automatic Composition of Web Services in Colombo , 2005, SEBD.

[16]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[17]  Santhosh Kumaran,et al.  Conversation support for business process integration , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[18]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[19]  Jianwen Su,et al.  Tools for composite web services: a short overview , 2005, SGMD.

[20]  Ewa Orlowska,et al.  Service-Oriented Computing - ICSOC 2003 , 2003, Lecture Notes in Computer Science.

[21]  Michael Gruninger.  Applications of PSL to semantic web services , 2003 .

[22]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[23]  Anupriya Ankolekar,et al.  Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..

[24]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

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

[26]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[27]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[28]  Michael Grüninger,et al.  The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..

[29]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[30]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[31]  Diego Calvanese,et al.  Automatic Service Composition Based on Behavioral Descriptions , 2005, Int. J. Cooperative Inf. Syst..

[32]  Marc Spielmann,et al.  Verification of relational transducers for electronic commerce , 2003, J. Comput. Syst. Sci..

[33]  Annapaola Marconi,et al.  Automated synthesis of composite BPEL4WS Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

[34]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[35]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[36]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[37]  Thomas A. Henzinger,et al.  Web service interfaces , 2005, WWW '05.