UML-B release notes for 2.0.1

From Event-B
Jump to navigationJump to search

New Features

OR and ANY pseudo-states Support OR and ANY pseudo-states so that transitions can be sourced from multiple states .

Bug Fixes

  • Improved diagram maintenance operations (rename/open/delete)
  • Corrections to statemachine translation flowdown button
  • GMF: Fixed bug in diagram notes and annotation text