CVL Tool from SINTEF

The CVL prototype implementation is based on Eclipse Modeling Framework (EMF)and thus supports any DSL defined through EMF. The CVL tool can be connected to the language specific tool for any DSL through a simple interface as illustrated below:

As illustrated above, while applying CVL, the variability editor defines variability of the domain model, the resolution editor chooses which substitutions that should be excuted and the CVL execution transformation builds the resolved domain models.

• Eclipse Helios SR2 is preferable for running the latest CVL plug-in.
• Launch Eclipse, go to “Help → Install New Software”.
• Click “Add…” and assign the location of the repository to the update site: http://files.modelbased.net/tools/cvl/update/
• Alternatively the CVL plug-in can be installed from the archived update site. If the target machine does not allow Internet access during plug-in installation, download the archived update site here. Otherwise, make sure that the target Eclipse has the Eclipse modeling tools installed and download the archived update site here. For installation, assign the location of the repository to where the archived file is stored locally.

We also provide a plugin for CVL + Papyrus integration here. The latest CVL plugin, Eclipse Helios SR2 and Papyrus MDT 0.7.4 are preferable for running this integration plugin.

The final MoSiS deliverable on the definition of the MoSiS CVL and the CVLTool can be found here d2.1.4_-_cvl_consolidated_sintef_v1.0.pdf

The user manual is available here cvl1.2_user_guide.pdf .

We also provide examples on applying CVL to several domain specific languages:

• A language for simple arithmetics.
• Download the ARI plug-in hereor use the update site:http://files.modelbased.net/tools/ari/update/ . You can also download the source of the ARI plug-in herearisource.zip.
• A simple example on applying CVL to ARI is available here: polynomial.zip, with its demo available here.
• A more advanced example is available here: polynomial_advanced.zip, with its demo available here.

• Download the language plug-in here:edap_plugin.zip
• An example on applying CVL to the language is available here:workspace_watch.zip
• A detailed description of the example is available here: watch_example_guide.pdf

• Train Control Language, developed by SINTEF in cooperation with ABB, Norway.
• demo1
• demo2