Our modeling tools 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.