Home » org.bigraphs.framework » bigraph-simulation » 1.0.0 » Dependencies

Bigraph Framework Simulation » 1.0.0

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 (13)

Category/LicenseGroup / ArtifactVersionUpdates
Core Utils Apache 2.0
com.google.guava » guava2 vulnerabilities
Guava is a suite of core and expanded libraries that include
31.1-jre33.6.0-jre
Apache 2.0 +1
org.bigraphs.framework » bigraph-core
Core module of the Bigraph Framework.
1.0.02.4.2
Apache 2.0 +1
org.bigraphs.framework » bigraph-converter
Converter module of the Bigraph Framework. Supports various transformation of bigraphs into other model
1.0.02.4.2
Apache 2.0 +1
org.bigraphs.framework » bigraph-visualization
Simple visualization support for bigraphs and bigraphical reactive systems.
1.0.02.4.2
Constraint Solver BSD 3-clause
org.choco-solver » choco-solver
Open-source constraint solver.
4.10.26.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.0.013.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.0.013.0.0
EPL 2.0
org.eclipse.emf » org.eclipse.emf.ecore
EMF Ecore
2.25.02.42.0
EPL 2.0
org.eclipse.emf » org.eclipse.emf.ecore.xmi
EMF XML/XMI Persistence
2.16.02.40.0
EPL 2.0 +1
org.jgrapht » jgrapht-ext1.5.11.5.3
JSON Lib Public
org.json » json2 vulnerabilities
JSON is a light-weight, language independent, data interchange format.
2019072220260522
Annotation Tool Apache 2.0
org.springframework.boot » spring-boot-configuration-processor
Spring Boot Configuration Annotation Processor
2.3.1.RELEASE4.1.0
Config Apache 2.0
org.springframework.boot » spring-boot-autoconfigure1 vulnerability
Spring Boot auto-configuration attempts to automatically configure your Spring application based on the jar dependencies ...
2.3.1.RELEASE4.1.0

Provided Dependencies (2)

Category/LicenseGroup / ArtifactVersionUpdates
Logging Apache 2.0
log4j » log4j6 vulnerabilities
Implementation for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage ...
1.2.172.26.1
Logging Bridge MIT
org.slf4j » slf4j-log4j12
SLF4J Reload4j Provider
1.7.302.0.18

Test Dependencies (4)

Category/LicenseGroup / ArtifactVersionUpdates
I/O Apache 2.0
commons-io » commons-io1 vulnerability
The Apache Commons IO library contains utility classes, stream implementations, file filters,
2.11.02.22.0
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-api
JUnit Jupiter is the API for writing tests using JUnit 5.
5.4.06.1.1
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-engine
Core package for the JUnit Jupiter test engine.
5.4.06.1.1
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
2.3.1.RELEASE4.1.0