Skip to content

Releases: bigraph-toolkit-suite/bigraphs.bigraph-framework

📦 v2.3.4

22 Nov 18:27

Choose a tag to compare

Feature

  • Bigraph Model Checking Strategy Extensions and API cleanup
    • Added BFS and DFS first-match strategies at rule level (take first occurrence only instead of all), available now in BigraphModelChecker
    • Related Strategy Classes: DFSFirstMatchStrategy, BFSFirstMatchStrategy, BreadthFirstStrategy, DepthFirstStrategy, RandomAgentModelCheckingStrategy
    • Introduced matchFirst() and matchAll() in PureBigraphMatcher; deprecated match().
  • Improved documentation for BigraphModelChecker and ReactiveSystemListener.
  • License report generation updated.

📦 v2.3.3

19 Nov 11:12

Choose a tag to compare

Maintenance & Licensing

  • Project-wide formatting and license header cleanup (spotless-maven-plugin applied).
  • Added license-maven-plugin + full third-party license report.
  • Fixed NOTICE year and corrected license report link.
  • Disabled many unit tests to stabilize CI builds.
  • General license maintenance for v2.3.3.

📦 v2.3.2

16 Nov 07:55

Choose a tag to compare

Features

  • Added a dedicated link-graph matching algorithm + documentation (see example here)

Documentation

  • Added a Conditional Rule Tutorial (ROS2 + CDO) for live data ingestion from ROS 2, attribute updates, and conditional rewriting.

Maintenance

  • Major cleanup of unit tests and integration of bigraphs-testing

📦 v2.3.1

12 Nov 08:33

Choose a tag to compare

Maintenance

  • Ensured LGPL‑2.1 compliance for the integrated jLibBig component within the bigraph-simulation module.
  • Included LICENSE-jlibbig.txt and detailed NOTICE.txt with documented code modification.

📦 v2.3.0

10 Oct 19:56

Choose a tag to compare

Changes

  • Introduced new static stream operations in BigraphUtil, including:
    • ACCUMULATOR_PARALLEL_PRODUCT
    • ACCUMULATOR_MERGE_PRODUCT
  • Moved DistributedRandomNumberGenerator to org.bigraphs.framework.core.alg.generator
  • Replaced deprecated javax.annotation.Nullable/NonNull with org.checkerframework annotations for null-safety.

Dependencies

  • Docusaurus: 2.0.0-beta.142.4.3
  • Base URL changed from /products//software/ in site structure
  • org.eclipse.core.runtime: 3.26.1003.34.0
  • org.eclipse.emf.codegen: 2.22.02.27.0
  • commons-vfs2: 2.9.02.10.0
  • commons-io: 2.11.02.20.0
  • guava: 31.1-jre33.4.8-jre

📦 v2.2.1

16 Sep 05:15

Choose a tag to compare

Fixes

  • Simulation: Fixed NullPointerException in PureReactiveSystem#buildGroundReaction() when RHS holes < LHS holes and instantiation map was invalid.

Maintenance

  • org.jdom: 2.0.2 → 2.0.6.1
  • Documentation: Various improvements

📦 v2.2.0

05 Sep 11:43

Choose a tag to compare

Changes

Refactoring

  • Bigraph & Signature Builders:
    • Simplified method names for more concise usage (see below).
    • Removed prefix "Default" from "Dynamic"Signature/Control classes.

Fixes

  • Removed all -SNAPSHOT references to meet Maven Central requirements (bighuggies and io.r2dbc:r2dbc-proxy).
  • Added project name metadata to pom of bigraph-converter.

Migration Guide 2.1.2 → 2.2.0

The following breaking changes were introduced as part of the refactoring.

Method Renames for PureBigraphBuilder

  • createRoot()root()
  • addChild()child()
  • addSite()site()
  • createBigraph()create()
  • createOuterName()createOuter()
  • createInnerName()createInner()
  • linkToOuter()linkOuter()
  • linkToInner()linkInner()
  • etc.

Other Renames

  • DefaultDynamicSignatureDynamicSignature
  • DefaultDynamicSignature#addControl()DynamicSignature#add()
  • DefaultDynamicControlDynamicControl

📦 v2.1.2

05 Sep 06:36

Choose a tag to compare

Fixes

  • PureBigraphComposite: Fixed rare edge-to-inner NullPointerException in parallel product composition.
  • Removed all -SNAPSHOT versions to comply with Maven Central requirements.
  • Added project name to converter module.
  • Replaced indirect dependency io.r2dbc:r2dbc-proxy with a stable release (1.1.6.RELEASE); affected simulation module.
  • Eliminated bighuggies snapshot reference (For developers: mvn initialize required again)

Documentation

  • Refined Getting Started Guide and tutorial.
  • Added results for Self-Sorting Robots with N=6.
  • Fixed broken link in the manual.

📦 v2.1.1

18 Aug 17:15

Choose a tag to compare

Changes

  • EMF metamodel validation disabled by default. (Simplifies runtime usage. Validation can still be enabled explicitly if needed.)

Documentation & User Manual

  • Added tutorial section to the user manual for faster onboarding.
  • Expanded About page and refined user manual content.
  • Improved documentation on storage of bigraphs and updated relevant dates.
  • Clarified coding guidelines and corrected copyright notice.

Build

  • Migrated project to the Central Publishing Portal.