A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour

Authors:
Petros Kefalas;Ioanna Stamatopoulou;Marian Gheorghe
Affiliations:
Department of Computer Science, CITY College, Thessaloniki, Greece;South-East European Research Centre, Thessaloniki, Greece;Department of Computer Science, University of Sheffield, UK
Venue:
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Year:
2005

Citing 11
Cited 3

X-machines as a basis for dynamic system specification

Software Engineering Journal
The gamma model and its discipline of programming

Science of Computer Programming
The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
A situated view of representation and control

Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Computing with membranes

Journal of Computer and System Sciences
Automata, Languages, and Machines

Automata, Languages, and Machines
Characterizing Correctness Properties of Parallel Programs Using Fixpoints

Proceedings of the 7th Colloquium on Automata, Languages and Programming
A Formal Specification of dMARS

ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Model Checking Algorithm for Multiagent Systems

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Reactive systems developing by formal specification transformations

DEXA '97 Proceedings of the 8th International Workshop on Database and Expert Systems Applications
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

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
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
Specification of reconfigurable MAS: a hybrid formal approach

SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-agent systems exhibit highly dynamic behaviour within dynamic environments. Modelling of individual agents within such systems demands considering both evolving data structures and the control over their internal changing states. In addition, modelling of the overall system implies modelling of the agents' configuration, including their ability to exchange messages as well as the ability to re-structure their formation over time. This paper presents a formal modelling framework based on Communicating X-machines, allowing the specification of multi-agent software systems with a dynamic structure and behaviour. A case study illustrates the proposed modelling approach.