Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem

  • Carlos Cares
  • Xavier Franch
  • Enric Mayol
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)


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.


Detailed Design Food Environment Food Provider Early Requirement Detailed Design Stage 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dastani, M., Hulstijn, J., Dignum, F., Meyer, J.: Issues in Multiagent Systems Development. In: Third International Conference AAMAS 2004, Columbia, USA, pp. 920–927 (July 2004)Google Scholar
  2. 2.
    Hoa, K., Winikoff, M.: Comparing Agent-Oriented Methodologies. In: The proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, AAMAS 2003, Melbourne, Australia (July 2003)Google Scholar
  3. 3.
    Castro, J., Kolp, M., Mylopoulos, J.: A Requirements-Driven Development Methodology. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 108–123. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Perini, A., Bresciani, P., Giunchiglia, P., Giorgini, P., Mylopoulos, J.: A knowledge Level Soft-ware Engineering Methodology for Agent Oriented Programming. In: Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada (May 2001)Google Scholar
  5. 5.
    Sannicoló, F., Perini, A., Giunchiglia, F.: The Tropos modelling language - A User Guide. Technical report DIT-02-0061, University of Trento (February 2002)Google Scholar
  6. 6.
    Grau, G., Franch, X., Mayol, E., Ayala, C., Cares, C., Haya, M., Navarrete, F., Botella, P., Quer, C.: RiSD: A Methodology for Building i* Strategic Dependency Models. In: Proceedings of The 17th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, July 14-16, pp. 259–266 (2005)Google Scholar
  7. 7.
    Odell, J., Van Parunak, H.D., Bauer, B.: Extending UML for Agents. In: Proceedings of the Agent-Oriented Information System Workshop at the 17th National Conference on Artificial Intelligence, Austin, USA, pp. 3–17 (2002)Google Scholar
  8. 8.
    Amyot, D., Mussbacher, G.: URN: Towards a New Standard for the Visual Description of Requirements. In: Proc. of the 3rd Int. Workshop on Telecommunications and beyond: The Broader Applicability of SDL and MSC., Aberystwyth, UK, June 24-26, pp. 21–37 (2002)Google Scholar
  9. 9.
    Liu, L., Yu, E.: Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 37–51. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
  11. 11.
    Wielemaker, J.: SWI-Prolog 5-1: Reference Manual. SWI, University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands, (1997-2003) Google Scholar
  12. 12.
    Kirk, R.E.: Experimental Design, 2nd edn. Brooks/Cole Publishing Company (1982)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Carlos Cares
    • 1
    • 2
  • Xavier Franch
    • 1
  • Enric Mayol
    • 1
  1. 1.Dept. Llenguatges i Sistemes InformàticsUniversitat Politècnica de CatalunyaBarcelonaSpain
  2. 2.Dept. Ingeniería de SistemasUniversidad de La FronteraCasilla, TemucoChile

Personalised recommendations