Describir: UML 2.0 interactions with OCL/RT constraints