Modeling Mental States in Agent-Oriented Requirements Engineering

  • Alexei Lapouchnian
  • Yves Lespérance
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4001)


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 and incomplete knowledge. Our models can also serve as high-level specifications for multiagent systems.


Model Check Goal Node Requirement Engineering Multiagent System Primitive Action 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Castro, J., Kolp, M., Mylopoulos, J.: Towards Requirements-Driven Information Systems Engineering: The Tropos Project. Information Systems 27(6), 365–389 (2002)MATHCrossRefGoogle Scholar
  2. 2.
    Chung, L.K., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer, Dordrecht (2000)MATHGoogle Scholar
  3. 3.
    Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-Directed Requirements Acquisitions. Science of Computer Programming 20, 3–50 (1993)MATHCrossRefGoogle Scholar
  4. 4.
    De Giacomo, G., Lespérance, Y., Levesque, H.: ConGolog, A Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121, 109–169 (2000)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and Analyzing Early Requirements in Tropos. RE Journal 9(2), 132–150 (2004)Google Scholar
  6. 6.
    Gans, G., Jarke, M., Kethers, S., Lakemeyer, G., Ellrich, L., Funken, C., Meister, M.: Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. In: Proc. RE 2001, pp. 154–163 (2001)Google Scholar
  7. 7.
    Lapouchnian, A.: Modeling Mental States in Requirements Engineering – An Agent-Oriented Framework Based on i* and CASL. M.Sc. Thesis. Department of Computer Science, York University, Toronto (2004)Google Scholar
  8. 8.
    Lespérance, Y.: On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 69–85. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    McCarthy, J., Hayes, P.: Some Philosophical Problems From the Standpoint of Artificial Intelligence. Machine Intelligence 4, 463–502 (1969)MATHGoogle Scholar
  10. 10.
    Reiter, R.: The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press, London (1991)Google Scholar
  11. 11.
    Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)MATHGoogle Scholar
  12. 12.
    Scherl, R.B., Levesque, H.: Knowledge, Action, and the Frame Problem. Artificial Intelligence 144(1-2), 1–39 (2003)MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Shapiro, S.: Specifying and Verifying Multiagent Systems Using CASL. Ph.D. Thesis. Department of Computer Science, University of Toronto (2004)Google Scholar
  14. 14.
    Shapiro, S.: Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS, vol. 1986, pp. 244–259. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  15. 15.
    Shapiro, S., Lespérance, Y., Levesque, H.: The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems. In: Proc. AAMAS 2002, Bologna, Italy, pp. 19–26. ACM Press, New York (2002)CrossRefGoogle Scholar
  16. 16.
    Shapiro, S., Pagnucco, M., Lespérance, Y., Levesque, H.: Iterated Belief Change in the Situation Calculus. In: Proc. KR 2000, pp. 527–538 (2000)Google Scholar
  17. 17.
    van Lamsweerde, A., Darimont, R., Massonet, P.: Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt. In: Proc. RE 1995, York, UK, pp. 194–203 (1995)Google Scholar
  18. 18.
    van Otterloo, S., van der Hoek, W., Wooldrige, M.: Model Checking a Knowledge Ex-change Scenario. Applied Artificial Intelligence 18(9-10), 937–952 (2004)CrossRefGoogle Scholar
  19. 19.
    Wang, X., Lespérance, Y.: Agent-Oriented Requirements Engineering Using ConGolog and i*. In: Proc. AOIS 2001, pp. 59–78 (2001)Google Scholar
  20. 20.
    Wooldridge, M.: Agent-Based Software Engineering. IEE Proceedings on Software Engineering 144(1), 26–37 (1997)CrossRefGoogle Scholar
  21. 21.
    Yu, E.: Towards modeling and reasoning support for early requirements engineering. In: Proc. RE 1997, Annapolis, USA, pp. 226–235 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Alexei Lapouchnian
    • 1
  • Yves Lespérance
    • 2
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada
  2. 2.Department of Computer Science and EngineeringYork UniversityTorontoCanada

Personalised recommendations