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...)
 
m (Proposal)
Line 3: Line 3:
 
= 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:
 
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 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).
+
* 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:
 
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.
+
* Advanced meta-data around OCL rules: dependencies between rules, error messages, model scope.
* auto-generation of OCL verification plug-ins based on rules files.
+
* Auto-generation of OCL verification plug-ins based on rules files.
 
* Integration with the new MDT OCL rules editor.
 
* Integration with the new MDT OCL rules editor.
  
 
== Schedule (dates tentative) ==
 
== Schedule (dates tentative) ==
 
The project is scheduled to be ready on December, 2011 as part of MDT OCL.
 
The project is scheduled to be ready on December, 2011 as part of MDT OCL.

Revision as of 06:50, 26 May 2011

This work is developed by Atos Origin and sponsored by Airbus in the context of OPEES.

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:

  • 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.