Verifying UML profiled models - User Guide

By Freddy Allilaire (INRIA), Rémi Schnekenburger (CEA LIST)
May 2007

This user guide explains how to configure and launch the Verifying UML profiled models ATL service in Papyrus.

User Guide

The following procedure will configure and launch the transformation that validates the model against previously defined rules.

First step is to create a new transformation configuration, using the Run As button.

Thanks to the pop-up menu available on Papyrus transformation, you can create a new transformation configuration. This transformation configuration will contain all necessary parameters for your transformation.

Thanks to the Browse… button in the Module group, the transformation module can be selected against all transformation modules available for Papyrus. In this use case, please select the UML measures module.

The next step is to choose the uml file on which the transformation will run. The following window filters the proposed files using their extensions; you can only select uml files.

The next step is the selection of the target folder. It is not possible to select a project yet. In fact, Papyrus transformations must be run into a folder (yellow folder icons). This should be fixed in next versions of Papyrus tool. The selected folder will contain the results of the transformation. In this case, no result is expected, as the markers are directly added to the uml file. Whatever, you have to choose a valid folder.

The following snapshot gives an example of what you should have just before launching the transformation. The transformation is launched using the Run button.

This resulting model contains all the problems of the UML model. So, if this model is not empty (i.e. there are problems in the UML model) the problems will be displayed in the Eclipse Problems view.

Acknowledgement

The present work is being supported by the Usine Logicielle project of the System@tic Paris Region Cluster.