CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture

摘要

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 system in Cougaar. The Communicating Sequential Processes (CSP) formalism is used for the formal validation of the generated system.Two main agent components, a blackboard and a plugin, are modeled as CSP processes. A set of channels represents communications between the blockboardand 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 verifythe behavior of an indivual agent in terms of CPS properties and to analyze the correspnding Cougaar society.