Extending tropos for a prolog implementation: a case study using the food collecting agent problem

Authors:
Carlos Cares;Xavier Franch;Enric Mayol
Affiliations:
Dept. Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain;Dept. Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain;Dept. Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain
Venue:
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Year:
2005

Citing 5
Cited 4

A knowledge level software engineering methodology for agent oriented programming

Proceedings of the fifth international conference on Autonomous agents
Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
A Requirements-Driven Development Methodology

CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Issues in Multiagent System Development

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
URN: towards a new standard for the visual description of requirements

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC

${\cal B}$-Tropos

Computational Logic in Multi-Agent Systems
Using antimodels to define agents' strategy

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Towards interoperability of i* models using iStarML

Computer Standards & Interfaces
The multi-agent programming contest from 2005---2010

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

There is a recognized lack of Agent-Oriented Methodologies to translate a design into a computational logic implementation. In this paper we address this problem by extending Tropos, which is one of the most used methodologies to design agent systems. We show our proposal with the Food Collecting Agent Problem in which a team has to collect food in a grid-like world. Our solution includes autonomous behaviour, beliefs, multiple roles playing, communication and cooperation. The main contribution is the proposal to generate a Prolog implementation from a Tropos design by first extending the Tropos detailed design and second illustrating how to get a set of Prolog clauses for this design. In addition we show a performance evaluation of our Prolog implementation which confirms that our solution for the case study is effective and allows a simple configuration of the resulting program.