Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Communication Protocols in Multi-agent Systems: A Development Method and Reference Architecture
Issues in Agent Communication
Agent Capabilities: Extending BDI Theory
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Structuring BDI Agents in Functional Clusters
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Advances in Agent Communication: International Workshop on Agent Communication Languages, Acl 2003, Melbourne, Australia, July 14, 2003: Revised and Invited Papers (Lecture Notes in Computer Science, 2922.)
powerJava: ontologically founded roles in object oriented programming languages
Proceedings of the 2006 ACM symposium on Applied computing
A minimalist approach to semantic annotations for web processes compositions
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Verifying the conformance of web services to global interaction protocols: a first step
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Bridging agent theory and object orientation: importing social roles in object oriented languages
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Verification of protocol conformance and agent interoperability
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Using goals for flexible service orchestration: a first step
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.01 |
A typical problem of the research area on Service-Oriented Architectures is the composition of a set of existing services with the aim of executing a complex task. The selection and composition of the services are based on a description of the services themselves and can exploit an abstract description of their interactions. Interaction protocols (or choreographies) capture the interaction as a whole, defining the rules that entities should respect in order to guarantee the interoperability; they do not refer to specific services but they specify the roles and the communication among the roles. Policies (behavioral interfaces in web service terminology), instead, focus on communication from the point of view of the individual services. In this paper we present a preliminary study aimed to allow the use of public choreography specifications for generating executable interaction policies for peers that would like to take part in an interaction. Usually the specifications capture only the interactive behavior of the system as a whole. We propose to enrich the choreography by a set of requirements of capabilities that the parties should exhibit, where by the term “capability” we mean the skill of doing something or of making some condition become true. Such capabilities have the twofold aim of connecting the interactive behavior to be shown by the role-player to its internal state and of making the policy executable. A possible extension of WS-CDL with capability requirements is proposed.