Ed2 short to Ed1 long conversion

[Wilson, Peter R]

Jochen,

    Here's a quick scenario. The only Ed2 to Ed1 conversion algorithm that I
have seen is in the Shtolo White Paper, and I may not be interpreting that
correctly, but here goes anyway. I'm also assuming that the final Ed2 will
not have language version identifier.

    The White Paper algorithm that I am using for mapping Ed2 ENUMERATIONS
to Ed1 is that any BASED_ON is extended to include all its "parents" items,
and that any EXTENSIBLE is extended to include all the items in BASED-ONs of
the EXTENSIBLE that are visible to it.

******** A couple of schemas and Ed2 to Ed1 mappings

SCHEMA s1; -- Ed2
  TYPE colour = EXTENSIBLE ENUMERATION OF (p); END_TYPE;
  TYPE traffic_light = ENUMERATION BASED_ON colour WITH (r, y, g); END_TYPE;
END_SCHEMA;

SCHEMA s1; Ed1 mapped from the Ed2 s1
  TYPE colour = ENUMERATION OF (p, r, y, g); END_TYPE;
  TYPE traffic_light = ENUMERATION OF (p, r, y, g); END_TYPE;
END_SCHEMA;

SCHEMA s2; -- Ed2
  USE FROM s1 (colour);
  TYPE rainbow = ENUMERATION BASED ON colour WITH (v, i, b, g, y, o, r);
END_TYPE:
END_SCHEMA;

SCHEMA s2; -- Ed1 mapped from Ed2 s2 and Ed1 s1
**** ERROR colour is not extensible
END_SCHEMA s2;

SCHEMA s2; -- Ed1 mapped from Ed2 s1 and Ed2 s2
  USE FROM s1 (colour);
  TYPE rainbow = ENUMERATION OF (v, i, b, g, y, o, r); END_TYPE;
END_SCHEMA;

**** Short to long versions of SCHEMA s2

SCHEMA s2long; -- Ed2 long version of Ed2 s2 and s1
  TYPE colour = EXTENSIBLE ENUMERATION OF (p);
  TYPE rainbow = ENUMERATION BASED ON colour WITH (v, i, b, g, y, o, r);
END_TYPE;
END_SCHEMA;  

SCHEMA s2long; -- Ed1 version converted from s2long Ed2 version
  TYPE colour = ENUMERATION OF (p, v, i, b, g, y, o, r); END_TYPE;
  TYPE rainbow = ENUMERATION OF (p, v, i, b, g, y, o, r); END_TYPE;
END_SCHEMA;  

SCHEMA s2long; -- Ed1 long version of Ed1 s2 and s1
  TYPE colour = ENUMERATION OF (p, r, y, g); END_TYPE;
  TYPE rainbow = ENUMERATION OF (p, v, i, b, g, y, o, r); END_TYPE;
END_SCHEMA;  

    Interesting, isn't it?

Peter W.
 
Dr Peter R. Wilson
Boeing Commercial Airplanes
PO Box 3707, MS 6H-AF, Seattle, WA 98124-2207
(Package Delivery: MS 6H-AF, 1601 E. Valley Frontage Road, Renton, WA 98055)
Tel: (425) 237-3506, Fax: (425) 237-3428
Email: peter.r.wilson at boeing.com
--------------------------------
Any opinions expressed above are personal;
they shall not be construed as representative of any organisation.
--------------------------------
 

> -----Original Message-----
> From: Jochen Haenisch [mailto:Jochen.Haenisch at epmtech.jotne.com]
> Sent: Tuesday, May 14, 2002 10:14 AM
> To: 'Wilson, Peter R'; 'wg11'
> Subject: RE: Ed2 short to Ed1 long conversion
> 
> 
> Peter,
> we should probably have a test case for this.
> Do you already see a potential candidate for such order dependence?
> Regards, Jochen.
> 
> > -----Original Message-----
> > From:	Wilson, Peter R [SMTP:peter.r.wilson at boeing.com]
> > Sent:	8. mai 2002 20:04
> > To:	'wg11'
> > Cc:	Wilson, Peter R
> > Subject:	Ed2 short to Ed1 long conversion
> > 
> >     The proposed algorithm ("Guidance for generating 
> long-form EXPRESS
> > schemas for all editions of EXPRESS", Feeney, Haenisch, 
> Price and Wasmer,
> > 2001/08/27) for short to long forms includes an Ed2 to Ed1 
> algorithm.
> > 
> >     Does anyone know if the overall algorithm is order 
> independent? That
> > is,
> > do you get the same result if you convert all the 
> participating schemas
> > (which in future will be a mix of Ed1 and Ed2) to Ed1 and 
> then do the
> > short-to-long process as when you do a short-to-long 
> process (resulting in
> > an Ed2 long) and then do the Ed2 to Ed1 conversion?
> > 
> > Peter W.
> > 
> > Dr Peter R. Wilson
> > Boeing Commercial Airplanes
> > PO Box 3707, MS 6H-AF, Seattle, WA 98124-2207
> > (Package Delivery: MS 6H-AF, 1601 E. Valley Frontage Road, 
> Renton, WA
> > 98055)
> > Tel: (425) 237-3506, Fax: (425) 237-3428
> > Email: peter.r.wilson at boeing.com
> > --------------------------------
> > Any opinions expressed above are personal;
> > they shall not be construed as representative of any organisation.
> > --------------------------------
> >  
>