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. All bigraph models adhere to the Ecore standard and conform to a well-defined meta-model, ensuring compatibility and consistency.

Simulation and Verification

Simulation and Verification

Design bigraphical reactive systems by defining agents and reaction rules that drive dynamic system evolution. Leverage built-in tools for model checking by specifying various types of predicates to analyze and verify system properties.

Interoperability

Interoperability

Export your bigraph models and bigraphical reactive systems in multiple formats, including Ecore-based models, GraphML, GXL, BigraphER, BigMC, and BigRed. This flexibility ensures seamless integration with other tools and workflows.

Visualization

Visualization

Visualize your bigraphs in different styles and formats. Export visual representations in popular formats such as PNG and SVG for documentation, presentations, and further analysis. Interactive visualization is also supported via GraphStream, enabling dynamic exploration of bigraphs in real time.

Download & Use Bigraph Framework

Demo projects

Dependencies

Maven



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

Gradle



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