Skip to main content
SpringerLink
Log in

Using Semantic Causality Graphs to Validate MAS Models

  • Chapter
Innovations in Hybrid Intelligent Systems

Part of the book series: Advances in Soft Computing ((AINSC,volume 44))

Abstract

Multi-agent systems methodologies define tasks and tools covering all the development cycle. Modelling and implementation activities are well supported and experimented. However, there has been few effort invested in debugging and validation techniques for MAS compared to modelling and implementation stages. This paper addresses the lack of tools to debug and validate a MAS. We propose a visual tool to debug and validate some multi-agent system specification, capturing causality among messages sent by agents and showing semantic information related to interaction protocols used by agents.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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.

References

  1. S. Ilarri, J.L. Serrano, E. Mena, and R. Trillo. 3D monitoring of distributed multiagent systems. In International Conference on Web Information Systems and Technologies (WEBIST 07), Barcelona (Spain), pages 439_442. INSTICC Press, ISBN 978-972-8865-77-1, March 2007.

    Google Scholar 

  2. Juan M. Hernansaez Juan A. Botia and Antonio F. Gomez-Skarmeta. On the application of clustering techniques to support debugging large-scale multi-agent systems. In Programming Multi-Agent Systems Workshop at the AAMAS, Hakodate, Japan, 2006.

    Google Scholar 

  3. D. N. Lam and K. S. Barber. Comprehending agent software. In AAMAS’ 05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pages 586_593, New York, NY, USA, 2005. ACM Press.

    Google Scholar 

  4. Divine T. Ndumu, Hyacinth S. Nwana, Lyndon C. Lee, and Jaron C. Collis. Visualising and debugging distributed multi-agent systems. In ACM Press, editor, AGENTS’ 99: Proceedings of the third annual conference on Autonomous Agents, pages 326_333, 1999.

    Google Scholar 

  5. J. Pavon, J. J. Gomez-Sanz, and R. Fuentes. Agent-Oriented Methodologies, chapter The INGENIAS Methodology and Tools, pages 236–276. Idea Group Publishing, 2005.

    Google Scholar 

  6. Guillermo Vigueras and Juan A. Botia. Tracking causality by visualization of multiagent interactions using causality graphs. In Programming Multi-Agent Systems Workshop at the AAMAS (to appear), Honolulu, Hawai, 2007.

    Google Scholar 

  7. Bordini, R. H.; Dastani, M.; Dix, J. & Fallah-Seghrouchni, A. E. (ed.) Multi-Agent Programming: Languages, Platforms and Applications Multi-Agent Programming, Springer, 2005, 15

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Facultad de Informática, Universidad de Murcia, Spain

    Guillermo Vigueras, Jorge J. Gómez, Juan A. Botía & Juan Pavón

Authors
  1. Guillermo Vigueras
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jorge J. Gómez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Juan A. Botía
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Juan Pavón
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Escuela Politécnica Superior Campus Vena, Edifico C, Universidad de Burgos, C/Francisco de Vitoria s/n, 09006, Burgos, Spain

    Emilio Corchado

  2. Departamento de Informática y Automática Facultad de Ciencias, Universidad de Salamanca, Plaza de la Merced S/N, 37008, Salamanca, Spain

    Juan M. Corchado

  3. Centre for Quantifiable Quality of Service in Communication Systems (Q2S) Centre of Excellence, Norwegian University of Science and Technology, O.S. Bragstads plass 2E, 7491, Trondheim, Norway

    Ajith Abraham

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Vigueras, G., Gómez, J.J., Botía, J.A., Pavón, J. (2007). Using Semantic Causality Graphs to Validate MAS Models. In: Corchado, E., Corchado, J.M., Abraham, A. (eds) Innovations in Hybrid Intelligent Systems. Advances in Soft Computing, vol 44. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74972-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-74972-1_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-74971-4

  • Online ISBN: 978-3-540-74972-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation