CVL 2 Tool

The CVL 2 Tool is a prototype tool for the CVL 2 standard currently being considered as a standard for variability modelling by OMG. CVL was originally proposed in Haugen et al. 2008’s “Adding Standardized Variability to Domain Specific Languages” at SPLC 2008.


v0.1a1 of the tool is available under the Eclipse Public License – v 1.0.

This version is an early alpha version of the tool; it is still under development and is released as an early demo.

Short Tutorial


Start the tool by double-clicking it or typing java -jar SINTEF-CVLTool2-v0.1a1.jar.

Creating a new CVL model

Click “File”, “New”. This will give you a new, unnamed model with two tabs, one for editing the VSpec and one for editing the resolution models.

Adding a Choice

Right click on the configurable unit and click “add”, “choice”. Further choices can be added to the choice. Every time a change is performed on the model, the layout is adjusted to remain balanced. Only choices are supported in this version of the tool.

Toggle optional-mandatory

Right click and select “toggle optional” to switch between optional and mandatory feature.


Left click to rename the choice.

Saving the CVL model

Click “File”, “Save as…” to save the file. You can also chose to export the diagram as PNG or SVG.

Importing VSpecs

Click “VSpec”, “Import” to import a VSpec model. GUI DSL and Simple XML Feature Models are supported in addition to CVL 2. The VSpec model will be added as a child to the configurable unit.

Creating a new resolution

Click “Resolutions”, “New” to create a new resolution.

Editing the Resolution

The resolution can be edited using the context menu.

Validating Resolutions

The configured resolutions can be validated. A reason will be given for the conclusion.

Generating Covering Arrays

1, 2 or 3-wise covering arrays can be generated. If there already are resolutions configured, they will be a part of the resulting covering array.

Creating a new CVL model

You can calculate the coverage of your resolutions. Be sure to confirm their validity first.