W3C home > Mailing lists > Public > public-ws-chor-comments@w3.org > November 2004

Re: New issue with possible solution - Unbound free variables

From: Greg Ritzinger <gritzinger@novell.com>
Date: Tue, 02 Nov 2004 12:38:08 -0700
Message-Id: <s1877fba.088@sinclair.provo.novell.com>
To: <steve@enigmatec.net>,<Monica.Martin@Sun.COM>
Cc: <public-ws-chor@w3.org>,<public-ws-chor-comments@w3.org>
Monica, 
 
This has been logged as issue 916. 
 
Greg

>>>Monica J. Martin <Monica.Martin@Sun.COM> 11/02/04 12:28 pm >>>


>SRT: If a free variable in an enclosed choreography is not BOUND
>then what is the variables status? Does it have a value or is it said
>to be undefined? My concern is if any conditional logic is based on
>the value of a free variable that is UNBOUND it may have unexpected
>consequences.
>
>One possible solution is to add a default value to the definition of
>the variable within the choreography in which it is defined. The
>semantics would be such that free variables that are not bound take on
>the default value. The absence of a default value for a free variable
>that is UNBOUND would result in a type error or a warning being
>generated on parsing the CDL file(s) in which it is defined.
>
>At alternative would be to have no default value and simply add the
>necessary text (above) so that it is made clear how to parse a CDL
>document and what to report as an error or warning.

mm1: Steve, has this been logged as an issue or agreed upon? Thanks.
Received on Tuesday, 2 November 2004 19:38:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:20:10 GMT