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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
Sannicoló, F., Perini, A., Giunchiglia, F.: The Tropos modelling language - A User Guide. Technical report DIT-02-0061, University of Trento (February 2002)
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)
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)
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)
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)
GRL web site, http://www.cs.toronto.edu/km/GRL/
Wielemaker, J.: SWI-Prolog 5-1: Reference Manual. SWI, University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands, (1997-2003)
Kirk, R.E.: Experimental Design, 2nd edn. Brooks/Cole Publishing Company (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cares, C., Franch, X., Mayol, E. (2006). Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem. In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_23
Download citation
DOI: https://doi.org/10.1007/11750734_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33996-0
Online ISBN: 978-3-540-33997-7
eBook Packages: Computer ScienceComputer Science (R0)