[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [mdt-ocl.dev] Question regarding numeric types
|
Hi Axel
> I generally like the idea of a library that defines semantics for a
> particular environment. For after Indigo it seems worthwhile
> exploring
> how to apply the evaluator you wrote for the Pivot model to the Ecore
> model and replace the old evaluator with it. It would gain
> most of the
> benefits of the new Pivot package while not raising the bar due to an
> additional model to be maintained.
The bulk of the pivot evaluator is meta-model independent, it's only for
PropertyCallExp and oclType that the Pivot MM view of classes/features are
required.
It may not be too hard to have these use the Ecore MM view directly.
> What is your suggestions w.r.t the "mature" implementation?
> Shouldn't we
> at least be able to specify exactly how it behaves even if we
> think this
> is not literally in line with what the specification says?
In principle it would be good to produce
EclipseOCL1.3.0.oclstdlib
EclipseOCL3.0.0.oclstdlib
that exactly reproduce the associated semantics. Producing these as
accurately
as their exiustence would suggest and ensuring that all their eccentricities
are
modellable would be a considerable effort. Few users want 100% of the bugs
replicated;
just the particular 10% that they misused. I suspect that this is just too
large and
not sufficiently useful that it will always be on the TODO list.
Regards
Ed
Please consider the environment before printing a hard copy of this
e-mail.
The information contained in this e-mail is confidential. It is intended
only for the stated addressee(s) and access to it by any other person is
unauthorised. If you are not an addressee, you must not disclose, copy,
circulate or in any other way use or rely on the information contained in
this e-mail. Such unauthorised use may be unlawful. If you have received
this e-mail in error, please inform us immediately on +44 (0)118 986 8601
and delete it and all copies from your system.
Thales Research and Technology (UK) Limited. A company registered in
England and Wales. Registered Office: 2 Dashwood Lang Road, The Bourne
Business Park, Addlestone, Weybridge, Surrey KT15 2NX. Registered Number:
774298
Thales UK Limited. A company registered in England and Wales. Registered
Office: 2 Dashwood Lang Road, The Bourne Business Park, Addlestone,
Weybridge, Surrey KT15 2NX. Registered Number: 868273