Information Technology Reference
In-Depth Information
Further work includes extending
sp
XMs in a way to support other spatial agent prop-
erties and more functions that will bring in more realistic modelling of the spatial con-
cept. Examples could also be created for simulation, testing and model checking of XM
and
sp
XM models. This can lead to a critical comparison of their differences and advan-
tages. Regarding the tool for automatic translation of an
sp
XM model into the NetLogo
platform, some improvements in the compilation process can be considered. Finally,
applying real-world case studies could greatly boost confidence on the proposed frame-
work.
References
1. Spivey, M.: The Z Notation: A Reference Manual. Prentice-Hall, Englewood Cliffs (1989)
2. Jones, C.B.: Systematic Software Development using VDM, 2nd edn. Prentice-Hall, Engle-
wood Cliffs (1990)
3. Holcombe, M.: X-machines as a basis for dynamic system specification. Software Engineer-
ing Journal, 69-76 (1988)
4. Reisig, W.: Petri nets: An introduction. EATCS Monographs on Theoretical Computer Sci-
ence. Springer, Berlin (1985)
5. Pageau, J., Bedard, Y., Caron, C.: Spatial data modeling: The Modul-R formalism and CASE
technology. In: ISPRS Symposium, Washington, United-States, August 1-14 (1992)
6. Cardelli, L., Gardner, P.: Processes in Space. In: Ferreira, F., L owe, B., Mayordomo, E.,
Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol. 6158, pp. 78-87. Springer, Heidelberg
(2010)
7. Romero-Campero, F.J., Twycross, J., Camara, M., Bennett, M., Gheorghe, M., Krasnogor,
N.: Modular assembly of cell systems biology models using P Systems. International Journal
of Foundations of Computer Science, 427-442 (2009)
8. Petreska, I., Kefalas, P.: Population p systems with moving active cells. In: Gheorghe,
M., Paun, G., Verlan, S. (eds.) Twelfth International Conference on Membrane Computing
(CMC12), pp. 421-432. Laboratoire d'Algorithmique Complexite et Logique of the Univer-
sity of Paris Est - Creteil Val de Marne, Fontainebleau (2011)
9. Pogson, M., Holcombe, M., Smallwood, R., Qwarnstrom, E.: Introducing spatial information
into predictive NF-kB modelling - An agent-based approach. PLoS ONE 3(6), e2367 (2008)
10. Kefalas, P., Eleftherakis, G., Sotiriadou, A.: Developing tools for formal methods. In: Pro-
ceedings of the 9th Panehellenic Conference in Informatics (2002)
11. Kefalas, P., Kapeti, E.: A design language and tool for X-machines specification. In: Fotiadis,
D.I., Nikolopoulos, S.D. (eds.) Advances in Informatics, pp. 134-145. World Scientific Pub-
lishing Company, Singapore (2000)
12. Kefalas, P., Holcombe, M., Eleftherakis, G., Gheorge, M.: A formal method for the develop-
ment of agent based systems. In: Plekhanova, V. (ed.) Intelligent Agent Software Engineer-
ing, pp. 68-98. Idea Group Publishing Co. (2003)
13. Kefalas, P., Eleftherakis, G., Kehris, E.: Communicating X-machines: A practical approach
for formal and modular specification of large systems. Information and Software Technol-
ogy 45, 269-280 (2003)
14. 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)
