Methodologies for developing multi-agent systems

Journal of Universal Computer Science

Volumn 10, Issue 4, 2004, Pages 359-374

  Gómez Sanz, Jorge ^a   Pavón, Juan ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Agent oriented methodologies; Agent oriented software engineering; Intelligent agents; Multi agent systems; Software agents

Indexed keywords

EID: 23844451026     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (65)

1. [Arenas and Barrera-Sanabria, 2002] Arenas, A. and Barrera-Sanabria, G. (2002). Applying the MAS-CommonKADS methodology to the flights reservation problem: Integrating coordination and expertise. In The 5th Joint Conference on Knowledge-Bused Software Engineering.
2. [AUML Team, 03] AUML Team (03). Agent UML web site, http://www.auml.org.
3. [Bauer, 2002] Bauer, B. (2002). UML class diagrams: Revisited in the context of agent-based systems. In Wooldridge, M., Weiß, G., and Cianciarini, P., editors, Agent-Oriented Software Engineering II: Second International Workshop, volume 2222 of LNCS, pages 1-8. Springer-Verlag.
4. [Bellifemine et al., 2001] Bellifemine, F., Poggi, A., and Rimassa, G. (2001). JADE: a FIPA 2000 compliant agent development environment. In Proc. of the 5th International Conference on Autonomous Agents, pages 216-217. ACM Press.
5. [Bledsoe, 1985] Bledsoe, L. J. H. W. (1985). What is automated theorem proving? Journal of Automated Reasoning, 1(1):23-28.
6. [Bordini et al., 2003] Bordini, R., Fisher, M., Visser, W., and Wooldridge, M. (2003). Verifiable multi-agent programs. In Proc. of the First International Workshop on Programming Multiagent Systems, pages 1045-1052. Springer Verlag.
7. [Brazier et al., 1994] Brazier, F., van Langen, P., Treur, J., Wijngaards, N., and Willems, M. (1994). Modelling a design task in DESIRE: the VT example. Technical Report IR-377, Universiteit Amsterdam, Department of Mathematics and Computer Science, Vrije, Amsterdam.
8. [Brazier et al., 1997] Brazier, F. T., Dunin-Keplicz, B., Jennings, N., and Treur, J. (1997). DESIRE: Modelling multi-agent systems in a compositional framework. International Journal of Cooperative Information Systems, 6(1):67-94.
9. [Burrafato and Cossentino, 2002] Burrafato, P. and Cossentino, M. (2002). Designing a multiagent solution for a bookstore with the PASSI methodology. In 4th International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002), Toronto, Ontario, Canada. CEUR-WS.
10. [Busettaet al., 1999] Busetta, P., Rönnquist, R., Hodgson, A., and Lucas, A. (1999). JACK Intelligent Agents - Components for intelligent agents in Java. Agentlink News, 2:2-5.
11. [Caire et al., 2001] Caire, G., Leal, F., Chainho, P., Evans, R., Garijo, F., Gómez-Sanz, J., Pavón, J., Kerney, P., Stark, J., and Massonet, P. (2001). Agent oriented analysis using MESSAGE/UML. In Wooldridge, M., Weiß, G., and Cianciarini, P., editors, Agent-Oriented Software Engineering II: 2nd International Workshop, LNCS 2222, pages 119-135. Springer Verlag.
12. [Cernuzzi and G. Rossi, 2002] Cernuzzi, L. and G. Rossi, G. (2002). On the evaluation of agent oriented methodologies. In Proc. of the OOPSLA 2002 Workshop on Agent-Oriented Methodologies. COTAR.
13. [Chandra et al., 2002] Chandra, D., Godefroid, P., and Palm, C. (2002). Software model checking in practice: an industrial case study. In Proc. ICSE'02, pages 431-441. ACM Press.
14. [Dardenne et al., 1993] Dardenne, A., van Lamsweerde, A., and Fickas, S. (1993). Goal-directed requirements acquisition. Science of Computer Programming, 20:3-50.
15. [Darimont et al., 1997] Darimont, R., Delor, E., Massonet, P., and van Lamsweerde, A. (1997). GRAIL/KAOS: an environment for goal-driven requirements engineering. In Proc. ICSE'97, pages 612-613. ACM Press.
16. [DARPA, 2003] DARPA (2003). Cognitive agent architecture, http://www.cougaar.org.
17. [DeLoach, 2001] DeLoach, S. (2001). Analysis and Design using MaSE and agenTool. In Proc. of the 12th Midwest Artificial Intelligence and Cognitive Science Conferece (MAICS), Miami University. Miami University Press.
18. [DeLoach et al., 2001] DeLoach, S., Wood, M., and Sparkman, C. (2001). Multiagent systems engineering. Int. Journal of Software Engineering and Knowledge Engineering, 11(3):231-258.
19. [Ferber and Gutknecht, 1998] Ferber, J. and Gutknecht, O. (1998). A meta-model for the analysis and design of organizations in multi-agent systems. In Proc. ICMAS'98, pages 128-135.
20. [FIPA, 2003] FIPA (2003). Foundation for Intelligent Agents, http://www.fipa.org.
21. [Friedman-Hill, 2003] Friedman-Hill, E. (2003). Java expert system shell (JESS), http:// herzberg.ca.sandia.gov/jess.
22. [Fuentes et al., 2003] Fuentes, R., Gómez-Sanz, J., and Pavón, J. (2003). Activity theory for the analysis and design of multi-agent systems. In Agent-Oriented Software Engineering IV, pages 110-122. Springer Verlag.
23. [Garijo et al., 2000] Garijo, F., Gómez-Sanz, J., Pavón, J., and Massonet, P. (2000). Multi-agent system organization. An engineering perspective. In 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World.
24. [Gervais, 2003] Gervais, M. (2003). ODAC: An agent-oriented methodology based on ODP. Journal of Autonomous Agents and Multi-Agent Systems, 7(3): 199-228.
25. [Giacomo et al., 2000] Giacomo, G. D., Lesperance, Y., and Levesque, H. J. (2000). Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109-169.
26. [Glaser, 1996] Glaser, N. (1996). Contribution to Knowledge Modelling in a Multi-Agent Framework (the CoMoMAS Approach). Ph.d. thesis, L'Universtité Henri Poincaré, Nancy I, France.
27. [Gómez-Sanz et al., 2002] Gómez-Sanz, J., Pavón, J., and Garijo, F. (2002). Meta-models for building multi-agent systems. In Proc. ACM SAC'02, pages 37-41. ACM Press.
28. [GRASIA! research group, 2003] GRASIA! research group (2003). INGENIAS IDK. http: //ingenias.sourceforge.net.
29. [Heymans and Dubois, 1998] Heymans, P. and Dubois, E. (1998). Scenario-based techniques for supporting the elaboration and the validation of formal requirements. Technical Report CREWS Report 98-15, Universite de Namur, Belgium.
30. [Holzmann, 1991] Holzmann, G. (1991). Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey.
31. [Iglesias et al., 1998] Iglesias, C., Garijo, M., Gonzales, J., and Velasco, J. R. (1998). Analysis and design of multi-agent systems using MAS-CommonKADS. In Singh, M., Rao, A., and Wooldridge, M., editors, Intelligent Agents IV. Proc. of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), volume 1365 of LNAI, pages 313-326. Springer-Verlag.
32. [IKV++Technologies AG, 1998] IKV++Technologies AG (1998). Grasshopper, http:// www.grasshopper.de/index.html.
33. [ITU-T, 1999] ITU-T (1999). Recommendation Z. 100: Specification and Description Language (SDL).
34. [Jacobson et al., 1999] Jacobson, I., Rumbaugh, J., and Booch, G. (1999). The Unified Software Development Process, Addison-Wesley.
35. [Kinny et al., 1996] Kinny, D., Georgeff, M., and Rao, A. (1996). A methodology and modelling technique for systems of BDI agents. In van der Velde, W. and Perram, J., editors, Agents Breaking Away: Proc. of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-96), volume 1038 of LNAI, pages 56-71. Springer-Verlag.
36. [Laird et al., 1999] Laird, J., Congdom, C. B., and Coulter, K. (1999). The. SOAR's users manual v.8.2. The Soar Group, Artificial Intelligence Laboratory, University of Michigan.
37. [Laird et al., 1987] Laird, J., Newell, A., and Rosenbloom, P. (1987). SOAR: an architecture for general intelligence. Artificial Intelligence, 33(1): 1-64.
38. [Leontiev, 1978] Leontiev, A. (1978). Activity, Consciousness, and Personality. Prentice Hall.
39. [Lind, 2000] Lind, J. (2000). MASSIVE: Software Engineering for Multiagent Systems. Ph.d. thesis, University of the Saarland.
40. [MADKIT, 1999] MADKIT (1999). Multi-Agent Development KIT.
41. [Mangina, 2002] Mangina, E. (2002). Review of software products for multi-agent systems, survey, AgentLink.
42. [Mylopoulos and Castro, 2000] Mylopoulos, J. and Castro, J. (2000). Tropos: A framework for requirements-driven software development. In Proc. CAISE'00.
43. [NASA, 2003] NASA (2003). C language integrated production system (CLIPS), http:// www.ghgcorp.com/clips/CLIPS.html.
44. [Odell et al., 2001] Odell, J., Parunak, V., and Bauer, B. (2001). Representing agent interaction protocols in UML. In Ciancarini, P. and Wooldridge, M., editors, Agent-oriented software engineering. Proceedings of the First International Workshop (AOSE-2000), volume 1957 of LANI, pages 121-140. Springer-Verlag.
45. [O'Malley and DeLoach, 2001] O'Malley, S. and DeLoach, S. (2001). Determining when to use an agent-oriented software engineering paradigm. In Wooldridge, M., Weiß, G., and Ciancarini, P., editors, Agent-Oriented Software Engineering 11, volume 2222 of LNCS, pages 188-205, 2nd International Workshop, AOSE 2001, Montreal, Canada. Springer Verlag.
46. [OMG, 1999] OMG (1999). Mobile Agent System Interoperability Facility (MASIF). http: //www.fokus.gmd.de/research/cc/ecco/masif.
47. [Parunak and Odell, 2002] Parunak, H. V. D. and Odell, J. (2002). Represening social structures in UML. In Wooldridge, M., Weiß, G., and Cianciarini, P., editors, Agent-Oriented Software Engineering II: Second International Workshop, volume 2222 of LNCS, pages 17-31. Springer-Verlag.
48. [Pavón and Gómez-Sanz, 2003] Pavón, J. and Gómez-Sanz, J. (2003). Agent oriented software engineering with INGENIAS. In V. Marík and J. Müller and M. Pechoucek, editor, Multi-Agent Systems and Applications III, volume 2691 of LNCS, pages 394-403. 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2003), Springer Verlag.
49. [Penczek and Lomuscio, 2003] Penczek, W. and Lomuscio, A. (2003). Verifying epistemic properties of multi-agent systems via bounded model checking. In Proc. of the second international joint conference on Autonomous agents and multiagent systems, pages 209-216. ACM Press.
50. [Picard et al., 2002] Picard, G., Bernon, C., Gleizes, M., and Peyruqueou, S. (2002). ADELFE a methodology for adaptive multi-agent systems engineering. In Petta, P., Tolksdorf, R., and Zambonelli, F., editors, Engineering Societies in the Agents World III: Third International Workshop (ESAW 2002), number 2577 in LNCS, pages 156-169. Springer Verlag.
51. [Rao, 1996] Rao, A. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In van der Velde, W. and Perram, J., editors, Agents Breaking Away: Proc. of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-96), volume 1038 of LNAI, pages 42-55. Springer-Verlag.
52. [Rao and Georgeff, 1991] Rao, A. and Georgeff, M. (1991). Modeling rational agents within a BDI-architecture. In Allen, J., Fikes, R., and Sandewall, E., editors, Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pages 473-484. Morgan Kaufmann publishers Inc.
53. [Ricordel and Demazeau, 2002] Ricordel, P. and Demazeau, Y. (2002). Volcano, a vowels-oriented multi-agent platform. In From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS 2001), volume 2296 of Lecture Notes in Computer Science, pages 253-262. Springer.
54. [Ricordel and Demazeau, 2000] Ricordel, P.-M. and Demazeau, Y. (2000). From analysis to deployment: A multi-agent platform survey. In Working Notes of the First International Workshop on Engineering Societies in the Agents' World (ESAW-00), pages 93-105.
55. [Schreiber et al., 1994] Schreiber, A., Wielinga, J., Akkermans, J., and de Velde, W. V. (1994). CommonKADS: A comprehensive methodology for KBS development. Technical report, University of Amsterdam, Netherlands Energy Research Foundation ECN and Free University of Brussels.
56. [Shapiro et al., 2002] Shapiro, S., Lespérance, Y., and Levesque, H. J. (2002). The cognitive agents specification language and verification environment for multiagent systems. In Proc. of the first international joint conference on Autonomous agents and multiagent systems, pages 19-26. ACM Press.
57. [Shehory and Sturm, 2001] Shehory, O. and Sturm, A. (2001). Evaluation of modeling techniques for agent-based systems. In Proc. of the fifth international conference on Autonomous Agents. ACM Press.
58. [University of Waikato, 2004] University of Waikato (2004). WEKA 3. http://www.cs. waikato.ac.nz/ml/weka/.
59. [Wooldridge and Ciancarini, 2000] Wooldridge, M. and Ciancarini, P. (2000). Agent-Oriented Software Engineering: The State of the Art. In Ciancarini, P. and Wooldridge, M., editors, First International Workshop on Agent-Oriented Software Engineering, volume 1957, pages 1-28. Springer-Verlag, Berlin.
60. [Wooldridge et al., 2000] Wooldridge, M., Jennings, N., and Kinny, D. (2000). The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3:285-312.
61. [X.900, 1995] X.900 (1995). ISCVIEC IS 10746-x ITU-T Rec. X90x, ODP Reference Model Part x.
62. [Yu, 1997] Yu, E. K. (1997). Towards modelling and reasoning support for early-phase requirements engineering. In Proc. of 3rd International Symposium on Requirements Engineering, pages 226-235. IEEE.
63. [Zambonelli et al., 2002] Zambonelli, F., Bergenti, F., and Dimarzo, G. (2002). Methodologies and software engineering for agent systems. AgentLink News, 9:23-25.
64. [Zambonelli and Parunak, 2002] Zambonelli, F. and Parunak, H. V. D. (2002). Signs of a revolution in computer science and software engineering (esaw 2002). In 3rd International Workshop on Engineering Societies in the Agents' World, volume LNCS 2577, pages 13-28. Springer Verlag.
65. [ZEUS, 1999] ZEUS (1999). http://www.labs.bt.com/projects/agents/zeus/ index.htm.