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
Retrieved from ‘https://wiki.event-b.org/index.php?title=UML-B_release_notes_for_2.0.1&oldid=10554’