TY - GEN
T1 - Formal modelling of a bio-inspired paradigm capable of exhibiting emergence
AU - Rousis, Konstantinos
AU - Eleftherakis, George
AU - Paunovski, Ognen
AU - Cowling, Anthony J.
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84867340340&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84867340340&partnerID=8YFLogxK
U2 - 10.1145/2371316.2371360
DO - 10.1145/2371316.2371360
M3 - Conference contribution
AN - SCOPUS:84867340340
SN - 9781450312400
T3 - ACM International Conference Proceeding Series
SP - 223
EP - 228
BT - 5th Balkan Conference in Informatics, BCI 2012 - Proceedings
T2 - 5th Balkan Conference in Informatics, BCI 2012
Y2 - 16 September 2012 through 20 September 2012
ER -