Modelling dynamic organization of biology-inspired multi-agent systems with communicating X-machines and population P systems

Lecture Notes in Computer Science

Volumn 3365, Issue , 2005, Pages 389-403

  Stamatopoulou, Ioanna ^a   Gheorghe, Marian ^b   Kefalas, Petros ^c  

^a South East European Research Center (SEERC)   (Greece)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

^c UNIVERSITY OF SHEFFIELD   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DIGITAL COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS;

BIOLOGICAL SYSTEMS; COMMUNICATING AGENTS; MEMBRANE COMPUTING; P SYSTEMS;

MULTI AGENT SYSTEMS;

EID: 24144458918     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31837-8_25     Document Type: Conference Paper

References (20)

1. Adleman, L.M. 1994. Molecular computation of solutions to combinatorial problems, Science, 226, 1021-1024.
2. Banatre, J.P., Le Metayer, D. 1990. The gamma model and its discipline of programming, Science of Computer Programming, 15, 55-77.
3. Bernardini, F., Gheorghe, M. 2004. Population P systems, Journal of Universal Computer Science, 10, 509-539.
4. Bianco, L., Fontana, F., Franco, G., Manca, V. 2004. P systems in bio systems. In Ciobanu, G., Pǎun, Gh., M.J. Pérez-Jiménez, eds. 2005. Application of Membrane Computing, submitted.
5. Dorigo, M., Maniezzo, V., Colorni, A. 1996. The Ant System: Optimisation by a colony of co-operating agents, IEEE Transactions on Systems, Man and Cybernetics, 26, 1-13.
6. Eilenberg, S. 1974. Automata, Languages and Machines, Academic Press.
7. 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.
8. Eleftherakis, G., Kefalas, P. 2000. Model checking safety critical systems specified as X-machines, Analele Universitatii Bucharest, Matematica-Informatica series, 49, 59-70.
9. Eleftherakis, G., Kefalas, P., Sotiriadou, A. 2003. Formal modelling and verification of reactive agents for intelligent control. In Proceedings of the 12th Intelligent System Applications to Power Systems Conference (ISAP).
10. Holcombe, M. 1988. X-machines as a basis for dynamic system configuration, Software Engineering Journal, 3, 69-76.
11. Holcombe, M. 2001. Computational models of cells and tissues: Machines, agents and fungal infection, Briefings in Bioinformatics, 2, 271-278.
12. Holcombe, M., Ipate, F. 1998. Correct Systems: Building a Business Process Solution, Springer-Verlag, London, 1998.
13. Ipate, F., Holcombe, M. 1997. An integration testing method that is proved to find all faults, International Journal of Computer Mathematics, 63, 159-178.
14. Jennings, N.R. 2000. On agent-based software engineering, Artificial Intelligence, 117, 277-296.
15. Kapeti, E., Kefalas, P. 2000. A design language and tool for X-machines specification, In Fotiadis, D.I., Spyropoulos, S.D., eds. 2000. Advances in Informatics, World Scientific Publishing Company, 134-145.
16. Kefalas, P., Eleftherakis, G., Holcombe, M., Gheorghe, M. 2003. Simulation and verification of P systems through communicating X-machines, BioSystems, 70, 135-148.
17. Kefalas, P., Eleftherakis, G., Holcombe, M., Stamatopoulou, I. 2004. Formal modelling of the dynamic behaviour of biology-inspired agent-based systems, In Gheorghe, M. ed. 2004. Molecular Computational Models: Unconventional Approaches, Idea Publishing, Inc.
18. Kefalas, P., Eleftherakis, G., Kehris, E. 2003. Communicating X-machines: A practical approach for formal and modular specification of large systems, Journal of Information and Software Technology, 45, 269-280.
19. Pǎun, G. 2000. Computing with membranes, Journal of Computer and System Sciences, 61, 1, 108-143.
20. Pǎun, Gh. 2002. Membrane Computing: An Introduction, Springer-Verlag, Berlin.