Re: complementOf -> viewOf: proposed text

Hi Paolo,

May I make a suggestion:

Could the text be rephrased:

/B is a specialization of A, written specializationOf(B,A) captures the 
intent of assertion (1);/

This sentence refers to A, B whereas (1) refers to e1, e2, e3. I think 
it would be nice
to make it a standalone definition, which we can link to.

Also, to adopt the same style as other records, is it possible to 
include the components
of these records, and in particular, how we name A and B components?


On 12/15/2011 03:25 PM, Paolo Missier wrote:
> Hi,
> in response to the comments about complementarity on the wiki and on 
> the list, we have prepared a revised version of the section,
> where "complementarity" disappears in favour of "viewOf", and the 
> definition is hopefully simplified and more in line with the
> expectations:
> (the anchor name hasn't changed :-))
> this is for feedback as per today's agenda
> atb -Paolo

Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email:
United Kingdom           

Received on Monday, 16 January 2012 17:17:29 UTC