Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "MDT OCL/Ocl Checker"
m (→Proposal) |
(→Proposal) |
||
| 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.atosorigin.com Atos Origin] and sponsored by [http://www.airbus.com/ Airbus] in the context of [http://www.opees.org OPEES]. | ||
| − | = 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: | |
| − | The goal of this project is to contribute these tools to MDT OCL, and to propose a few improvements as: | + | *An OCL evaluator, aiming to support and make the development of OCL rules easier. This view offers: |
| − | * Advanced meta-data around OCL rules: dependencies between rules, error messages, model scope. | + | **Choosing of a test model or (auto-)adaptating to the selection<br> |
| − | * Auto-generation of OCL verification plug-ins based on rules files. | + | **OCL auto-completion |
| − | * Integration with the new MDT OCL rules editor. | + | **Decomposing complex OCL step by step to make debugging easier |
| + | |||
| + | [[Image:OCLEvaluator5.png]] | ||
| + | |||
| + | *An OCL checker that: | ||
| + | **Evaluate a list of constraints and queries on any EMF model | ||
| + | |||
| + | [[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 | ||
| + | |||
| + | [[Image:TOPCASED OCL batch.png]] | ||
| + | |||
| + | **Can raise errors, warnings, information and rule failure messages | ||
| + | |||
| + | [[Image:OCLEditorAnnotation2.png]] | ||
| + | |||
| + | 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: | ||
| + | |||
| + | *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. | The project is scheduled to be ready on December, 2011 as part of MDT OCL. | ||
Revision as of 15:49, 11 September 2013
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. 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
- Choosing of a test model or (auto-)adaptating to the selection
- An OCL checker that:
- Evaluate a list of constraints and queries on any EMF model
- 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 raise errors, warnings, information and rule failure messages
More information about those tools here.
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.