@inproceedings{5ad78b880ee6405cb84832dd6d31f5d9,
title = "A CSP-based agent modeling framework for the Cougaar agent-based architecture",
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.",
author = "Denis Gra{\v c}anin and {Lally Singh}, H. and Mohamed Eltoweissy and Hinchey, {Michael G.} and Bohner, {Shawn A.}",
year = "2005",
language = "English",
isbn = "0769523080",
series = "Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005",
pages = "255--262",
editor = "J. Rozenblit and T. O'Neill and J. Peng",
booktitle = "Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005",
note = "Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 ; Conference date: 04-04-2005 Through 07-04-2005",
}