Formalism challenges of the cougaar model driven architecture

Authors:
Shawn A. Bohner;Boby George;Denis Gračanin;Michael G. Hinchey
Affiliations:
Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA;Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA;Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA;NASA Goddard Space Flight Center, Greenbelt, MD
Venue:
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Year:
2004

Citing 4
Cited 1

An overview of the ISO/VDM-SL standard

ACM SIGPLAN Notices
Software architecture in practice

Software architecture in practice
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Verification of NASA Emergent Systems

ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age

Towards a model level debugger for the cougaar model driven architecture system

WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems

Quantified Score

Hi-index	0.00

Visualization

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.