Modeling mental states in the analysis of multiagent systems requirements
Alexei Lapouchnian, Yves Lespérance · 2006
This paper presents an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the CASL language through the use of Intentional Annotated Strategic Rationale diagrams. In the resulting framework, agent goals and knowledge are represented as their mental states, which allows for the formal analysis of, among other things, agent interactions and incomplete knowledge. CASL models can also serve as high-level specifications for multiagent systems.