Big Red: A Development Environment for Bigraphs
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
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 Sep 2013 |
Event | Fourth International Workshop on Graph Computation Models: http://gcm2012.imag.fr/ - Universität Bremen, Bremen, Germany Duration: 28 Sep 2012 → 29 Sep 2012 Conference number: 4th http://gcm2012.imag.fr/ |
Workshop
Workshop | Fourth International Workshop on Graph Computation Models |
---|---|
Number | 4th |
Location | Universität Bremen |
Country | Germany |
City | Bremen |
Period | 28/09/2012 → 29/09/2012 |
Internet address |
Bibliographical note
Ufuldstændig publiceringskanal, mangler publisher, journal, volume, ISBN, ... (jcg, 270313), ditto (jcg,11/08/13) bed en af forfatterne opdatere (26/8/13)
Research Activities (1)
Fourth International Workshop on Graph Computation Models
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
ID: 80253944