Modeling tools developed by No Magic, Inc. always support the latest versions of UML standards. Version 19.0 supports changes in the UML specification from version 2.5 to 2.5.1.

UML 2.5.1 provides several minor enhancements:

• Vertexes are redefinable in State Machines. A vertex is either a State, or Pseudo State, or Connection Point Reference. In earlier standard versions, only the State was redefinable. 
• The semantic of Context and Constrained Element properties of the Constraint are clarified in the standard specification.
• The Behavior of an Opaque Expression is now allowed to have input parameters.

The latter two items do not affect the modeling tool functionality.