Difference between revisions of "MDT OCL/Ocl Checker"

From Eclipsepedia

Jump to: navigation, search
(Schedule (dates tentative))
 
(3 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 8: Line 8:
 
**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:  
 
*An OCL checker that:  
Line 28: Line 26:
 
== Schedule  ==
 
== Schedule  ==
  
This project is already in progress and should be completed before the end of 2013.
+
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.