Re: [mdt-ocl.dev] Question regarding numeric types

["Willink, Ed" <Ed.Willink@xxxxxxxxxxxxxxx>]

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