Journal of Computer and System Sciences
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Modelling dynamically organised colonies of bio-entities
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Formal verification and testing based on p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
| Hi-index | 0.00 |
We present an automatic practical transformation of Communicating X-machines to Population P Systems. The resulting compiler is able to take as input a Communicating X-machine model written in an appropriately designed language (XMDL) and produce a Population P System in another notation (PPSDL). The latter contains only transformation and communication rules. However, the user can further enhance the models with more rules that deal with the reconfiguration of structure of the network of cells. XMDL, PPSDL and their accompanied compilers and animators are briefly presented. The principles of transformations and the transformation templates of the compiler are discussed. We use an example model of a biological system, namely an ant colony, to demonstrate the usefulness of this approach.