Skip to main content

Bigraph Framework

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

Try It Out!View User Manual

Features

This framework provides 4 central building blocks.
Modeling

Modeling

Easily create and manipulate bigraph models at both design-time and run-time. Compose smaller bigraphs into larger structures. Models adhere to the Ecore metamodeling standard.

Simulation and Verification

Simulation and Verification

Design bigraphical reactive systems that drive dynamic system evolution. Leverage built-in tools for model checking to analyze and verify system properties and invariants.

Interoperability

Interoperability

Export bigraph models and bigraphical reactive systems in multiple formats, including Ecore/XMI, GraphML, DOT, GXL, BigraphER, BigMC, and BigRed.

Visualization

Visualization

Visualize bigraphs in different styles and formats for documentation, presentations, and further analysis. Interactive visualization enables dynamic exploration of bigraphs in real time.

Download & Use Bigraph Framework

Quickstart

Dependencies

Maven



<!-- Core Module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-core</artifactId>
  <version>2.3.5</version>
</dependency>
<!-- Simulation Module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-simulation</artifactId>
  <version>2.3.5</version>
</dependency>
<!-- Visualization Module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-visualization</artifactId>
  <version>2.3.5</version>
</dependency>
<!-- Converter Module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-converter</artifactId>
  <version>2.3.5</version>
</dependency>

Gradle



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