95 search results - page 7 / 19 » Specifying Agent Interaction Protocols with Standard UML |
ACOM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
DAGSTUHL
2003
13 years 9 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
ENTCS
2006
13 years 7 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...