OPERAS for social insects: Formal modelling and prototype simulation

I. Stamatopoulou; I. Sakellariou; P. Kefalas; G. Eleftherakis

OPERAS for social insects: Formal modelling and prototype simulation

I. Stamatopoulou
, I. Sakellariou
, P. Kefalas
, G. Eleftherakis

Penn State Brandywine

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

Abstract

Social insect colonies present an interesting problem for formal modelling due to characteristics such as self-organisation and dynamic structure. In this paper, we present a formal model of a colony of Pharaoh ants using OPERASXP , which combines two different formal methods, communicating X- machines and population P systems as well as a framework that leads to a rapid simulation prototype of such multi-agent systems, based on their formal models.

Original language	English (US)
Pages (from-to)	267-280
Number of pages	14
Journal	Romanian Journal of Information Science and Technology
Volume	11
Issue number	3
State	Published - 2008

All Science Journal Classification (ASJC) codes

General Computer Science

Cite this

@article{96568af8168c43cd8a24b3378be9147b,

title = "OPERAS for social insects: Formal modelling and prototype simulation",

abstract = "Social insect colonies present an interesting problem for formal modelling due to characteristics such as self-organisation and dynamic structure. In this paper, we present a formal model of a colony of Pharaoh ants using OPERASXP , which combines two different formal methods, communicating X- machines and population P systems as well as a framework that leads to a rapid simulation prototype of such multi-agent systems, based on their formal models.",

author = "I. Stamatopoulou and I. Sakellariou and P. Kefalas and G. Eleftherakis",

year = "2008",

language = "English (US)",

volume = "11",

pages = "267--280",

journal = "Romanian Journal of Information Science and Technology",

issn = "1453-8245",

publisher = "Publishing House of the Romanian Academy",

number = "3",

}

TY - JOUR

T1 - OPERAS for social insects

T2 - Formal modelling and prototype simulation

AU - Stamatopoulou, I.

AU - Sakellariou, I.

AU - Kefalas, P.

AU - Eleftherakis, G.

PY - 2008

Y1 - 2008

N2 - Social insect colonies present an interesting problem for formal modelling due to characteristics such as self-organisation and dynamic structure. In this paper, we present a formal model of a colony of Pharaoh ants using OPERASXP , which combines two different formal methods, communicating X- machines and population P systems as well as a framework that leads to a rapid simulation prototype of such multi-agent systems, based on their formal models.

AB - Social insect colonies present an interesting problem for formal modelling due to characteristics such as self-organisation and dynamic structure. In this paper, we present a formal model of a colony of Pharaoh ants using OPERASXP , which combines two different formal methods, communicating X- machines and population P systems as well as a framework that leads to a rapid simulation prototype of such multi-agent systems, based on their formal models.

UR - https://www.scopus.com/pages/publications/73849125727

UR - https://www.scopus.com/pages/publications/73849125727#tab=citedBy

M3 - Article

AN - SCOPUS:73849125727

SN - 1453-8245

VL - 11

SP - 267

EP - 280

JO - Romanian Journal of Information Science and Technology

JF - Romanian Journal of Information Science and Technology

IS - 3

ER -

OPERAS for social insects: Formal modelling and prototype simulation

Abstract

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this