Skip to main content

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

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:

Dependencies

Maven



<!-- the core module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-core</artifactId>
  <version>VERSION</version>
</dependency>
<!-- the simulation module (matching and rewriting) -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-simulation</artifactId>
  <version>VERSION</version>
</dependency>
<!-- the visualization module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-visualization</artifactId>
  <version>VERSION</version>
</dependency>
<!-- the converter module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-converter</artifactId>
  <version>VERSION</version>
</dependency>

Gradle



compile "org.bigraphs.framework:bigraph-core:VERSION"
compile "org.bigraphs.framework:bigraph-simulation:VERSION"
compile "org.bigraphs.framework:bigraph-visualization:VERSION"
compile "org.bigraphs.framework:bigraph-converter:VERSION"

Repository Setup for SNAPSHOT Releases Only

Maven



<repository>
    <snapshots>
        <enabled>true</enabled>
    </snapshots>
    <id>ossrh</id>
    <url>https://s01.oss.sonatype.org/content/repositories/snapshots</url>
</repository>

Gradle



repositories {
    maven {
        url "https://s01.oss.sonatype.org/content/repositories/snapshots"
    }
}