Specification of Reconfigurable MAS: A Hybrid Formal Approach | SpringerLink
Skip to main content
Springer Nature Link
Log in

Specification of Reconfigurable MAS: A Hybrid Formal Approach

  • Conference paper
Advances in Artificial Intelligence (SETN 2006)

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

Included in the following conference series:

  • 1806 Accesses

Abstract

In this short paper we suggest that Population P Systems and Communication X-machines may be combined into one hybrid formal method which facilitates the correct specification of reconfigurable multi-agent systems.

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

Access this chapter

Log in via an institution

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. Gheorghe, M. (ed.): Molecular Computational Models: Unconventional Approaches. Idea Publishing Inc. (2005)

    Google Scholar 

  2. Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61, 108–143 (2000); also circulated as a TUCS report since (1998)

    Google Scholar 

  3. Rouf, C., Vanderbilt, A., Truszkowski, W., Rash, J., Hinchey, M.: Verification of NASA emergent systems. In: Proceedings of the 9th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2004), pp. 231–238 (2004)

    Google Scholar 

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

    Article  Google Scholar 

  5. Kefalas, P., Stamatopoulou, I., Gheorghe, M.: A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS, vol. 3690, pp. 122–131. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. Bernandini, F., Gheorghe, M.: Population P Systems. Journal of Universal Computer Science 10, 509–539 (2004)

    MathSciNet  Google Scholar 

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

    Book  MATH  Google Scholar 

  8. Eleftherakis, G.: Formal Verification of X-machine Models: Towards Formal Development of Computer-based Systems. PhD thesis, Dept. of Computer Science, Univ. of Sheffield (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Ioanna Stamatopoulou

  2. Department of Computer Science, City College, Thessaloniki, Greece

    Petros Kefalas

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

    Marian Gheorghe

Authors
  1. Ioanna Stamatopoulou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Petros Kefalas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department of University of Crete, Greece

    Grigoris Antoniou

  2. Institute of Computer Science, Foundation for Research & Technology – Hellas (FORTH), Vassilika Vouton, P.O. Box 1385, 71110, Heraklion, Greece

    George Potamias

  3. Institute of Informatics and Telecommunications, NCSR "Demokritos", 15310 A., Paraskevi Attikis, Greece

    Costas Spyropoulos

  4. Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110, Heraklion, Greece

    Dimitris Plexousakis

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stamatopoulou, I., Kefalas, P., Gheorghe, M. (2006). Specification of Reconfigurable MAS: A Hybrid Formal Approach. In: Antoniou, G., Potamias, G., Spyropoulos, C., Plexousakis, D. (eds) Advances in Artificial Intelligence. SETN 2006. Lecture Notes in Computer Science(), vol 3955. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11752912_76

Download citation

  • DOI: https://doi.org/10.1007/11752912_76

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34117-8

  • Online ISBN: 978-3-540-34118-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation