Modeling mental states in the analysis of multiagent systems requirements

Authors:
Alexei Lapouchnian;Yves Lespérance
Affiliations:
Department of Computer Science, University of Toronto, Toronto, ON, Canada;Department of Computer Science and Engineering, York University, Toronto, ON, Canada
Venue:
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Year:
2006

Citing 15
Cited 0

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
The cognitive agents specification language and verification environment for multiagent systems

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Towards requirements-driven information systems engineering: the Tropos project

Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Agent Capabilities: Extending BDI Theory

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Commitment Machines

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Knowledge, action, and the frame problem

Artificial Intelligence
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt

RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering

RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Specifying and analyzing early requirements in Tropos

Requirements Engineering
Specifying and verifying multiagent systems using the cognitive agents specification language (casl)

Specifying and verifying multiagent systems using the cognitive agents specification language (casl)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the multiagent system specification formalism CASL. This allows the requirements engineer to exploit the complementary features of the frameworks. i* can be used to model social dependencies between agents and how process design choices affect the agents' goals. CASL can be used to model complex processes formally. We introduce an intermediate notation to support the mapping between i* models and CASL specifications. In the combined i*-CASL framework, agents' goals and knowledge are represented as their mental states, which allows for the formal analysis and verification of, among other things, complex agent interactions where agents may have different goals and different (incomplete) knowledge. Our models can also serve as high-level specifications for multiagent systems.