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.