Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
A design framework for generating BDI-agents from goal models
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
From stakeholder intentions to software agent implementations
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Automating model transformations in agent-oriented modelling
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Hi-index | 0.00 |
This approach aims at addressing crucial issues in complex distributed software such as capability of evolving and adaptivity. Within the area of goal-oriented software requirements engineering, we propose the use of goal models at different abstraction levels in engineering a Multi-Agent System (MAS), namely, not only at design time, but also as a part of the agent knowledge and choice strategy, at run-time. In this paper we briefly overview a mapping between Tropos concepts and Alan (an agent-object programming language) structures. Specifically, we focus on two advantages of our approach: first, Alan allows us to use in an integrated fashion both agent oriented and object oriented design principles. Second, Alan has a well defined semantics expressed by means of rewriting logic. This allows us to verify the properties of an agent both at design time and at run-time (when its knowledge and behavior can have been modified).