Activities per year
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 |
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.Activities
- 1 Organisation and participation in workshop, seminar, course
-
Fourth International Workshop on Graph Computation Models
Faithfull, A. (Speaker)
28 Sept 2012Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course