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

Research output: Journal Article or Conference Article in Journal › Journal article › Research › 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.

Original language	English
Journal	E A S S T Electronic Communications
Volume	61
Number of pages	5
ISSN	1863-2122
Publication status	Published - 28 Sept 2013
Event	Fourth International Workshop on Graph Computation Models: http://gcm2012.imag.fr/ - Universität Bremen, Bremen, Germany Duration: 28 Sept 2012 → 29 Sept 2012 Conference number: 4th http://gcm2012.imag.fr/

Workshop

Workshop	Fourth International Workshop on Graph Computation Models
Number	4th
Location	Universität Bremen
Country/Territory	Germany
City	Bremen
Period	28/09/2012 → 29/09/2012
Internet address	http://gcm2012.imag.fr/

Keywords

bigraphs
editor
reactive systems

Access to Document

http://gcm2012.imag.fr/

Fourth International Workshop on Graph Computation Models
Faithfull, A. (Speaker)
28 Sept 2012
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

Cite this

@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); Fourth 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 - Fourth International Workshop on Graph Computation Models

Y2 - 28 September 2012 through 29 September 2012

ER -

Big Red: A Development Environment for Bigraphs

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Activities

Fourth International Workshop on Graph Computation Models

Cite this