Abstract
The Cognitive Agent Architecture (Cougaar) is one of the most sophisticated distributed agent architectures developed today. As part of its research and evolution, Cougaar is being studied for application to large, logistics-based applications for the Department of Defense (DoD). Anticipating future complex applications of Cougaar, we are investigating the Model Driven Architecture (MDA) approach to understand how effective it would be for increasing productivity in Cougar-based development efforts. Recognizing the sophistication of the Cougaar development environment and the limitations of transformation technologies for agents, we have systematically developed an approach that combines component assembly in the large and transformation in the small. This paper describes some of the key elements that went into the Cougaar Model Driven Architecture approach and the characteristics that drove the approach.
This is a preview of subscription content, log in via an institution to check access.
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
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Pearson Education, Inc., Upper Saddle River (2003)
Dogac, A., Cingil, I.: Agent technology. In: B2B e-Commerce Technology: Frameworks, Standards and Emerging Issues. Addison-Wesley, Amsterdam (2004)
Dogac, A., Cingil, I.: Grasshopper 2: The agent platform. IKV++ Technologies AG (2004), http://www.grasshopper.de
Dogac, A., Cingil, I.: Agent oriented software. The Agent Oriented Software Group (2004), http://www.agent-software.com
Dogac, A., Cingil, I.: Cognitive agent architecture (Cougaar). Cognitive Agent Architecture (Cougaar) Open Source Project (2004), http://www.cougaar.com
Dogac, A., Cingil, I.: Java agent development framework (JADE). JADE Board (2004), http://jade.tilab.com
Dogac, A., Cingil, I.: The foundation for intelligent physical agents (fipa). FIPA Secretariat (2004), http://www.fipa.org/resources/livesystems.html
Dogac, A., Cingil, I.: Cougaar architecture document. Technical report, BBN Technologies Version for Cougaar 11.2 (2004)
Dogac, A., Cingil, I.: Cougaar developers guide. Technical report, BBN Technologies Version for Cougaar 11.2 (2004)
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison- Wesley Publishing Co., Amsterdam (1998)
Dorfman, M., Thayer, R.: A Review of Formal Methods. Computer Society Press, USA (1996)
Rouff, C., Vanderbilt, A., Truszkowski, W., Rash, J., Hinchey, M.: Verification of nasa emergent systems. In: Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems, Florence, Italy (2004)
Rouff, C., Vanderbilt, A., Truszkowski, W., Rash, J., Hinchey, M.: Information on VDM. The Center for Software Reliability (2004), http://www.csr.ncl.ac.uk/vdm/
Plat, N., Gorm-Larsen, P.: An overview of the ISO/VDM-SL standard. SIGPLAN Notices. ACM Press, New York (1992)
McGibbon, T.: An analysis of two formal methods: VDM and Z. Technical report, pp. 13441–14909. Data & Analysis Center for Software, Rome (1997), http://www.dacs.dtic.mil/techs/2fmethods/title.shtml
McGibbon, T.: The toolbox newsletter. In: McGibbon, T. (ed.) IFAD, http://shinsahara.com/www/vdm/NewsLetter/issue5.doc
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bohner, S.A., George, B., Gračanin, D., Hinchey, M.G. (2004). Formalism Challenges of the Cougaar Model Driven Architecture. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds) Formal Approaches to Agent-Based Systems. FAABS 2004. Lecture Notes in Computer Science(), vol 3228. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30960-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-30960-4_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24422-6
Online ISBN: 978-3-540-30960-4
eBook Packages: Computer ScienceComputer Science (R0)