Difference between revisions of "MDT OCL/Ocl Checker"

From Eclipsepedia

Jump to: navigation, search
m (Proposal)
 
(7 intermediate revisions by one user not shown)
Line 1: Line 1:
This work is developed by [http://www.atosorigin.com Atos Origin] and sponsored by [http://www.airbus.com/ Airbus] in the context of [http://www.opees.org OPEES].
+
This work is developed by [http://www.obeo.fr Obeo] and sponsored by [http://www.airbus.com/ Airbus] in the context of [http://www.polarsys.org PolarSys].  
  
= Proposal =
+
= Proposal =
Topcased proposes for years now some components tailored for industrial usage around the verification of static semantics of models based on MDT OCL:
+
* An OCL evaluator, aiming to support and make the development of OCL rules easier.
+
* An OCL checker that evaluate a list of constraints & queries on any EMF model and provides the results in either a GUI or the Problem View, or in reports based on templates (which can be generated from the GUI or in batch mode).
+
  
More information about those tools [http://gforge.enseeiht.fr/docman/view.php/30/3474/TPC_OCL_Tutorial_v1.0.pdf here].
+
Topcased proposes for years now some components tailored for industrial usage around the verification of static semantics of models based on MDT OCL:  
  
The goal of this project is to contribute these tools to MDT OCL, and to propose a few improvements as:
+
*An OCL evaluator, aiming to support and make the development of OCL rules easier. This view offers:  
* Advanced meta-data around OCL rules: dependencies between rules, error messages, model scope.
+
**Choosing of a test model or (auto-)adaptating to the selection<br>
* Auto-generation of OCL verification plug-ins based on rules files.
+
**OCL auto-completion
* Integration with the new MDT OCL rules editor.
+
**Decomposing complex OCL step by step to make debugging easier<br>[[Image:OCLEvaluator5.png]]
  
== Schedule (dates tentative) ==
+
*An OCL checker that:
The project is scheduled to be ready on December, 2011 as part of MDT OCL.
+
**Evaluate a list of constraints and queries on any EMF mode<br>[[Image:OCLChecker global.png]]
 +
**Provides the results in either a GUI or the Problem View, or in reports based on templates
 +
**Can be called in GUI or batch mode<br>[[Image:TOPCASED OCL batch.png]]
 +
**Can raise errors, warnings, information and rule failure messages<br>[[Image:OCLEditorAnnotation2.png]]
 +
 
 +
The goal of this project is to contribute these tools to MDT OCL, and to propose a few improvements as:
 +
 
 +
*Advanced meta-data around OCL rules: dependencies between rules, error messages, model scope
 +
*Auto-generation of OCL verification plug-ins based on rules files<br>[[Image:OCLExport4.png]]
 +
*Integration with the new MDT OCL rules editor
 +
 
 +
More information about those tools [http://gforge.enseeiht.fr/docman/view.php/30/3474/TPC_OCL_Tutorial_v1.0.pdf here].
 +
 
 +
== Schedule ==
 +
 
 +
This project is already in progress and should be completed before the end of 2013. Most contributions target MDT OCL.

Latest revision as of 10:29, 17 September 2013

This work is developed by Obeo and sponsored by Airbus in the context of PolarSys.

[edit] Proposal

Topcased proposes for years now some components tailored for industrial usage around the verification of static semantics of models based on MDT OCL:

  • An OCL evaluator, aiming to support and make the development of OCL rules easier. This view offers:
    • Choosing of a test model or (auto-)adaptating to the selection
    • OCL auto-completion
    • Decomposing complex OCL step by step to make debugging easier
      OCLEvaluator5.png
  • An OCL checker that:
    • Evaluate a list of constraints and queries on any EMF mode
      OCLChecker global.png
    • Provides the results in either a GUI or the Problem View, or in reports based on templates
    • Can be called in GUI or batch mode
      TOPCASED OCL batch.png
    • Can raise errors, warnings, information and rule failure messages
      OCLEditorAnnotation2.png

The goal of this project is to contribute these tools to MDT OCL, and to propose a few improvements as:

  • Advanced meta-data around OCL rules: dependencies between rules, error messages, model scope
  • Auto-generation of OCL verification plug-ins based on rules files
    OCLExport4.png
  • Integration with the new MDT OCL rules editor

More information about those tools here.

[edit] Schedule

This project is already in progress and should be completed before the end of 2013. Most contributions target MDT OCL.