Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem
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.
KeywordsDetailed Design Food Environment Food Provider Early Requirement Detailed Design Stage
Unable to display preview. Download preview PDF.
- 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.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
- 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.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.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.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.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
- 10.GRL web site, http://www.cs.toronto.edu/km/GRL/
- 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.Kirk, R.E.: Experimental Design, 2nd edn. Brooks/Cole Publishing Company (1982)Google Scholar