📦 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.