Skip to main content

Bigraph Framework

A framework written in Java for the manipulation and simulation of bigraphical reactive systems

Features

This framework provides 4 central building blocks. Some of their features are:
Modeling

Modeling

Dynamically create bigraph models at design and run-time. Compose bigraphs to build more complex bigraphs quickly. Bigraph models are based on the *Ecore* standard and conform to a meta-model.

Simulation and Verification

Simulation and Verification

Create a bigraphical reactive system with agents and reaction rules to dynamically evolve a user-defined system. Perform model checking tasks by defining various kinds of predicates.

Interoperability

Interoperability

Export your bigraphs and bigraphical reactive systems as Ecore-based models or any other format such as GraphML, GXL, BigraphER, BigMC or BigRed.

Visualization

Visualization

Display your bigraphs graphically and export them as PNG or SVG.

Download & Use Bigraph Framework for Java

Project Skeletons that get you started:

Remote Repository Setup

Maven

<repository>
<snapshots>
<enabled>true</enabled>
</snapshots>
<id>STFactory</id>
<name>st-tu-dresden-artifactory</name>
<url>https://stgroup.jfrog.io/artifactory/st-tu-dresden-maven-repository/</url>
</repository>

Gradle

repositories {
maven {
url "https://stgroup.jfrog.io/artifactory/st-tu-dresden-maven-repository/"
}
}

Dependencies

Maven

<!-- the core module -->
<dependency>
<groupId>de.tudresden.inf.st.bigraphs</groupId>
<artifactId>bigraph-core</artifactId>
<version>VERSION</version>
</dependency>
<!-- the rewriting module -->
<dependency>
<groupId>de.tudresden.inf.st.bigraphs</groupId>
<artifactId>bigraph-simulation</artifactId>
<version>VERSION</version>
</dependency>
<!-- the visualization module -->
<dependency>
<groupId>de.tudresden.inf.st.bigraphs</groupId>
<artifactId>bigraph-visualization</artifactId>
<version>VERSION</version>
</dependency>
<!-- the converter module -->
<dependency>
<groupId>de.tudresden.inf.st.bigraphs</groupId>
<artifactId>bigraph-converter</artifactId>
<version>VERSION</version>
</dependency>

Gradle

compile "de.tudresden.inf.st.bigraphs:bigraph-core:VERSION"
compile "de.tudresden.inf.st.bigraphs:bigraph-simulation:VERSION"
compile "de.tudresden.inf.st.bigraphs:bigraph-visualization:VERSION"
compile "de.tudresden.inf.st.bigraphs:bigraph-converter:VERSION"