Abstract
We present an automatic practical transformation of Communicating X-machines to Population P Systems. The resulting compiler is able to take as input a Communicating X-machine model written in an appropriately designed language (XMDL) and produce a Population P System in another notation (PPSDL). The latter contains only transformation and communication rules. However, the user can further enhance the models with more rules that deal with the reconfiguration of structure of the network of cells. XMDL, PPSDL and their accompanied compilers and animators are briefly presented. The principles of transformations and the transformation templates of the compiler are discussed. We use an example model of a biological system, namely an ant colony, to demonstrate the usefulness of this approach.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bernardini, F., Gheorghe, M.: Population P systems. J. Universal Computer Sci. 10, 509–539 (2004)
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)
Gheorghe, M., Stamatopoulou, I., Holcombe, M., Kefalas, P.: Modelling dynamically organised colonies of bio-entities. In: Banâtre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 207–224. Springer, Heidelberg (2005)
Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, Heidelberg (1998)
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)
Kefalas, P.: XMDL User Manual. CITY College, Thessaloniki, Greece (2000)
Kefalas, P.: Formal modelling of reactive agents as an aggregation of simple behaviours. In: Vlahavas, I.P., Spyropoulos, C.D. (eds.) SETN 2002. LNCS (LNAI), vol. 2308, pp. 461–472. Springer, Heidelberg (2002)
Kefalas, P., Eleftherakis, G., Kehris, E.: Modular modelling of large-scale systems using communicating X-machines. In: Manolopoulos, Y., Evripidou, S. (eds.) Proc. 8th Panhellenic Conference in Informatics, pp. 20–29. Livanis Publishing Company (2001)
Kefalas, P., Eleftherakis, G., Sotiriadou, A.: Developing tools for formal methods. In: Proc. 9th Panhellenic Conference in Informatics, pp. 625–639 (2003)
Kefalas, P., Stamatopoulou, I., Gheorghe, M.: Principles of transforming communicating X-machines to population P systems. In: Vaszil, G. (ed.) Proc. Intern. Workshop on Automata for Cellular and Molecular Computing (ACMC 2007), pp. 76–89 (2007)
Păun, G.: Computing with membranes. J. Computer and System Sci. 61, 108–143 (2000)
Stamatopoulou, I., Gheorghe, M., Kefalas, P.: Modelling dynamic organization of biology-inspired multi-agent systems with communicating X-machines and population P systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 389–403. Springer, Heidelberg (2005)
Stamatopoulou, I., Kefalas, P., Eleftherakis, G., Gheorghe, M.: A modelling language and tool for population P systems. In: Bozanis, P., Houstis, E.N. (eds.) PCI 2005. LNCS, vol. 3746. Springer, Heidelberg (2005)
Stamatopoulou, I., Kefalas, P., Gheorghe, M.: OPERAS: a formal framework for multi-agent systems and its application to swarm-based systems. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G. (eds.) ESAW 2007. LNCS, vol. 4995, pp. 208–223. Springer, Heidelberg (2007)
The P Systems webpage, http://ppage.psystems.eu/index.php/Software
Thomson, C., Holcombe, M.: Using a formal method to model software design in XP projects. In: Eleftherakis, G. (ed.) Proc. 2nd South-East European Workshop on Formal Methods, pp. 74–88 (2005)
Transforming state-based models to P Systems models in practice. Support documentation and demos, www.city.academic.gr/csd/kefalas/XMDLtoPPSDL/index.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kefalas, P., Stamatopoulou, I., Eleftherakis, G., Gheorghe, M. (2009). Transforming State-Based Models to P Systems Models in Practice. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2008. Lecture Notes in Computer Science, vol 5391. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-95885-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-95885-7_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-95884-0
Online ISBN: 978-3-540-95885-7
eBook Packages: Computer ScienceComputer Science (R0)