Skip to main content
SpringerLink
Log in

Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems

  • Conference paper
Membrane Computing (WMC 2004)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3365))

Included in the following conference series:

Abstract

Dynamic organization of multi-agent systems can be inspired by the way biological systems adapt to the evolution of their components. In this paper, we investigate how multi-agent systems can be formally modelled as well as how their configurations can be altered, thus affecting the communication between agents. We use two different formal methods, communicating X-machines and population P systems with active membranes, in order to model the case of flocking agents. Each method possesses different appealing characteristics which are examined through the modelling process.

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 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.

References

  1. Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science 226, 1021–1024 (1994)

    Article  Google Scholar 

  2. Banatre, J.P., Le Metayer, D.: The gamma model and its discipline of programming. Science of Computer Programming 15, 55–77 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bernardini, F., Gheorghe, M.: Population P systems. Journal of Universal Computer Science 10, 509–539 (2004)

    MathSciNet  Google Scholar 

  4. Bianco, L., Fontana, F., Franco, G., Manca, V.: P systems in bio systems. In: Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.) Application of Membrane Computing (2004) (2005) (submitted)

    Google Scholar 

  5. Dorigo, M., Maniezzo, V., Colorni, A.: The Ant System: Optimisation by a colony of co-operating agents. IEEE Transactions on Systems, Man and Cybernetics 26, 1–13 (1996)

    Google Scholar 

  6. Eilenberg, S.: Automata, Languages and Machines. Academic Press, London (1974)

    MATH  Google Scholar 

  7. Eleftherakis, G.: Formal Verification of X-Machine Models: Towards Formal Development of Computer-based Systems, PhD Thesis, Department of Computer Science, University of Sheffield (2003)

    Google Scholar 

  8. Eleftherakis, G., Kefalas, P.: Model checking safety critical systems specified as X-machines. Analele Universitatii Bucharest, Matematica-Informatica series 49, 59–70 (2000)

    MathSciNet  Google Scholar 

  9. Eleftherakis, G., Kefalas, P., Sotiriadou, A.: Formal modelling and verification of reactive agents for intelligent control. In: Proceedings of the 12th Intelligent System Applications to Power Systems Conference, ISAP (2003)

    Google Scholar 

  10. Holcombe, M.: X-machines as a basis for dynamic system configuration. Software Engineering Journal 3, 69–76 (1988)

    Article  Google Scholar 

  11. Holcombe, M.: Computational models of cells and tissues: Machines, agents and fungal infection. Briefings in Bioinformatics 2, 271–278 (2001)

    Article  Google Scholar 

  12. Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, London (1998)

    MATH  Google Scholar 

  13. Ipate, F., Holcombe, M.: An integration testing method that is proved to find all faults. International Journal of Computer Mathematics 63, 159–178 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  14. Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117, 277–296 (2000)

    Article  MATH  Google Scholar 

  15. Kapeti, E., Kefalas, P.: A design language and tool for X-machines specification. In: Fotiadis, D.I., Spyropoulos, S.D. (eds.) Advances in Informatics, pp. 134–145. World Scientific Publishing Company, Singapore (2000)

    Google Scholar 

  16. Kefalas, P., Eleftherakis, G., Holcombe, M., Gheorghe, M.: Simulation and verification of P systems through communicating X-machines. BioSystems 70, 135–148 (2003)

    Article  Google Scholar 

  17. Kefalas, P., Eleftherakis, G., Holcombe, M., Stamatopoulou, I.: Formal modelling of the dynamic behaviour of biology-inspired agent-based systems. In: Gheorghe, M. (ed.) Molecular Computational Models: Unconventional Approaches. Idea Publishing, Inc., USA (2004)

    Google Scholar 

  18. Kefalas, P., Eleftherakis, G., Kehris, E.: Communicating X-machines: A practical approach for formal and modular specification of large systems. Journal of Information and Software Technology 45, 269–280 (2003)

    Article  Google Scholar 

  19. Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  20. Păun, G.: Membrane Computing: An Introduction. Springer, Berlin (2002)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. South-East European Research Center, Thessaloniki, Greece

    Ioanna Stamatopoulou

  2. Department of Computer Science, University of Sheffield, UK

    Marian Gheorghe

  3. Department of Computer Science, CITY College, Thessaloniki, Greece

    Petros Kefalas

Authors
  1. Ioanna Stamatopoulou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Petros Kefalas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Complex Systems and Artificial Intelligence Research Center, University of Milan–Bicocca, Italy

    Giancarlo Mauri

  2. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, BucureÅŸti, Romania

    Gheorghe Păun

  3. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Avda. Reina Mercedes, 41012, Sevilla, Spain

    Mario J. Pérez-Jiménez

  4. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  5. Turku Centre for Computer Science (TUCS), Leminkäisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stamatopoulou, I., Gheorghe, M., Kefalas, P. (2005). Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2004. Lecture Notes in Computer Science, vol 3365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31837-8_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31837-8_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25080-7

  • Online ISBN: 978-3-540-31837-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation