This chapter describes an agent-oriented requirements engineering approach that combines informal i*models with formal specifications in the multiagent system specification formalisms ConGolog and its extension 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. ConGolog or CASL can be used to model complex processes formally. We introduce an intermediate notation to support the mapping between i*models and ConGolog/CASL specifications. In the combined i*-CASL framework, agents' goals and knowledge are represented as their subjective mental states, which allows for the formal analysis and verification of, among other things, complex agent interactions and incomplete knowledge. Our models can also serve as high-level specifications for multiagent systems. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Lapouchnian, A., & Lespérance, Y. (2009). Using the ConGolog and CASL formal agent specification languages for the analysis, verification, and simulation of i*models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5600 LNCS, pp. 483–503). https://doi.org/10.1007/978-3-642-02463-4_25
Mendeley helps you to discover research relevant for your work.