📦 v2.4.0

Features

• Model Checking
  • Introduced BigraphFilter as a general worklist filter.
  • Predicate evaluation now executed before rule matching to reduce unnecessary state exploration.
  • Added global stopping criterion via isRunning.
  • Unified bisimulation: StrongBisimulationMixinImpl renamed to BisimulationMixinImpl (strong + weak combined WIP).
  • Removed legacy components: ReactionGraphExtended, WeakBisimulationMixinImpl.
• Simulated Annealing
  • Cooling strategy refactored into a functional interface (default: logarithmic).
  • Increased visibility of ModelCheckingStrategySupport methods (protected → public) for external customization.
• Visualization: Updated light CSS style for GraphStream.

Refactoring

• MatchIterable converted to record class with static factories emptyMatches() and singletonMatches().
• RandomAgentModelCheckingStrategy refactored.
• Removed deprecated constructor in PureBigraphMatch.
• Integrated bigraphs-testing library and removed legacy BigraphUnitTestSupport.

Maintenance

• bigraph metamodel: 2.0.3 → 2.0.4 (CDO protocol 54 support)
• org.eclipse.emf.compare: 3.5.3.201911051515 → 3.5.3.202505141345
• org.eclipse.core.expressions: 3.5.100 → 3.9.500
• ecore: 2.40.0 → 2.41.0
• ecore common: 2.43.0 → 2.44.0
• spring.boot: 2.3.1.RELEASE → 3.2.10
• Build and project cleanup
• Updated logging framework usage documentation.

📦 v2.3.6

Features

• Added support for custom, user-defined model checking strategies, including the new SimulatedAnnealingFrontierStrategy.

Refactoring

• Renamed org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch to org.bigraphs.framework.simulation.matching.pure.PureBigraphMatch for a cleaner matcher API.

Maintenance

• Documentation updated (SSR tutorial)
• Improved self-sorting robots and fruit basket example and extended unit tests with additional bigraph predicates.
• Development-related details moved to a separate documentation file.

📦 v2.3.5

Feature and Maintenance

• Added merge product for reaction rules
• Bigraph Ecore Metamodel: 2.0.2 → 2.0.3 (attribute support for BLink entities)
• Documentation fixes

📦 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() and matchAll() in PureBigraphMatcher; deprecated match().
• Improved documentation for BigraphModelChecker and ReactiveSystemListener.
• 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

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

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.14 → 2.4.3
• Base URL changed from /products/ → /software/ in site structure
• org.eclipse.core.runtime: 3.26.100 → 3.34.0
• org.eclipse.emf.codegen: 2.22.0 → 2.27.0
• commons-vfs2: 2.9.0 → 2.10.0
• commons-io: 2.11.0 → 2.20.0
• guava: 31.1-jre → 33.4.8-jre

📦 v2.2.1

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

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

• DefaultDynamicSignature → DynamicSignature
• DefaultDynamicSignature#addControl() → DynamicSignature#add()
• DefaultDynamicControl → DynamicControl