Towards executable specification : combining i* and AgentSpeak(L).


Autoria(s): Salim, Farzad; Chang, Chee Fon; Krishna, Aneesh; Ghose, Aditya
Data(s)

01/07/2005

Resumo

Agent-oriented conceptual modelling (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 AgentS- peak(L) agent. The constructed AgentSpeak(L) agents will then form the essential components of a multi-agent system, MAS.

Formato

application/pdf

Identificador

http://eprints.qut.edu.au/28178/

Publicador

Knowledge Systems Institute

Relação

http://eprints.qut.edu.au/28178/1/c28178.pdf

Salim, Farzad, Chang, Chee Fon, Krishna, Aneesh, & Ghose, Aditya (2005) Towards executable specification : combining i* and AgentSpeak(L). In Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, Howard International House, Taipei, 739-742 .

Direitos

Copyright 2005 Knowledge Systems Institute

Fonte

Faculty of Science and Technology; Information Security Institute; School of Information Systems

Palavras-Chave #080603 Conceptual Modelling #080100 ARTIFICIAL INTELLIGENCE AND IMAGE PROCESSING #080309 Software Engineering #Agent Programming Languages #Requirements Engineering #i* Conceptual Model #Multi-Agent Systems
Tipo

Conference Paper