Formal modelling of a bio-inspired paradigm capable of exhibiting emergence

Authors:
Konstantinos Rousis;George Eleftherakis;Ognen Paunovski;Anthony J. Cowling
Affiliations:
South-East European Research Centre (SEERC), Thessaloniki, Greece;The University of Sheffield, Thessaloniki, Greece;South-East European Research Centre (SEERC), Thessaloniki, Greece;University of Sheffield, Sheffield, UK
Venue:
Proceedings of the Fifth Balkan Conference in Informatics
Year:
2012

Citing 5
Cited 0

X-machines as a basis for dynamic system specification

Software Engineering Journal
Automata, Languages, and Machines

Automata, Languages, and Machines
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
Formal Verification of Generalised State Machines

PCI '08 Proceedings of the 2008 Panhellenic Conference on Informatics
Biologically Inspired Approaches to Networks: The Bio-Networking Architecture and the Molecular Communication

Bio-Inspired Computing and Communication

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Emergent Distributed Bio-Organization (EDBO) case study has demonstrated the potential of harnessing emergent properties in Artificial Distributed Systems (ADS). Introducing biologically inspired attributes and functions to the microscopic level (i.e. the biobots) has allowed for the emergence of global-level behaviours such as network scalability, availability and super-node formations. Experience gained during work with EDBO was further incorporated into a disciplined framework for harnessing emergence in ADS. In an attempt to increase confidence in this framework and the results gathered so far by EDBO simulations, this paper performs a feasibility study on formally modelling, documenting, and validating the EDBO case study. By using the X-machine formalism, this step further serves as a preliminary, transition, step for running EDBO on FLAME; an agent-based simulation platform built upon the theoretical foundation of X-machines.