Re: OCL 2.0 FTF Issues: Satisfaction of Operation Specifications



Date view Thread view Subject view Author view Attachment view

From: Hubert Baumeister (baumeist@informatik.uni-muenchen.de)
Date: Mon 03 Nov 2003 - 14:20:24 GMT


Daniel Jackson wrote:
[..]
> i'd be very wary of linking any particular notion of refinement to a 
> modelling language. different circumstances might need different 
> notions, and there's no reason that the language should be tied to one. 
> i wonder, for example, if you've considered the difference between 
> preconditions as disclaimers and preconditions as firing conditions.
> 
> even for the standard notion of preconditions as disclaimers, your 
> particular definition seems too narrow to me. requiring the program to 
> be a function will rule out many reasonable implementations that are 
> non-deterministic -- hash tables, for example.
> 

We agree that our proposal is not the most general solution, merely an improvement over the current 
definition.

Greetings,
	Hubert

-- 
Dr. Hubert Baumeister, Institut fr Informatik, Universitt Mnchen
mailto:baumeist@informatik.uni-muenchen.de
http://www.informatik.uni-muenchen.de/~baumeist
phone (x49-89)2180-9375  * fax -9175

Date view Thread view Subject view Author view Attachment view