ITU

Big Red: A Development Environment for Bigraphs

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View graph of relations

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 Sep 2013
EventFourth International Workshop on Graph Computation Models: http://gcm2012.imag.fr/ - Universität Bremen, Bremen, Germany
Duration: 28 Sep 201229 Sep 2012
Conference number: 4th
http://gcm2012.imag.fr/

Workshop

WorkshopFourth International Workshop on Graph Computation Models
Number4th
LocationUniversität Bremen
CountryGermany
CityBremen
Period28/09/201229/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)

  1. Fourth International Workshop on Graph Computation Models

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

ID: 80253944