Automated Derivation of Complex Agent Architectures from Analysis Specifications

Multiagent systems have been touted as a way to meet the need for distributed software systems that must operate in dynamic and complex environments. However, in order for multiagent systems to be effective, they must be reliable and robust. Engineering multiagent systems is a non-trivial task, providing ample opportunity for even experts to make mistakes. Formal transformation systems can provide automated support for synthesizing multiagent systems, which can greatly improve their correctness and reliability. This paper describes a semi-automated transformation system that generates an agent's internal architecture from an analysis specification in the MaSE methodology.

[1]  Robert Balzer,et al.  Report on a knowledge-based software assistant , 1986 .

[2]  Robert Balzer,et al.  Kestrel Institute: REPORT ON A KNOWLEDGE-BASED SOFTWARE ASSISTANT , 1986 .

[3]  Richard C. Waters,et al.  Readings in artificial intelligence and software engineering , 1986 .

[4]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[5]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[6]  Scott A. DeLoach,et al.  Multiagent Systems Engineering: A Methodology and Language for Designing Agent Systems , 1999 .

[7]  Jürgen Lind,et al.  Issues in Agent-Oriented Software Engineering , 2000, AOSE.

[8]  Omer F. Rana,et al.  A Modelling Approach for Agent Based Systems Design , 2000, AOSE.

[9]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.

[10]  Scott A. DeLoach,et al.  Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. Developing Multiagent Systems with agentTool , 2022 .

[11]  T. C. Hartrum,et al.  The AFIT Wide Spectrum Object Modeling Environment: an awesome beginning , 2000, Proceedings of the IEEE 2000 National Aerospace and Electronics Conference. NAECON 2000. Engineering Tomorrow (Cat. No.00CH37093).

[12]  Scott A. DeLoach.  Specifying Agent Behavior as Concurrent Tasks: Defining the Behavior of Social Agents , 2000 .

[13]  Andrea Omicini,et al.  SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems , 2000, AOSE.

[14]  Scott A. DeLoach,et al.  Multiagent Systems Engineering , 2001, Int. J. Softw. Eng. Knowl. Eng..

[15]  Clint H. Sparkman.  Transforming Analysis Models into Design Models for the Multiagent Systems Engineering (MASE) Methodology , 2001 .

[16]  Wilfried Brauer,et al.  Expectation-Oriented Analysis and Design , 2001, AOSE.

[17]  Catholijn M. Jonker,et al.  A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems , 2001, AOSE.

[18]  Franco Zambonelli.  Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations , 2001, AOSE.

[19]  Athie L. Self.  Design & Specification of Dynamic, Mobile, and Reconfigurable Multiagent Systems , 2001 .

[20]  Scott A. DeLoach.  Specifying agent behavior as concurrent tasks , 2001, AGENTS '01.

[21]  Hong Zhu,et al.  A Formal Specification Language for MAS Engineering , 2001 .