Tools for composite web services

Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques and tools for eanb...

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

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

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

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

[5]  Serge Abiteboul,et al.  Relational transducers for electronic commerce , 1998, J. Comput. Syst. Sci..

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

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

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

[9]  Diego Calvanese,et al.  : A Tool for Automatic Composition ofServices Based on Logics of Programs , 2004, TES.

[10]  Axel Martens.  Analysis and Re-Engineering of Web Services , 2004, ICEIS.

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

[12]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

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

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

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

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

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

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

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

[20]  Oscar H. Ibarra,et al.  Automated composition of e-services: lookaheads , 2004, ICSOC '04.

[21]  Prabir Nandi,et al.  Conversation-enabled Web Services for Agents and e-Business , 2002, International Conference on Internet Computing.

[22]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

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