The simulation module provides bigraph matching and rewriting capabilities for implementing
bigraphical reactive systems. It includes a model checker and an algorithm for canonical
string encoding of bigraphs.
Compile Dependencies (10)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Core Utils
Apache 2.0
|  | com.google.guava
»
guava Guava is a suite of core and expanded libraries that include | 33.4.8-jre | 33.6.0-jre |
Apache 2.0 +1
| | org.bigraphs.framework
»
bigraph-core Core module of the Bigraph Framework. | 2.4.4 | ✔ |
Apache 2.0 +1
| | org.bigraphs.framework
»
bigraph-converter Converter module of the Bigraph Framework. Supports various transformation of bigraphs into other model | 2.4.4 | ✔ |
Apache 2.0 +1
| | org.bigraphs.framework
»
bigraph-visualization Simple visualization support for bigraphs and bigraphical reactive systems. | 2.4.4 | ✔ |
Constraint Solver
BSD 3-clause
|  | org.choco-solver
»
choco-solver Open-source constraint solver. | 4.10.2 | 6.0.1 |
Collections
EDL 1.0 +1
|  | org.eclipse.collections
»
eclipse-collections-api The API module of Eclipse Collections, offering rich and efficient data structures for Java. | 11.1.0 | 13.0.0 |
Collections
EDL 1.0 +1
| | org.eclipse.collections
»
eclipse-collections feature-rich collections framework for Java, offering alternatives to standard Java Collections. | 11.1.0 | 13.0.0 |
EPL 2.0
|  | org.eclipse.emf
»
org.eclipse.emf.ecore EMF Ecore | 2.41.0 | 2.42.0 |
EPL 2.0
| | org.eclipse.emf
»
org.eclipse.emf.ecore.xmi EMF XML/XMI Persistence | 2.39.0 | 2.40.0 |
EPL 2.0 +1
|  | org.jgrapht » jgrapht-ext | 1.5.2 | 1.5.3 |
Provided Dependencies (4)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
|  | io.r2dbc
»
r2dbc-proxy Reactive Relational Database Connectivity Proxy Implementation | 1.1.6.RELEASE | ✔ |
Maven Plugins
Apache 2.0
|  | org.sonatype.central
»
central-publishing-maven-plugin This project is a maven plugin for publishing components in Maven Central, for more details | 0.9.0 | 0.11.0 |
Annotation Tool
Apache 2.0
|  | org.springframework.boot
»
spring-boot-configuration-processor Spring Boot Configuration Annotation Processor | 3.2.10 | 4.1.0 |
Config
Apache 2.0
| | org.springframework.boot
»
spring-boot-autoconfigure Spring Boot auto-configuration attempts to automatically configure your Spring application based on the jar dependencies ... | 3.2.10 | 4.1.0 |
Test Dependencies (5)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
I/O
Apache 2.0
|  | commons-io
»
commons-io The Apache Commons IO library contains utility classes, stream implementations, file filters, | 2.20.0 | 2.22.0 |
Apache 2.0
| | org.bigraphs.testing
»
bigraphs-testing A library for the Bigraph Toolkit Suite ecosystem providing reusable testing utilities for bigraph-driven | 0.2.0 | ✔ |
Testing
EPL 2.0
|  | org.junit.jupiter
»
junit-jupiter-api JUnit Jupiter is the API for writing tests using JUnit 5. | 5.10.5 | 6.1.3 |
Testing
EPL 2.0
| | org.junit.jupiter
»
junit-jupiter-engine Core package for the JUnit Jupiter test engine. | 5.10.5 | 6.1.3 |
Testing
Apache 2.0
| | org.springframework.boot
»
spring-boot-starter-test Starter for testing Spring Boot applications with libraries including JUnit Jupiter, Hamcrest and Mockito | 3.2.10 | 4.1.0 |