Communications of the ACM
Autonomous Agents and Multi-Agent Systems
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Designing Web Services with Tropos
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Agentification for Web Services
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Executable Specifications for Agent Oriented Conceptual Modelling
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Combining i* and BPMN for business process model lifecycle management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Capturing Process Knowledge for Multi-Channel Information Systems: A Case Study
International Journal of Information System Modeling and Design
Hi-index | 0.00 |
Agent-oriented conceptual modelling in notations such as the i* framework [13] have gained considerable currency in the recent past. Such notations model organizational context and offer high-level social/ anthropo-morphic abstractions (such as goals, tasks, softgoals and dependencies) as modelling constructs. It has been argued that such notations help answer questions such as what goals exist, how key actors depend on each other and what alternatives must be considered. Our contribution in this paper is to show an approach to executing high-level requirements models represented in the i* agent-oriented conceptual modelling language. We achieve this by translating these models into sets of interacting agents implemented in the 3APL language. This approach enables us to analyze early phase system models by performing rule-/consistency-checking at higher-levels of abstraction. We show how this approach finds special application in the analysis of high-level models of a web-based system.