Enabling Web Services Composition with Softward Agents

We describe our solution to pro-active Web services selection and composition. In particular, we consider a logic-based method for services composition and marketplace-based system architecture sup ...

[1]  Zohar Manna,et al.  A Deductive Approach to Program Synthesis , 1979, TOPL.

[2]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[3]  P. Lincoln.  Deciding provability of linear logic formulas , 1995 .

[4]  Mihhail Matskin,et al.  Multi-Agent Support for Modelling Co-operative Work , 1999, SMARTNET.

[5]  Richard J. Waldinger.  Web Agents Cooperating Deductively , 2000, FAABS.

[6]  Mihhail Matskin,et al.  Agora: An Infrastructure for Cooperative Work Support in Multi-Agent Systems , 2000, Agents Workshop on Infrastructure for Multi-Agent Systems.

[7]  Andrzej Cichocki,et al.  Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes , 2000, CAiSE.

[8]  D. Box,et al.  Simple object access protocol (SOAP) 1.1 , 2000 .

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

[10]  David Edmond,et al.  The Use of Patterns in Service Composition , 2002, WES.

[11]  Mike P. Papazoglou,et al.  Web Component: A Substrate for Web Service Reuse and Composition , 2002, CAiSE.

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

[13]  Drew McDermott,et al.  Estimated-Regression Planning for Interactions with Web Services , 2002, AIPS.

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

[15]  Liliana Ardissono,et al.  Enabling conversations with web services , 2003, AAMAS '03.

[16]  Mihhail Matskin,et al.  Implementing explanation ontology for agent system , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

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

[18]  Mihhail Matskin,et al.  Agent Interaction Protocols for the Selection of Partners for Virtual Enterprises , 2003, CEEMAS.

[19]  Nigel Shadbolt,et al.  Agent-based semantic web services , 2003, WWW '03.

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

[21]  Jennifer Sampson.  An Agent-Based Infrastructure for Facilitating Evidence Based Medicine , 2004, ICEIS.

[22]  Mihhail Matskin,et al.  Symbolic Negotiation with Linear Logic , 2004, CLIMA.

[23]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[24]  Mihhail Matskin,et al.  Logic-based Web services composition: from service description to process model , 2004 .

[25]  Natalya Keberle,et al.  Towards a Framework for Agent-Enabled Semantic Web Service Composition , 2004, Int. J. Web Serv. Res..

[26]  Regina Dunlea,et al.  Simple Object Access Protocol (SOAP) , 2005 .

[27]  Jan Mendling,et al.  Business Process Execution Language for Web Services , 2006, EMISA Forum.