In this paper we propose an agent modeling language named CAML that provides a comprehensive framework for representing all relevant aspects of a multi-agent system: specially, its configuration and the reasoning abilities of its constituent agents. The configuration modeling aspect of the language supports natural grouping and mobility, and the reasoning framework is inspired by an extension of the popular BDI theory of modeling cognitive skills of agents. We present the motivation behind the development of the language, its syntax, and an informal semantics.
Ahmad, Raheel, Rahimi, Shahram and Gupta, Bidyut. "An Intelligence-Aware Process Calculus for Multi-Agent System Modeling." (May 2007).