Big Red: A Development Environment for Bigraphs

Alexander John Faithfull; Gian David Perrone; Thomas Hildebrandt

Big Red: A Development Environment for Bigraphs

Alexander John Faithfull, Gian David Perrone, Thomas Hildebrandt

Programming Logic and Semantics

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Abstract

We present Big Red, a visual editor for bigraphs and bigraphical reactive systems, based upon Eclipse. The editor integrates with several existing bigraph tools to permit simulation and model-checking of bigraphical models. We give a brief introduction to the bigraphs formalism, and show how these concepts manifest within the tool using a small motivating example bigraphical model developed in Big Red.

Originalsprog	Engelsk
Tidsskrift	E A S S T Electronic Communications
Vol/bind	61
Antal sider	5
ISSN	1863-2122
Status	Udgivet - 28 sep. 2013
Begivenhed	The 4th International Workshop on Graph Computation Models: http://gcm2012.imag.fr/ - Universität Bremen, Bremen, Tyskland Varighed: 28 sep. 2012 → 29 sep. 2012 Konferencens nummer: 4th http://gcm2012.imag.fr/

Workshop

Workshop	The 4th International Workshop on Graph Computation Models
Nummer	4th
Lokation	Universität Bremen
Land/Område	Tyskland
By	Bremen
Periode	28/09/2012 → 29/09/2012
Internetadresse	http://gcm2012.imag.fr/

Emneord

bigraphs
editor
reactive systems

Adgang til dokumentet

http://gcm2012.imag.fr/

The 4th International Workshop on Graph Computation Models
Faithfull, A. (Taler)
28 sep. 2012
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

Citationsformater

@article{fb43489630204174aaa79c13d4821bf8,

title = "Big Red: A Development Environment for Bigraphs",

abstract = "We present Big Red, a visual editor for bigraphs and bigraphical reactive systems, based upon Eclipse. The editor integrates with several existing bigraph tools to permit simulation and model-checking of bigraphical models. We give a brief introduction to the bigraphs formalism, and show how these concepts manifest within the tool using a small motivating example bigraphical model developed in Big Red.",

keywords = "bigraphs, editor, reactive systems, bigraphs, editor, reactive systems",

author = "Faithfull, \{Alexander John\} and Perrone, \{Gian David\} and Thomas Hildebrandt",

note = "Ufuldst{\ae}ndig publiceringskanal, mangler publisher, journal, volume, ISBN, ... (jcg, 270313), ditto (jcg,11/08/13) bed en af forfatterne opdatere (26/8/13); The 4th International Workshop on Graph Computation Models : http://gcm2012.imag.fr/, GCM 2012 ; Conference date: 28-09-2012 Through 29-09-2012",

year = "2013",

month = sep,

day = "28",

language = "English",

volume = "61",

journal = "E A S S T Electronic Communications",

issn = "1863-2122",

publisher = "European Association of Software Science and Technology",

url = "http://gcm2012.imag.fr/",

}

TY - JOUR

T1 - Big Red: A Development Environment for Bigraphs

AU - Faithfull, Alexander John

AU - Perrone, Gian David

AU - Hildebrandt, Thomas

N1 - Conference code: 4th

PY - 2013/9/28

Y1 - 2013/9/28

N2 - We present Big Red, a visual editor for bigraphs and bigraphical reactive systems, based upon Eclipse. The editor integrates with several existing bigraph tools to permit simulation and model-checking of bigraphical models. We give a brief introduction to the bigraphs formalism, and show how these concepts manifest within the tool using a small motivating example bigraphical model developed in Big Red.

AB - We present Big Red, a visual editor for bigraphs and bigraphical reactive systems, based upon Eclipse. The editor integrates with several existing bigraph tools to permit simulation and model-checking of bigraphical models. We give a brief introduction to the bigraphs formalism, and show how these concepts manifest within the tool using a small motivating example bigraphical model developed in Big Red.

KW - bigraphs

KW - editor

KW - reactive systems

KW - bigraphs

KW - editor

KW - reactive systems

M3 - Journal article

SN - 1863-2122

VL - 61

JO - E A S S T Electronic Communications

JF - E A S S T Electronic Communications

T2 - The 4th International Workshop on Graph Computation Models

Y2 - 28 September 2012 through 29 September 2012

ER -

Big Red: A Development Environment for Bigraphs

Abstract

Workshop

Emneord

Adgang til dokumentet

Fingeraftryk

Aktiviteter

The 4th International Workshop on Graph Computation Models

Citationsformater