X-machines as a basis for dynamic system specification
Software Engineering Journal
The gamma model and its discipline of programming
Science of Computer Programming
On agent-based software engineering
Artificial Intelligence
Journal of Computer and System Sciences
Automata, Languages, and Machines
Automata, Languages, and Machines
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Ant system: optimization by a colony of cooperating agents
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Enhancing NetLogo to Simulate BDI Communicating Agents
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Transforming State-Based Models to P Systems Models in Practice
Membrane Computing
Hi-index | 0.00 |
The dynamic nature of biological systems' structure, and the continuous evolution of their components require new modelling approaches. In this paper it will be investigated how these systems composed of many dynamic components can be formally modelled as well as how their configurations can be altered, thus affecting the communication between parts. We use two different formal methods, communicating X-machines and population P systems, both with dynamic structures. It will be shown that new modelling approaches are required in order to capture the complex and dynamic nature of these systems.