Jump to: navigation, search

Difference between revisions of "MDT OCL/Ocl Checker"

(New page: 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]. = Proposal = Topcased pr...)
 
 
(9 intermediate revisions by one other 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).
+
  
The goal of this project is to contribute these tools to MDT OCL, and to propose a few improvements as:
+
Topcased proposes for years now some components tailored for industrial usage around the verification of static semantics of models based on MDT OCL:
* advanced meta-data around OCL rules: dependencies between rules, error messages, model scope.
+
* auto-generation of OCL verification plug-ins based on rules files.
+
* Integration with the new MDT OCL rules editor.
+
  
== Schedule (dates tentative) ==
+
*An OCL evaluator, aiming to support and make the development of OCL rules easier. This view offers:
The project is scheduled to be ready on December, 2011 as part of MDT OCL.
+
**Choosing of a test model or (auto-)adaptating to the selection<br>
 +
**OCL auto-completion
 +
**Decomposing complex OCL step by step to make debugging easier<br>[[Image:OCLEvaluator5.png]]
 +
 
 +
*An OCL checker that:
 +
**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 09:29, 17 September 2013

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

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.

Schedule

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