Big Red: A Development Environment for Bigraphs

Alexander John Faithfull, Gian David Perrone, Thomas Hildebrandt

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-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 languageEnglish
JournalE A S S T Electronic Communications
Volume61
Number of pages5
ISSN1863-2122
Publication statusPublished - 28 Sept 2013
EventFourth International Workshop on Graph Computation Models: http://gcm2012.imag.fr/ - Universität Bremen, Bremen, Germany
Duration: 28 Sept 201229 Sept 2012
Conference number: 4th
http://gcm2012.imag.fr/

Workshop

WorkshopFourth International Workshop on Graph Computation Models
Number4th
LocationUniversität Bremen
Country/TerritoryGermany
CityBremen
Period28/09/201229/09/2012
Internet address

Keywords

  • bigraphs
  • editor
  • reactive systems

Fingerprint

Dive into the research topics of 'Big Red: A Development Environment for Bigraphs'. Together they form a unique fingerprint.

Cite this