Releases: bigraph-toolkit-suite/bigraphs.bigraph-framework
Releases · bigraph-toolkit-suite/bigraphs.bigraph-framework
📦 v2.3.4
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()andmatchAll()inPureBigraphMatcher; deprecatedmatch().
- Added BFS and DFS first-match strategies at rule level (take first occurrence only instead of all), available now in
- Improved documentation for
BigraphModelCheckerandReactiveSystemListener. - License report generation updated.
📦 v2.3.3
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
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
📦 v2.3.0
Changes
- Introduced new static stream operations in
BigraphUtil, including:ACCUMULATOR_PARALLEL_PRODUCTACCUMULATOR_MERGE_PRODUCT
- Moved
DistributedRandomNumberGeneratortoorg.bigraphs.framework.core.alg.generator - Replaced deprecated
javax.annotation.Nullable/NonNullwithorg.checkerframeworkannotations for null-safety.
Dependencies
- Docusaurus:
2.0.0-beta.14→2.4.3 - Base URL changed from
/products/→/software/in site structure org.eclipse.core.runtime:3.26.100→3.34.0org.eclipse.emf.codegen:2.22.0→2.27.0commons-vfs2:2.9.0→2.10.0commons-io:2.11.0→2.20.0guava:31.1-jre→33.4.8-jre
📦 v2.2.1
📦 v2.2.0
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
-SNAPSHOTreferences to meet Maven Central requirements (bighuggiesandio.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
DefaultDynamicSignature→DynamicSignatureDefaultDynamicSignature#addControl()→DynamicSignature#add()DefaultDynamicControl→DynamicControl
📦 v2.1.2
Fixes
PureBigraphComposite: Fixed rare edge-to-innerNullPointerExceptionin parallel product composition.- Removed all
-SNAPSHOTversions to comply with Maven Central requirements. - Added project name to converter module.
- Replaced indirect dependency
io.r2dbc:r2dbc-proxywith a stable release (1.1.6.RELEASE); affected simulation module. - Eliminated
bighuggiessnapshot reference (For developers:mvn initializerequired 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
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.