Automated derivation of complex agent architectures from analysis specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2222, Issue , 2002, Pages 278-296

  Sparkman, Clint H ^a   DeLoach, Scott A ^b   Self, Athie L ^a  

^a AIR FORCE INSTITUTE OF TECHNOLOGY   (United States)

^b Kansas State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SPECIFICATIONS;

AUTOMATED SUPPORT; AUTOMATED TRANSFORMATIONS; COMPLEX AGENT; COMPLEX ENVIRONMENTS; DISTRIBUTED SOFTWARE SYSTEM; FORMAL TRANSFORMATION; INTERNAL ARCHITECTURE; NON-TRIVIAL TASKS;

MULTI AGENT SYSTEMS;

EID: 84959051325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-70657-7_18     Document Type: Conference Paper

References (21)

1. Brauer, W., Nickles, M., Robatsos, M., Weiss, G., Lorentzen, K.: Expectation-Oriented Analysis and Design. In this volume (2001)
2. Clarke, E. Wing, J.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys. 28 (4) (1996)
3. Dastani, M., Jonker, C., Truer, J.: A Requirement Specification Language for Configuration Dynamics of Multi-Agent System. In this volume (2001)
4. DeLoach, S. A., Wood, M., Sparkman, C.: Multiagent Systems Engineering. To appear in the Intl. J. on Software Engineering and Knowledge Engineering (2001)
5. 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)
6. 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
7. DeLoach, S. A.: Using agentMom. Air Force Institute of Technology, (2000)
8. 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
9. 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
10. [10] Jennings, N.: On Agent-based Software Engineering, Artificial Intelligence: 117 (2000) 277-296
11. [11] 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
12. [12] 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
13. [13] 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
14. [14] 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
15. [15] 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)
16. [16] 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)
17. [17] 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
18. [18] 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
19. [19] 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
20. [20] Zambonelli, F.: Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations. In this volume (2001)
21. [21] Zhu, H.: A Formal Specification Language for MAS Engineering. In this volume (2002)