Agent UML: A Formalism for Specifying Multiagent Interaction
نویسندگان
چکیده
In the past, research on agent-oriented software engineering had been widely lacking touch with the world of industrial software development. Recently, a cooperation has been established between the Foundation of Intelligent Physical Agents (FIPA) and the Object Management Group (OMG) aiming to increase acceptance of agent technology in industry by relating to de facto standards (object-oriented software development) and supporting the development environment throughout the full system lifecycle. As a first result of this cooperation, we proposed AGENT UML [Bauer, 1999; Odell 2000], an extension of the Unified Modeling language (UML), a de facto standard for object-oriented analysis and design. In this paper, we describe the heart of AGENT UML, i.e., mechanisms to model protocols for multiagent interaction. Particular UML extensions described in this paper include protocol diagrams, agent roles, multithreaded lifelines, extended UML message semantics, nested and interleaved protocols, and protocol templates.
منابع مشابه
Specifying Agent Behaviors with UML Statecharts and StatEdit
The use of agents and multiagent systems is widespread in computer science nowadays. Thus the need for methods to specify agents in a clear and simple manner arises. One way of achieving this is by means of a graphical formalism. For using such a formalism the availability of tools, that support a developer, is of great importance. In this paper we present an approach to specifying agent behavi...
متن کاملFrom the Specification of Multiagent Systems by Statecharts to their Formal Analysis by Model Checking
A formalism for the specification of multiagent systems should be expressive and illustrative enough to model not only the behavior of one single agent, but also the collaboration among several agents and the influences caused by external events from the environment. For this, state machines [25] seem to provide an adequate means. Furthermore, it should be easily possible to obtain an implement...
متن کاملReasoning about Cognitive Robotics Systems From the Specification of Multiagent Systems by Statecharts to their Formal Analysis by Model Checking
A formalism for the specification of multiagent systems should be expressive and illustrative enough to model not only the behavior of one single agent, but also the collaboration among several agents and the influences caused by external events from the environment. For this, state machines [19] seem to provide an adequate means. Furthermore, it should be easily possible to obtain an implement...
متن کاملAn Extension of UML by Protocols for Multiagent Interaction
In the past, research on agent-oriented software engineering had been widely lacking touch with the world of industrial software development. Recently, a cooperation has been established between the Foundation of Intelligent Physical Agents (FIPA) and the Object Management Group (OMG) aiming to increase acceptance of agent technology in industry by relating to de facto standards (object-oriente...
متن کاملPaving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML
This paper describes how to refine a Gaia design by applying agentoriented extensions of UML. First, we show how the Gaia Interaction model can be improved by applying the first two layers of the Agent Interaction Protocol (AIP) of AUML. Second, Gaia Agent and Service models are refined by applying the AIP’s third layer combined with Extended UML Class Diagrams. Third, Gaia Organisational Struc...
متن کامل