Christopher D. Walton Centre for Intelligent Systems and their Applications...  Home/Search
Context
Related
| homepages.inf.ed.ac.uk/cdw...wsprot.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: homepages.inf.ed.ac.uk/cd...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The automatic invocation of a web service by an agent is a complex task which is currently being addressed by semantic markup techniques. However, it is difficult to define the computational aspects of a web service in this approach. In this paper we propose a protocol-based formalism which appears better suited to a representation of these issues. We define the syntax and semantics of a protocol language which express precisely how the interaction with a service should be performed,... (Update)
Active bibliography (related documents): More All
0.8: Typed Protocols for Peer-to-Peer Service Composition - Christopher Walton Centre (Correct)
0.5: Process Modelling: The Deontic Way - Vineet Padmanabhan Guido (Correct)
0.5: An Interface Formalism for Web Services - Beyer, Chakrabarti, Henzinger (2005) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ centre-protocols,
author = "Christopher Walton Centre",
title = "Protocols for Web Service Invocation",
url = "citeseer.ist.psu.edu/763314.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
37 Adapting Golog for Composition of Semantic Web Services - McIlraith, Son - 2002
25 the Formal Specification of Electronic Institutions (context) - Esteva, Rodr et al. - 1991
8 Model Checking Multi-Agent Web Services - Walton - 2004
7 Multi-Agent Dialogue Protocols - Walton - 2004
5 Planning and Monitoring Web Service Composition - Pistore, Barbon et al. - 2004
4 Formalizing Web Services Choreographies - Brogi, Canal et al. - 2004
3 OWL-S: Semantic Markup for Web Services (context) - Coalition - 2004
2 Web Service Interfaces - Beyer, Chakrabarti et al. - 2005
2 An agent-based e-science experiment builder (context) - Walton, Barker - 2004
2 Protocols for processes: programming in the large for open s.. (context) - Singh, Chopra et al. - 2004
1 Model-Checking of Safety and Security Aspects in Web Service.. (context) - Nakajima - 2004
1 Web Service Modelling Ontology (context) - Roman, Keller et al. - 2004
Documents on the same site (http://homepages.inf.ed.ac.uk/cdw/index.html): More
Agent Protocols for Peer-to-Peer Architectures - Walton (Correct)
On the Emergent Semantic Web and Overlooked Issues - Kalfoglou, Alani.. (2004) (Correct)
On Repairing Reasoning Reversals via Representational.. - Alan Bundy Fiona (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC