A CSP-based agent modeling framework for the Cougaar agent-based architecture

Denis Gračanin, H. Lally Singh, Mohamed Eltoweissy, Michael G. Hinchey, Shawn A. Bohner

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Cognitive Agent Architecture (Cougaar) is a Java-based architecture for large-scale distributed agent-based applications. A Cougaar agent is an autonomous software entity with behaviors that represent a real-world entity (e.g., a business process). A Cougaar-based Model Driven Architecture approach, currently under development, uses a description of system' functionality (requirements) to automatically implement the syxiem in Cougaar. The Communicating Sentential Processes (CSP) formalism is used for the formal validation of the generated system. Two main agent component, a blackboard and a plugin, are modeled as CSP processes. A set of channels represents communications between the blackboard and individual plugins. The blackboard is represented as a CSP process that communicates with every agent in the collection. The developed CSP-based Cougaar modeling framework provides a starting point for a more complete formal verification of the automatically generated Cougaar code. Currently it is used to verify the behavior of an individual agent in terms of CSP properties and to analyze the corresponding Cougaar society.

Original languageEnglish
Title of host publicationProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
EditorsJ. Rozenblit, T. O'Neill, J. Peng
Pages255-262
Number of pages8
Publication statusPublished - 2005
Externally publishedYes
EventProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 - Greenbelt, MD, United States
Duration: 4 Apr 20057 Apr 2005

Publication series

NameProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005

Conference

ConferenceProceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
Country/TerritoryUnited States
CityGreenbelt, MD
Period4/04/057/04/05

Fingerprint

Dive into the research topics of 'A CSP-based agent modeling framework for the Cougaar agent-based architecture'. Together they form a unique fingerprint.

Cite this