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 complex structures to model sophisticated systems with ease. 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

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

Visualization

Visualization

Visualize your 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.2.1</version>
</dependency>
<!-- Simulation Module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-simulation</artifactId>
  <version>2.2.1</version>
</dependency>
<!-- Visualization Module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-visualization</artifactId>
  <version>2.2.1</version>
</dependency>
<!-- Converter Module -->
<dependency>
  <groupId>org.bigraphs.framework</groupId>
  <artifactId>bigraph-converter</artifactId>
  <version>2.2.1</version>
</dependency>

Gradle



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