Specification of Reconfigurable MAS: A Hybrid Formal Approach

  • Ioanna Stamatopoulou
  • Petros Kefalas
  • Marian Gheorghe
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3955)


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.


Formal Method Division Rule Communication Rule Model Check Technique Complex Computer System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gheorghe, M. (ed.): Molecular Computational Models: Unconventional Approaches. Idea Publishing Inc. (2005)Google Scholar
  2. 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. 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. 4.
    Holcombe, M.: X-machines as a basis for dynamic system configuration. Software Engineering Journal 3, 69–76 (1988)CrossRefGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. 6.
    Bernandini, F., Gheorghe, M.: Population P Systems. Journal of Universal Computer Science 10, 509–539 (2004)MathSciNetGoogle Scholar
  7. 7.
    Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, London (1998)CrossRefMATHGoogle Scholar
  8. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ioanna Stamatopoulou
    • 1
  • Petros Kefalas
    • 2
  • Marian Gheorghe
    • 3
  1. 1.South-East European Research CentreThessalonikiGreece
  2. 2.Department of Computer ScienceCity CollegeThessalonikiGreece
  3. 3.Department of Computer ScienceUniversity of SheffieldUK

Personalised recommendations