Big Red: A Development Environment for Bigraphs

Authors

  • Alexander Faithfull IT University of Copenhagen
  • Gian Perrone IT University of Copenhagen
  • Thomas Hildebrandt IT University of Copenhagen

DOI:

https://doi.org/10.14279/tuj.eceasst.61.835

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 reachability analysis 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 developed in Big Red. We go on to outline its architecture and implementation, and comment on possible future work.

Downloads

Published

2013-06-25

How to Cite

[1]
A. Faithfull, G. Perrone, and T. Hildebrandt, “Big Red: A Development Environment for Bigraphs”, eceasst, vol. 61, Jun. 2013.