Abstract
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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brauer, W., Nickles, M., Robatsos, M., Weiss, G., Lorentzen, K.: Expectation-Oriented Analysis and Design. In this volume (2001)
Clarke, E. Wing, J.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys. 28(4) (1996)
Dastani, M., Jonker, C., Truer, J.: A Requirement Specification Language for Configuration Dynamics of Multi-Agent System. In this volume (2001)
DeLoach, S. A., Wood, M., Sparkman, C.: Multiagent Systems Engineering. To appear in the Intl. J. on Software Engineering and Knowledge Engineering (2001)
DeLoach, S. A., Wood, M.: Developing Multiagent Systems with agentTool. In: Castelfranchi, C., Lesperance, Y. (eds.): Intelligent Agents VII: Agent Theories Architectures and Languages, Proceedings of the 7th International Workshop, ATAL 2000. Lecture Notes in Artificial Intelligence, Vol. 1986. Springer-Verlag, Berlin Heidelberg New York (2001)
DeLoach, S. A.: Specifying Agent Behavior as Concurrent Tasks. Proceedings of the Fifth International Conference on Autonomous Agents. ACM Press, New York (2001) 102–103
DeLoach, S. A.: Using agentMom. Air Force Institute of Technology, (2000)
Green, C., Luckham, D., Balzer, R., et al.: Report on a Knowledge-Based Software Assistant. In Rich, C., Waters, R. C. (eds.): Readings in Artificial Intelligence and Software Engineering. Morgan Kaufmann, San Mateo, California (1986) 377–428
Hartrum, T. C., Graham, R.: The AFIT Wide Spectrum Object Modeling Environment: An AWESOME Beginning. Proceedings of the National Aerospace and Electronics Conference. IEEE (2000) 35–42
Jennings, N.: On Agent-based Software Engineering, Artificial Intelligence: 117 (2000) 277–296
Lind, J.: Issues in Agent-Oriented Software Engineering. In Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. Lecture Notes in Artificial Intelligence, Vol. 1957. Springer-Verlag, Berlin Heidelberg (2001) 45–58
Omicini, A.: SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems. In Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. Lecture Notes in Artificial Intelligence, Vol. 1957. Springer-Verlag, Berlin Heidelberg (2001) 185–194
Rana, O.: A Modelling Approach for Agent Based Systems Design. In Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. Lecture Notes in Artificial Intelligence, Vol. 1957. Springer-Verlag, Berlin Heidelberg (2001) 195–206
Saba, G. M., Santos, E.: The Multi-Agent Distributed Goal Satisfaction System. Proceedings of the International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA’ 2000) (2000) 389–394
Self, A.: Design & Specification of Dynamic, Mobile, and Reconfigurable Multiagent Systems. MS thesis, AFIT/GCS/ENG/01M-11. School of Engineering, Air Force Institute of Technology (AU), Wright-Patterson AFB, OH, (2001)
Sparkman, C.: Transforming Analysis Models Into Design Models for the Multiagent Systems Engineering (MaSE) Methodology. MS thesis, AFIT/GCS/ENG/01M-12. School of Engineering, Air Force Institute of Technology (AU), Wright-Patterson AFB, OH (2001)
Wood, M.: Multiagent Systems Engineering: A Methodology for Analysis and Design of Multiagent Systems. MS thesis, AFIT/GCS/ENG/00M-26. School of Engineering, Air Force Institute of Technology (AU), Wright-Patterson AFB, OH, 2000
Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Intl. J. of Autonomous Agents and Multi-Agent Systems. 3(3) (2000) 285–312
Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: the State of the Art In Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. Lecture Notes in Artificial Intelligence, Vol. 1957. Springer-Verlag, Berlin Heidelberg (2001) 1–28
Zambonelli, F.: Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations. In this volume (2001)
Zhu, H.: A Formal Specification Language for MAS Engineering. In this volume (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sparkman, C.H., DeLoach, S.A., Self, A.L. (2002). Automated Derivation of Complex Agent Architectures from Analysis Specifications. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds) Agent-Oriented Software Engineering II. AOSE 2001. Lecture Notes in Computer Science, vol 2222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-70657-7_18
Download citation
DOI: https://doi.org/10.1007/3-540-70657-7_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43282-1
Online ISBN: 978-3-540-70657-1
eBook Packages: Springer Book Archive