[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [mdt-ocl.dev] OCL tools contributions
|
Hi Sébastien
Contributions are welcome. However you will need to be clearer about how
your contributions fit with existing functionality.
1) There already is an OCL evaluator.
It can be invoked via the OCL class API or through the
ocl.examples.interpreter console.
However it lacks 'single step' execution so perhaps you have some useful
debugger integration.
2) There is an OCL checker; we call it a validator.
At present rather too much checking is performed during the analysis
rather than validation phases.
3) There is an OCL editor plan.
The M2M/QVT Declarative project has developed an LPG-based OCL editor
which is planned to be moved to MDT/OCL.
This editor has semantic validation, so performs useful OCL checking on
an OCL document.
-------------------------------
There is a long outstanding
https://bugs.eclipse.org/bugs/show_bug.cgi?id=259922 " Overhaul the OCL
Example " which covers enhanced user interactivity. A slightly random
thought suggests that it would be nice to allow a model to exist in one
view, an OCL document in another, and an OCL console in a third, to
allow document evaluation.
We would be grateful for any help in this area, which perhaps aligns
well with TopCased's enhanced user experience. We're doing the basic
tools, you're making them powerful.
Regards
Ed Willink
Sébastien GABEL wrote:
Dear MDT OCL team,
as discussed during the modeling symposium of Eclipsecon 2009, we plan
to contribute some OCL components developed in TOPCASED to MDT OCL.
The targeted components are:
1) The OCL evaluator, allowing to evaluate a rule step by step on a
test model.
2) The OCL checker, that makes the OCL engine available to final users
for model verification. It includes a rule chooser, organizes the
results in a GUI, serializes the results in a XMI file, and generates
custom verification reports (based on acceleo templates). It also
contributes messages to the problems view and gives the possibility to
navigate to the corresponding model element.
3) Optionally, our OCL editor may be contributed, but as it needs a
complete redesign, it may be better to start a new one from scratch
later? ;-)
To begin somewhere, and if of course you are interested in this
component, I may work on the integration of the OCL evaluator in MDT
OCL from now to the end of 2009.
What is you opinion about this proposal ?
Sebastien Gabel
Communication and Systems
PS: You can find more information including screenshots about those
components at
http://gforge.enseeiht.fr/docman/view.php/30/3474/TPC_OCL_Tutorial_v1.0.pdf
----------------------------------------------------------------
Ce message electronique et tous les fichiers joints qu'il contient
(ci-apres "le message") sont confidentiels et destines exclusivement a
l'usage des destinataires indiques ou des personnes dument habilitees
a les recevoir a leur place.
Si vous recevez ce message par erreur, merci de bien vouloir le
detruire et d'en avertir l'emetteur.
Toute utilisation de ce message non conforme a sa destination, toute
diffusion ou toute publication totale ou partielle est interdite sauf
autorisation expresse de l'emetteur.
Les idees et opinions exprimees dans ce message sont celles de son
auteur et ne representent pas necessairement celles de CS
Communication & Systemes ou de ses filiales.
Malgre toutes les dispositions prises par CS Communication & Systemes
et ses filiales pour minimiser les risques de virus, les fichiers
joints a ce message peuvent contenir des virus qui pourraient
endommager votre systeme informatique. Il vous appartient d'effectuer
vos propres controles anti-virus avant d'ouvrir les fichiers joints.
CS Communication & Systemes et ses filiales declinent toute
responsabilite pour toute perte ou dommage resultant de l'utilisation
de ce message et/ou des fichiers joints.
This e-mail and any file attached hereto (hereinafter 'the e-mail')
are confidential and intended solely for the use of the adressees
indicated below or the persons duly entitled to receive them in their
place.
If you receive this e-mail in error, please delete it and notify the
sender.
Any use of this e-mail not in accordance with its purpose, any
dissemination or disclosure, either whole or partial, is prohibited,
unless formally approved by the sender.
The ideas or opinions expressed in this e-mail are solely those of its
author and do not necessarily represent those of CS Communication &
Systeme or its affiliates.
Despite all the measures taken by CS Communication & Systeme and its
affiliates in order to minimize the risks of virus, the files attached
to this e-mail may contain virus which could damage your information
system. You are responsible for processing your own anti-virus
checking before opening any file attached hereto. Neither CS
Communication & Systemes, nor its affiliates, shall be held liable for
any loss or damage due to the use of this e-mail or any file attached
hereto.
_______________________________________________
mdt-ocl.dev mailing list
mdt-ocl.dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/mdt-ocl.dev