Skip to main content
Towards executable specification: combining i* and AgentSpeak(L)
Faculty of Commerce - Papers (Archive)
  • Farzad Salim, University of Wollongong
  • Chee Fon Chang, University of Wollongong
  • Aneesh Krishna, University of Wollongong
  • Aditya K. Ghose, University of Wollongong
Publication Date
Publication Details

Salim, F., Chang, C., Krishna, A. & Ghose, A. K. (2005). Towards executable specification: combining i* and AgentSpeak(L). In W. Wong, W. Chu & N. Juristo (Eds.), International Conference on Software Engineering and Knowledge Engineering (pp. 739-742). USA: Knowledge Systems Institute Graduate School.

Agent-oriented conceptual modeling(AoCM) approaches in Requirements Engineering (RE) have received considerable attention recently. Semi-formal modeling frameworks such as i* assist analysts in requirements elicitation and reasoning of early-phase RE. AgentSpeak( L) is a widely accepted agent programming language. The Strategic Rationale (SR) model of the i* framework naturally lends itself to AgentSpeak(L) programs. Furthermore, the Strategic Dependency (SD) component of the i* framework prescribes the interaction between the agents in a multi-agent environment. This paper proposes a formal methodology for transforming a SR model to an AgentSpeak( L) agent. The constructed AgentSpeak(L) agents will then form the essential components of a multi-agent system, MAS.
Citation Information
Farzad Salim, Chee Fon Chang, Aneesh Krishna and Aditya K. Ghose. "Towards executable specification: combining i* and AgentSpeak(L)" (2005) p. 739 - 742
Available at: