Bigraph Framework
  • Docs
  • API
  • GitHub
Project Logo

Bigraph Framework

A framework written in Java for the manipulation and simulation of bigraphical reactive systems
Try It Out
View the User Manual

Features

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

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

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

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

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

<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}"
Bigraph Framework
Docs
Getting StartedAPI Reference
More
GitHubStar
Copyright © 2021 Dominik Grzelak