Specification of reconfigurable MAS: a hybrid formal approach

Authors:
Ioanna Stamatopoulou;Petros Kefalas;Marian Gheorghe
Affiliations:
South-East European Research Centre, Thessaloniki, Greece;Department of Computer Science, City College, Thessaloniki, Greece;Department of Computer Science, University of Sheffield, UK
Venue:
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Year:
2006

Citing 4
Cited 1

X-machines as a basis for dynamic system specification

Software Engineering Journal
Computing with membranes

Journal of Computer and System Sciences
Verification of NASA Emergent Systems

ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour

CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications

OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems

Engineering Societies in the Agents World VIII

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this short paper we suggest that Population P Systems and Communication X-machines may be combined into one hybrid formal method which facilitates the correct specification of reconfigurable multi-agent systems.