Nothing Special   »   [go: up one dir, main page]

Skip to main content

Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems

  • Conference paper
Formal Approaches to Agent-Based Systems (FAABS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3228))

Included in the following conference series:

  • 616 Accesses

Abstract

To support the development of flexible and reusable MAS, we have built a framework designated MAS-CF. MAS-CF is a component framework that implements a layered architecture based on contextual composition. Interaction rules, controlled by architecture mechanisms, ensure very low coupling, making possible the sharing of distributed services in a transparent, dynamic and independent way. These properties propitiate large-scale reuse, since organizational abstractions can be reused and propagated to all instances created from a framework. The objective is to reduce complexity and development time of multi-agent systems through the reuse of generic organizational abstractions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Adam, E., Mandiau, R.: Design of a MAS into a Human Organization: Application to an Information Multi-agent System. In: Giorgini, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2003. LNCS (LNAI), vol. 3030, pp. 1–15. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. Allen, R., Garlan, G.: Formalizing Architectural Connection. In: Proc. 16th International Conference on Software Engineering, Sorrento, Italy, pp. 71–80 (May 1997)

    Google Scholar 

  3. Amandi, A.A.: Programação de Agentes Orientada a Objetos. CPGCC UFRGS – Tese de Doutorado, Porto Alegre (1997)

    Google Scholar 

  4. Arnold, A.: Finite Transition Systems. PrenticeHall, Masson (1994)

    Google Scholar 

  5. Azarmi, N., Thompson, S.: ZEUS: A Toolkit for Building Multi-Agent Systems. In: Proceedings of Fifth Annual Embracing Complexity Conference, Paris (April 2000)

    Google Scholar 

  6. Baral, C., Lobo, J., Trajcevski, G.: Formalizing Workflows as Collections of Condition-Action Rules. Dept. of Computer Science, University of Texas at El Paso. El Paso, Texas, USA (1997)

    Google Scholar 

  7. Bellifemine, F., Poggi, A., Rimassa, G.: JADE: a FIPA2000 compliant agent development environment. Agents, 216–217 (2001)

    Google Scholar 

  8. Berners-Lee, T., Lassila, O., Hendler, J.: The Semantic Web Scientific American, http://www.scientificamerican.com/2001/0501issue/0501berners-lee.html

  9. Bond, A.H., et al.: Readings in Distributed Artificial Intelligence. Morgan and Kaufmann, San Mateo (1988)

    Google Scholar 

  10. Bosch, J., Molin, P., Mattsson, M., Bengtsson, P., Fayad, M.: Framework problem and experiences. In: Fayad, M. (ed.) Building Application Frameworks, pp. 55–82. John Willey and Sons, West Sussex (1999)

    Google Scholar 

  11. Breitman, K., Haendchen Filho, A., Haeusler, E.H., Staa, A.V.: Using Ontologies to Formalize Service Specification in Multi-Agent Systems. In: Proceedings Of Third NASA/ IEEE Workshop on Formal Approaches to Agent Based Systems, Los Alamitos, California USA. LNCS. Springer, Heidelberg (to appear)

    Google Scholar 

  12. Van Brussel, H., Wyns, J., Valckenaers, P., Bongaerts, L., Peeters, P.: Reference architecture for holonic manufacturing systems: PROSA. Computers in Industry 37(3), 255–274 (1998)

    Article  Google Scholar 

  13. Caminada, N.: Uma Aplicação Terapêutica de Realidade Virtual Utilizando Tecnologia Baseada em Agentes de Software. Projeto Final de Conclusão do curso de Graduação em Ciência da Computação. UniverCidade – Unidade Ipanema. Junho, Rio de Janeiro, Brasil (2004)

    Google Scholar 

  14. Connolly, D.: Extensible Markup Language (XML) (February 2000), Available online: http://www.w3.org.XML/

  15. Correa Filho, M.: A Arquitetura de Diálogos entre Agentes Cognitivos Distribuídos. COPPE da UFRJ. Tese de Doutorado (1994)

    Google Scholar 

  16. Dashofy, E.M., van der Hoek, A., Taylor, R.N.: A Highly-Extensible, XMLBased Architecture Description Language. In: Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA 2001), Amsterdam, The Netherlands, August 28-31 (2001)

    Google Scholar 

  17. Evans, R., (ed.): MESSAGE: Methodology for Engineering Systems of Software Agents. Deliverable 1 (July 2000)

    Google Scholar 

  18. Faulkner, S.: Towards an Agent Architectural Description Language for Information Systems. Technical Report, University of Louvain, Belgium (2001)

    Google Scholar 

  19. Fayad, M.E., et al.: Building Application Frameworks. John Wiley & Sons, Inc., New York (1999)

    Google Scholar 

  20. Fensel, D., Wahlster, W., Berners-Lee, T. (eds.): Spinning the Semantic Web. MIT Press, Cambridge Massachusetts (2003)

    MATH  Google Scholar 

  21. Finin, T.: KQML as an agent communication language. In: Proceedings of the Third International Conference on Information and Knowledge Management, CIKM 1994. ACM Press, New York (1994)

    Google Scholar 

  22. Reference FIPA-OS V2.1.0. Nortel Networks Corporation, Ontario, Canada (2000), FIPA-OS site, http://www.emorphia.com/home.htm

  23. Gamma, E., et al.: Design patterns – elements of reusable object-oriented software. Addison-Wesley Longman, Inc., Amsterdam (1995)

    Google Scholar 

  24. Garcia, A., Lucena, C.J.P., et al. (eds.): Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol. 2603. Springer, Heidelberg (2003)

    Google Scholar 

  25. Garcia, A., Torres, V.: Sistemas Multi-Agentes. In: Ruy Milidiú, C.L.E. (ed.): Papel Virtual, Rio de Janeiro (2001)

    Google Scholar 

  26. Garlan, D., Monroe, R.T., Wile, D.: ACME: An architecture description interchange language. In: Proc. CASCON 1997, Toronto, Canada, pp. 169–183 (November 1997)

    Google Scholar 

  27. Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition 5(2), 21–66 (1998)

    Google Scholar 

  28. Griss, M.L., Kessler, R.R.: Achieving the Promise of Reuse with Agent Component. In: Garcia, A.F., de Lucena, C.J.P., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol. 2603. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  29. Haendchen Filho, A., van Staa, A., Lucena, C.J.P.: A Component-Based Model for Building Reliable Multi-Agent Systems. In: Proceedings of 28th SEW - NASA/IEEE Software Engineering Workshop, Greenbelt, MD, pp. 41–50. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  30. Holvoet, T., Steegmans, E.: Application-Specific Reuse of Agen Roles. In: Garcia, A.F., de Lucena, C.J.P., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol. 2603. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  31. Kendall, E., et al.: A Framework for Agent Systems. In: Fayadd, M., et al. (eds.) Implementing Applications Frameworks – Object-Oriented Framewoks at Work, John Wiley & Sons, Chichester (1999)

    Google Scholar 

  32. Kotak, D., et al.: Agent-based holonic design and operations environment for distributed manufacturing. Computer in Industry 52(2), 95–108 (2003)

    Article  Google Scholar 

  33. Kwangyeol, R., et al.: Agent-Based Fractal Architecture and Modelling for Developing Distributed Manufacturing Systems. International Journal of Production Research 42(17), 4233–4255 (2003)

    Google Scholar 

  34. Larman, C.: Applying UML and Patterns. Prentice Hall PTR, New Jersey (1997)

    Google Scholar 

  35. Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures. Presented at the 1st Working IFIP Conference on Software Architecture (WICSA1), San Antonio, TX, USA, February 22-24 (1999)

    Google Scholar 

  36. Milner, R.: Lectures on a Calculus for Communicating Systems. In: Brookes, S.D., Winskel, G., Roscoe, A.W. (eds.) Seminar on Concurrency, vol. 197. Springer, Heidelberg (1985)

    Chapter  Google Scholar 

  37. Montesco, C.A.E., et al.: UCL – Universal Communication Language. Universidade de São Paulo, Instituto de Ciências Matemáticas e da Computação. Technical Report, São Paulo, Brasil (2002)

    Google Scholar 

  38. Noriega, P.: Agent-mediated Auctions: THE Fiskmarked Metaphor. PHD Thesis. Universitat Autonoma de Barcelona, Barcelona (1997)

    Google Scholar 

  39. Object Management Group. Agent Platform Special Interest Group. Agent Technology – Green Paper, version 1.0 (September 2000)

    Google Scholar 

  40. Plasil, F., et al.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering 28(11) (November 2002)

    Google Scholar 

  41. Pree, W.: Hot-spot-driven development. In: Fayad, M., Johnson, R., Schmidt, D. (eds.) Building Application Frameworks: Object-Oriented Foundations of Framework Design. John Willey & Sons, West Sussex (1999)

    Google Scholar 

  42. Sodhi, J., et al.: Software Reuse - Domain Analysis and Design Process, p. 344. McGraw-Hill, New York (1998)

    Google Scholar 

  43. Srinivasan, P.: An Introduction to Microsoft .NET Remoting Framework. Microsoft Corporation (July 2001)

    Google Scholar 

  44. Sycara, K.: In-Context Information Management through Adaptative Collaboration of Intelligent Agents. In: Klusch, M. (ed.) Intelligent Information Agents. Springer, Berlin (1999)

    Google Scholar 

  45. Sycara, K., et al.: The RETSINA MAS, a Case Study. In: Garcia, A.F., de Lucena, C.J.P., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software Engineering for Large-Scale Multi-Agent Systems, vol. 2603, pp. 232–250. Springer, Germany (2003)

    Chapter  Google Scholar 

  46. Szyperski, C.: Component Software – Beyond Object-Oriented Programming. Addison-Wesley and ACM Press (2000)

    Google Scholar 

  47. Todd, N., Szolkowski, M.: Java Server Pages. Elsevier Ed., Amsterdam (2003)

    Google Scholar 

  48. Tracz, W.: Domain-Specific Software Architecture (DSSA) Frequently Asked Questions (FAQ). ACM Software Engineering Notes 19(2), 52–56 (1994)

    Article  Google Scholar 

  49. Vazquez, J.: The HARMONIA framework: the role of norms and electronic institutions in multi-agent systems applied to complex domains. Technical University of Catalonia, Barcelona, Spain. IOS Press, Amsterdam (2003) ISSN 0921-7126

    Google Scholar 

  50. Vitaglione, G., Quarta, F., Cortese, E.: Scalability and Performance of JADE Message Transport System. In: Proceedings of AAMAS Workshop on AgentCities, Bologna, July 16 (2002)

    Google Scholar 

  51. Zambonelli, F., Jennings, N.R., Wooldridge, M.J.: Organizational Abstractions for the Analysis and Design of Multi-agent Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 235–251. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  52. Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. In: Proceedings of 3rd International Conference on Autonomous Agents, Seatle, WA (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Filho, A.H., Caminada, N., Haeusler, E.H., von Staa, A. (2004). Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds) Formal Approaches to Agent-Based Systems. FAABS 2004. Lecture Notes in Computer Science(), vol 3228. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30960-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30960-4_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24422-6

  • Online ISBN: 978-3-540-30960-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics