| Foundation for Intelligent Physical Agents. FIPA interaction protocol library specification -- deprecated. http://www.fipa.org/specs/fipa00025/, 2000. |
....produced during the design stages of system development, could be used during debugging to monitor what message exchanges are expected and to locate bugs by detecting unexpected patterns of message exchange. We proposed a mechanism for taking protocol diagrams developed in Agent UML (AUML) [3], converting them to equivalent Petri nets, and then using them to monitor execution and detect problems. The protocol diagrams being used were typical of those produced during the architectural design phase of the Prometheus design methodology for agent systems [1] The key point is that instead ....
Foundation for Intelligent Physical Agents (FIPA). FIPA Interaction Protocol Library Specification. Document number XC00025D, version 2001/01/29, www.fipa.org
....message and a fraud message (perhaps asking the merchant to confiscate the card) Note that we do not require that the fraud and reject 1 messages be sent in any particular order. We use the AUML [16] notation for specifying protocols. This notation has the advantage of being used (e.g. by FIPA [6]) and is close to UML, and thus presumably easy for a software professional to learn. AUML provides a range of features (in addition to those shown in figure 2) such as merging of messages, a non exclusive choice, and the ability to specify sequencing of messages. In order to build the protocol, ....
....are also used later. x Figure 2: Interaction Protocol ple by merging messages) however, we intentionally use the given version since it illustrates a range of features which are typical of larger more complex protocols. Note also that we do not handle the full notation as defined by FIPA [6]; rather we have selected the key constructs that allow us to adequately describe a great number of real world protocols. 3. DEBUGGINGUSINGINTERACTIONPROTOCOLS We now present the overall design of a debugging system that monitors the interactions between agents. The key idea is that we monitor ....
[Article contains additional citation context not shown here]
Foundation for Intelligent Physical Agents (FIPA). FIPA interaction protocol library specification. Available from www.fipa.org, 2001.
....through a proposed interface. 2. 1 Protocol representation In our proposal, interaction protocols are represented in XML, following its graphical description in AUML (Agent Unified Modelling Language) 1] which has often been used for protocol description, for instance in the FIPA Specifications [6]. Since AUML is a graphical language, it is not practical for computational processing hence the use of XML. We have chosen XML because there are tools that easily convert XML documents into programming language structures and assist editing XML documents, and because it is programming ....
Foundation for Intelligent Physical Agents. FIPA Interaction Protocol Library Specification. Document XC00025E. http://www.fipa.org. 2001
No context found.
Foundation for Intelligent Physical Agents. FIPA interaction protocol library specification -- deprecated. http://www.fipa.org/specs/fipa00025/, 2000.
No context found.
FIPA, Foundation for Intelligent Physical Agents, 2000. FIPA Interaction Protocol Library Specification. http://www.fipa.org/specs/fipa00025/XC00025E.pdf
No context found.
Foundation for Physical Agents. FIPA Interaction Protocol Library Specification, 2000.
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