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
Transforming State-Based Models to P Systems Models in Practice
Membrane Computing
Transforming communicating X-machines into P systems
Natural Computing: an international journal
OPERASCC: an instance of a formal framework for MAS modeling based on population P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Membrane computing as a modeling framework: cellular systems case studies
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Checking experiments for stream X-machines
Theoretical Computer Science
Towards modelling of reactive, goal-oriented and hybrid intelligent agents using P systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
P systems and the modeling of biochemical oscillations
WMC'05 Proceedings of the 6th international conference on Membrane Computing
A metabolic approach to protocol resilience
WAC'04 Proceedings of the First international IFIP conference on Autonomic Communication
Hi-index | 0.00 |
Dynamic organization of multi-agent systems can be inspired by the way biological systems adapt to the evolution of their components. In this paper, we investigate how multi-agent systems can be formally modelled as well as how their configurations can be altered, thus affecting the communication between agents. We use two different formal methods, communicating X-machines and population P systems with active membranes, in order to model the case of flocking agents. Each method possesses different appealing characteristics which are examined through the modelling process.