Difference between revisions of "MDT OCL/Ocl Checker"

From Eclipsepedia

Jump to: navigation, search
 
(5 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.polarsys.org PolarSys].
+
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  =
Line 7: Line 7:
 
*An OCL evaluator, aiming to support and make the development of OCL rules easier. This view offers:  
 
*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<br>  
 
**Choosing of a test model or (auto-)adaptating to the selection<br>  
**OCL auto-completion
+
**OCL auto-completion  
**Decomposing complex OCL step by step to make debugging easier
+
**Decomposing complex OCL step by step to make debugging easier<br>[[Image:OCLEvaluator5.png]]  
 
+
[[Image:OCLEvaluator5.png]]
+
 
+
*An OCL checker that:
+
**Evaluate a list of constraints and queries on any EMF model
+
 
+
[[Image:OCLChecker global.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
 
**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
+
**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]]
  
[[Image:TOPCASED OCL batch.png]]
+
The goal of this project is to contribute these tools to MDT OCL, and to propose a few improvements as:
  
**Can raise errors, warnings, information and rule failure messages
+
*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]]
[[Image:OCLEditorAnnotation2.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].  
 
More information about those tools [http://gforge.enseeiht.fr/docman/view.php/30/3474/TPC_OCL_Tutorial_v1.0.pdf here].  
  
The goal of this project is to contribute these tools to MDT OCL, and to propose a few improvements as:
+
== Schedule  ==
 
+
*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) ==
+
  
The project is scheduled to be ready on December, 2011 as part of MDT OCL.
+
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.