Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "MDT OCL/Ocl Checker"
(4 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | This work is developed by [http://www. | + | 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 26: | Line 24: | ||
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]. | ||
− | == 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.
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:
- An OCL checker that:
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
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.