Rhapsody Plug-in

A plug-in for transforming SysML/UML models into VDM models has been developed. This plug-can be used for generating VDM code from SysML/UML models developed in Rational Rhapsody.

The plug-in generates VDM code for classes, statecharts and activity diagrams. And uses the following elements:

• VDMProfile: The default UML meta-model used by Rhapsody can be extended (not removed nor altered) through Profiles. VDMProfile custom profile provides predefined, domain-specific tags and stereotypes to adapt the UML meta-model to VDM language, and so, optimize VDM models development effort.
• VDMCodeGenerator: A set of customized code generation rules in order to generate VDM-RT code automatically from Rhapsody UML models. It is a java application developed in Rules Composer.

This plug-in has been developed by Ulma Embedded Solutions. In you are interested in using the plug-in, contact rhpplugins@ulmaembedded.com

The following video shows the application of the plug-in in an example.