Isidora Petreska, Petros Kefalas, Marian Gheorghe, I. Stamatopoulou


Starting with the notion of modelling biologically inspired agents, this paper focuses on their spatial characteristics. It will be demonstrated that one of the most prominent formalisms in modelling the behaviour of biological colonies, X-machines, cannot provide a neat and effective way to modelling spatial agents (i.e. agents distributed and move through a physical space). We introduce a X-machines variation that besides facilitating formal modelling, will provide grounds towards visual animation of these systems. This approach resulted into a novel progression, Spatial X-machines, without retracting the legacy characteristics of X-machines such as testing and verification strategies. Unlike other formalisms that go behind the concept of treating the agent’s behaviour as one uniform component, Spatial X-machines tend to draw a separation between different types of agent’s behaviour.


  1. Cardelli, L. and Gardner, P. (2010). Processes in space. In CiE'10, pages 78-87, Heidelberg. Springer-Verlag Berlin.
  2. Collier, N. T. and North, M. J. (2011). Repast SC++: A platform for large-scale agent-based modeling. LargeScale Computing Techniques for Complex System Simulations, Wiley. (In Press).
  3. Eleftherakis, G., Kefalas, P., and Sotiriadou, A. (2002). XmCTL: Extending temporal logic to facilitate formal verification of X-machines. pages 79-95, Analele Universitatii Bucharest. Matematica-Informatica.
  4. Holzmann, G. J. (1997). The model checker spin. IEEE IFans. on Software Engineering, pages 279-295.
  5. Ipate, F. and Holcombe, M. (1998). Specification and testing using generalised machines: a presentation and a case study. pages 61-81. Software Testing, Verification and Reliability.
  6. Kefalas, P. (2002). Formal modelling of reactive agents as an aggregation of simple behaviours. In Vlahavas, I. P. and Spyropoulos, C. D., editors, Proceedings of the 2nd Hellenic Conference on AI, SETN02, Lecture Notes in Artificial Intelligence 2308, pages 461-472. Springer-Verlag.
  7. Kefalas, P., Eleftherakis, G., and Kehris, E. (2003a). Communicating X-machines: A practical approach for formal and modular specification of large systems. Information and Software Technology, 45:269-280.
  8. Kefalas, P., Eleftherakis, G., and Sotiriadou, A. (2002). Developing tools for formal methods. In Proceedings of the 9th Panehellenic Conference in Informatics.
  9. Kefalas, P., Holcombe, M., Eleftherakis, G., and Gheorge, M. (2003b). A formal method for the development of agent based systems. In Plekhanova, V., editor, Intelligent Agent Software Engineering, pages 68-98. Idea Group Publishing Co.
  10. Kefalas, P. and Kapeti, E. (2000). A design language and tool for X-machines specification. In Fotiadis, D. I. and Nikolopoulos, S. D., editors, Advances in Informatics, pages 134-145, Singapore. World Scientific Publishing Company.
  11. M. Pogson, R. Smallwood, E. Q. and Holcombe, M. (2006). Formal agent-based modelling of intracellular chemical interactions. Biosystems, 85:37-45.
  12. McMillan, K. L. (1993). Symbolic Model Checking. Kluwer Academic Publishers, Englewood Cliffs, NJ.
  13. Michael, D. E., William, G. G., Yoshio, K., and Notkin, D. (1999). Dynamically discovering pointer-based program invariants. Technical Report UW-CSE-99-11- 02, University of Washington Department of Computer Science and Engineering, Seattle, WA. Revised March 17, 2000.
  14. M.Kwiatkowska, G.Norman, and D.Parker (2001). Prism: Probabilistic symbolic model checker. In Proc. PAPM/PROBMIV'01 Tools Session, pages 7-12.
  15. Petreska, I. (2011). Further material. seerc.org/petreska/further material.html.
  16. Petreska, I. and Kefalas, P. (2011). Population p systems with moving active cells. In Gheorghe, M., Pa?un, G., and Verlan, S., editors, Twelfth International Conference on Membrane Computing (CMC12), pages 421-432, Fontainebleau, France. Laboratoire d'Algorithmique Complexité et Logique of the University of Paris Est - Créteil Val de Marne.
  17. Petreska, I., Kefalas, P., and Gheorghe, M. (2011). A framework towards the verification of emergent properties in spatial multi-agent systems. In Ivanovi, M., Ganzha, M., Paprzycki, M., and Badica, C., editors, Proceedings of the Workshop on Applications of Software Agents, pages 37-44. Department of Mathematics and Informatics Faculty of Sciences, University of Novi Sad, Serbia.
  18. Pogson, M., Holcombe, M., Smallwood, R., and Qwarnstrom, E. (2008). Introducing spatial information into predictive NF-kB modelling - An agent-based approach. PLoS ONE, 3(6):e2367.
  19. R. Smallwood, M. H. and Walker, D. (2004). Development and validation of computational models of cellular interaction. Journal of Molecular Histology, 35:659- 665.
  20. Romero-Campero, F. J., Twycross, J., Camara, M., Bennett, M., Gheorghe, M., and Krasnogor, N. (2009). Modular assembly of cell systems biology models using P Systems. In International Journal of Foundations of Computer Science, pages 427-442.
  21. Stamatopoulou, I., Kefalas, P., and Gheorghe, M. (2007). Operas: A framework for the formal modelling of multi-agent systems and its application to swarmbased systems. In ESAW, pages 158-174, Berlin, Heidelberg. Springer-Verlag.
  22. Wilensky, U. (1997). NetLogo Segregation model. Center for Connected Learning and Computer-Based Modeling, Northwestern Univ., Evanston, IL. http:// ccl.northwestern.edu/netlogo/models/Segregation.
  23. Wilensky, U. (1999). NetLogo. Center for Connected Learning and Computer-Based Modeling, Northwestern Univ., Evanston, IL. http:// ccl.northwestern.edu/netlogo/.
  24. Y. Bdard, J. P. and Caron, C. (1992). Spatial data modeling: The Modul-R formalism and CASE technology. ISPRS Symposium. Washington, United-States.

Paper Citation

in Harvard Style

Petreska I., Kefalas P., Gheorghe M. and Stamatopoulou I. (2012). EXTENDING X-MACHINES TO SUPPORT REPRESENTATION OF SPATIAL 2-D AGENTS . In Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8425-96-6, pages 54-61. DOI: 10.5220/0003744600540061

in Bibtex Style

author={Isidora Petreska and Petros Kefalas and Marian Gheorghe and I. Stamatopoulou},
booktitle={Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},

in EndNote Style

JO - Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
SN - 978-989-8425-96-6
AU - Petreska I.
AU - Kefalas P.
AU - Gheorghe M.
AU - Stamatopoulou I.
PY - 2012
SP - 54
EP - 61
DO - 10.5220/0003744600540061