Skip to main content
SpringerLink
Log in

Transforming communicating X-machines into P systems

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

Tissue P systems (tPS) represent a class of P systems in which cells are arranged in a graph rather than a hierarchical structure. On the other hand, communicating X-machines (XMs) are state-based machines, extended with a memory structure and transition functions instead of simple inputs, which communicate via message passing. One could use communicating XMs to create models built out of components in a rather intuitive way. There are investigations showing how various classes of P systems can be modelled as communicating XMs. In this paper, we define a set of principles to transform communicating XMs into tPS. We describe the rules that govern such transformations, present an example to demonstrate the feasibility of this approach and discuss ways to extend it to more general models, such as population P systems, which involve dynamic structures.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  • Bernardini F, Gheorghe M (2004) Population P systems. J Univers Comput Sci 10(5):509–539

    MathSciNet  Google Scholar 

  • Ciobanu G, Aman B (2007) On the relationship between membranes and ambients. BioSystems 91(3):515–530

    Article  Google Scholar 

  • Corne D, Frisco P (2007) Dynamics of HIV infection studied with cellular automata and conformon-P systems. BioSystems 91(3):531–544

    Article  Google Scholar 

  • Dwyer MB, Hatcliff J, Robby R, Pasareanu CS, Visser W (2007) Formal software analysis emerging trends in software model checking. In: Future of software engineering (FOSE’07), Washington, DC. IEEE Computer Society, pp 120–136

  • Eilenberg S (1974) Automata, languages and machines. Academic Press, London

  • Eleftherakis G (2003) Formal verification of X-machine models: towards formal development of computer-based systems. PhD thesis, Department of Computer Science, University of Sheffield

  • Eleftherakis G, Kefalas P (2008) Formal verification of generalised state machines. In: 12th Panhellenic conference in informatics (PCI’08), Samos Island, Greece, 28–30 August

  • Holcombe M, Ipate F (1998) Correct systems: building a business process solution. Springer, London

    MATH  Google Scholar 

  • Jackson D, Holcombe M, Stamatopoulou I, Sakellariou I, Eleftherakis G, Kefalas P, Gheorghe M (2005) Modelling self-organisation in ant colonies. In: Special session on systems self-assembly at the 7th international conference on artificial evolution (EA’05), Lille, France, 26–28 October

  • Kapeti E, Kefalas P (2000) A design language and tool for X-machines specification. In: Fotiadis DI, Spyropoulos SD (eds) Advances in informatics. World Scientific Publishing Company, Singapore, pp 134–145

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

    Article  Google Scholar 

  • Kefalas P, Eleftherakis G, Kehris E (2003b) Communicating X-machines: a practical approach for formal and modular specification of large systems. J Inf Softw Technol 45(5):269–280

    Article  Google Scholar 

  • Kefalas P, Holcombe M, Eleftherakis G, Gheorghe M (2003c) A formal method for the development of agent-based systems. In: Plekhanova V (ed) Intelligent agent software engineering. Idea Publishing Group Co., Miami, FL, pp 68–98

  • Kefalas P, Stamatopoulou I, Eleftherakis G, Gheorghe M (2008) Transforming state-based models to P systems models in practice. In: Membrane computing: 9th international workshop, Edinburgh, UK, pp 247–264

  • Klein J, Koutny M (2007) Synchrony and asynchrony in membrane systems. In: Hoogeboom HJ, Paun G, Rozenberg G, Salomaa A (eds) Membrane computing: 7th international workshop, Leiden, Netherlands. Lecture notes in computer science, vol 4361. Springer, pp 66–85

  • Păun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143, also circulated as a TUCS report since 1998.

    Google Scholar 

  • Păun G (2002) Membrane computing: an introduction. Springer, Berlin

    MATH  Google Scholar 

  • Stamatopoulou I, Gheorghe M, Kefalas P (2005a) Modelling dynamic configuration of biology-inspired multi-agent systems with communicating X-machines and population P systems. In: Mauri G, Păun G, Pérez-Jiménez MJ, Rozenberg G, Salomaa A (eds) Membrane computing: 5th international workshop, Milan, Italy. Lecture notes in computer science, vol 3365. Springer, pp 389–401

  • Stamatopoulou I, Kefalas P, Eleftherakis G, Gheorghe M (2005b) A modelling language and tool for population p Systems. In: Proceedings of the 10th Panhellenic conference in informatics (PCI’05), Volas, Greece, pp 142–152

  • Stamatopoulou I, Kefalas P, Gheorghe M (2007a) OPERAS for space: Formal modelling of autonomous spacecrafts. In: Papatheodorou T, Christodoulakis D, Karanikolas N (eds) Current trends in informatics, Proceedings of the 11th Panhellenic conference in Informatics (PCI’07), Patras, Greece, vol B, pp 69–78

  • Stamatopoulou I, Kefalas P, Gheorghe M (2007b) OPERAS CC : an instance of a formal framework for MAS modelling based on population P systems. In: Eleftherakis G, Kefalas P, Paun G (eds) Proceedings of the 8th workshop on membrane computing (WMC’07), Thessaloniki, South-East European Research Centre, pp 551–566

  • Stamatopoulou I, Sakellariou I, Kefalas P, Eleftherakis G (2008) OPERAS for social insects: formal modelling and prototype simulation. In: Gheorghe M, Ipate F (eds) Special issue of Romanian Journal of Information Science and Technology (ROMJIST) on Natural Computing—from biology to computer science and back to applications, vol 11, No. 3, pp 267–280

  • Thomson C, Holcombe M (2005) Using a formal method to model software design in XP projects. In: Eleftherakis G (ed) Proceedings of the 2nd south-east European workshop on formal methods, Ohrid, 18–19 November, South-East European Research Centre, pp 74–88

  • Wilensky U (1999) Netlogo. http://ccl.northwestern.edu/netlogo. Center for connected learning and computer-based modelling. Northwestern University, Evanston, IL

Download references

Acknowledgements

The authors would like to thank Prof. Mike Holcombe for his inspiring ideas on X-machines. His support and contribution encouraged our research motivation for more than a decade.

Author information

Authors and Affiliations

  1. Department of Computer Science, CITY College, 13 Tsimiski street, 54624, Thessaloniki, Greece

    Petros Kefalas, Ioanna Stamatopoulou & George Eleftherakis

  2. Department of Applied Informatics, University of Macedonia, 156 Egnatia street, 54006, Thessaloniki, Greece

    Ilias Sakellariou

Authors
  1. Petros Kefalas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ioanna Stamatopoulou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ilias Sakellariou
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. George Eleftherakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Petros Kefalas.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kefalas, P., Stamatopoulou, I., Sakellariou, I. et al. Transforming communicating X-machines into P systems. Nat Comput 8, 817–832 (2009). https://doi.org/10.1007/s11047-008-9103-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-008-9103-y

Keywords

Search

Navigation