Towards executable specification: Combining i* and agentspeak(L)

17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005

Volumn , Issue , 2005, Pages 739-742

  Salim, Farzad ^a   Chang, Chee Fon ^a   Krishna, Aneesh ^a   Ghose, Aditya ^a  

^a UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT PROGRAMMING LANGUAGES; AGENT-ORIENTED CONCEPTUAL MODELING; AGENTSPEAK; EXECUTABLE SPECIFICATIONS; MULTI-AGENT ENVIRONMENT; REQUIREMENTS ELICITATION; SEMI-FORMAL MODELS; STRATEGIC DEPENDENCIES;

KNOWLEDGE ENGINEERING; MULTI AGENT SYSTEMS; REQUIREMENTS ENGINEERING;

SOFTWARE ENGINEERING;

EID: 34250723675     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goaldirected requirements acquisition. Science of Computer Programming, 20(1-2):3-50, 1993.
2. A. Fuxman, J. Mylopoulos, M. Pistore, and P. Traverso. Model checking early requirements specifications in tropos. In RE '01: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE '01), page 174, Washington, DC, USA, 2001. IEEE Computer Society.
3. G. Gans, G. Lakemeyer, M. Jarke, and T. Vits. Snet: A modeling and simulation environment for agent networks based on i* and congolog. In CAiSE, pages 328-343, 2002.
4. A. Krishna, S. Vilkomir, and A. Ghose. A case study of combining i* framework and the z notation. Proceedings of ICEIS-2004: The 6th International Conference on Enterprise Information Systems, 2004.
5. A. Rao. Agentspeak(l): Bdi agents speak out in a logical computable language. In Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, 1996.
6. X. Wang. Agent-oriented requirements engineering using ConG olog and i*. Master's thesis, Department of Computer Science, University of Toronto, 2001.
7. E. Yu. Towards modelling and reasoning support for earlyphase requirements engineering. pages 226-235, Washington D.C., USA, 1997. Proceedings of 3rd IEEE International Symposium on Requirements Engineering.
8. E. Yu and J. Mylopoulos. Understanding "why" in software process modelling, analysis, and design. In ICSE '94: Proceedings of the 16th international conference on Software engineering, pages 159-168, Los Alamitos, CA, USA, 1994. IEEE Computer Society Press.