Skip to content

Latest commit

 

History

History
21 lines (17 loc) · 893 Bytes

README.md

File metadata and controls

21 lines (17 loc) · 893 Bytes

CROM-Validator

Introduction

This plugin is intended to be used with FRaMED 2.0(see https://github.com/Eden-06/FRaMED-2.0)

Requirements

Eclipse Photon or newer

How to import CROM Validator repository into Eclipse

  1. Select "File" -> "Import" to open the import wizard, select "Projects from Git" and hit "Next>".
  2. Enter https://github.com/floa93/CROM-Validator.git into the URI field and hit "Next>"
  3. Only select the master branch and continue with "Next>"
  4. Continue with "Next>" until you can "Finish" the project import.
  5. Install the EclipseOCL(6.4 or higher is recommended) via Help -> Eclipse Marketplace
  6. Search for "EclipseOCL"
  7. Select it, click on the "Install" link, and complete the installation

How to use the validation?

  1. Right click a CROM model in the file explorer
  2. Choose "Validate Variant"
  3. The result of the evaluation will be displayed