Requirements and State-of-the-art Analysis for Service Usage

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

[2]  Remco M. Dijkman,et al.  Service-Oriented Design: A Multi-Viewpoint Approach , 2004, Int. J. Cooperative Inf. Syst..

[3]  P. Doshi,et al.  On Accommodating Inter Service Dependencies in Web Process Flow Composition , 2004 .

[4]  Dieter Fensel,et al.  The Unified Problem-Solving Method Development Language UPML , 2003, Knowl. Inf. Syst..

[5]  K. Mani Chandy,et al.  Service Composition Issues for Distributed Business Processes , 2003, ICWS.

[6]  Boi Faltings,et al.  Large scale, type-compatible service composition , 2004 .

[7]  Boi Faltings,et al.  Efficient matchmaking and directory services , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

[8]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[9]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.

[10]  Craig A. Knoblock,et al.  Dynamically Composing Web Services from On-line Sources , 2002 .

[11]  Ora Lassila,et al.  Interleaving Discovery and Composition for Simple Workflows , 2004 .

[12]  Craig Schlenoff,et al.  The essence of the process specification language , 1999 .

[13]  Mirko Viroli,et al.  Towards a Formal Foundation to Orchestration Languages , 2004, WSFM.

[14]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[15]  Mohand-Said Hacid,et al.  On automating Web services discovery , 2003, The VLDB Journal.

[16]  Viviana Bono,et al.  O'Klaim: A Coordination Language with Mobile Mixins , 2004, COORDINATION.

[17]  Dieter Fensel,et al.  The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[18]  Mihhail Matskin,et al.  Application of Linear Logic to Web Service Composition , 2003, ICWS.

[19]  Leslie Lamport,et al.  Formal Specification of a Web Services Protocol , 2004, Electron. Notes Theor. Comput. Sci..

[20]  Yildiray Kabak,et al.  A Semantic-Based Web Service Composition Facility for ebXML Registries , 2003 .

[21]  Quan Z. Sheng,et al.  SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment , 2002, VLDB.

[22]  James A. Hendler,et al.  Semi-automatic Composition ofWeb Services using Semantic Descriptions , 2003, WSMAI.

[23]  Enrico Motta,et al.  Approaches to Semantic Web Services: an Overview and Comparisons , 2004, ESWS.

[24]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[25]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[26]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[27]  Bijan Parsia,et al.  Composition-driven Filtering and Selection of Semantic Web Services , 2004 .

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

[29]  Alberto Martelli,et al.  Reasoning About Interaction Protocols for Web Service Composition , 2004, WSFM.

[30]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[31]  Amal El Fallah Seghrouchni,et al.  A Recursive Model for Distributed Planning , 1996 .

[32]  Amit P. Sheth,et al.  METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services , 2005, Inf. Technol. Manag..

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

[34]  Craig A. Knoblock,et al.  Web service composition as planning , 2003 .

[35]  Krys J. Kochut,et al.  A CP-nets-based design and verification framework for Web services composition , 2004 .

[36]  Wil M.P. van der Aalst,et al.  Pi calculus versus petri nets: let us eat humble pie rather than further inflate the Pi hype , 2005 .

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

[38]  Claudio Bartolini,et al.  A Semantic Web Approach to Service Description for Matchmaking of Services , 2001, SWWS.

[39]  Takahiro Kawamura,et al.  Preliminary Report of Public Experiment of Semantic Service Matchmaker with UDDI Business Registry , 2003, ICSOC.

[40]  Asunción Gómez-Pérez,et al.  A Framework for Design and Composition of Semantic Web Services , 2004, AAAI 2004.

[41]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

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

[43]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[44]  James A. Hendler,et al.  Automatic Web Services Composition Using SHOP2 , 2003, WWW.

[45]  Dieter Fensel,et al.  The Future of Web Services , 2004 .

[46]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..