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
- Maven Repository on Artifactory
- Source code on GitLab
- Source code on GitHub (mirror)

Remote Repositories
Maven
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
Gradle
repositories {
maven {
url "https://stgroup.jfrog.io/artifactory/st-tu-dresden-maven-repository/"
}
}

Dependencies
Maven
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
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}"