This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1108 - Isolated sub-choreography terminates unsuccessfully (needs clarification)
Summary: Isolated sub-choreography terminates unsuccessfully (needs clarification)
Status: CLOSED FIXED
Alias: None
Product: WS Choreography
Classification: Unclassified
Component: Last Call Comment: Confirmed Closed (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 normal
Target Milestone: --
Assignee: Martin Chapman
QA Contact: Martin Chapman
URL: http://lists.w3.org/Archives/Public/p...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-02-07 20:31 UTC by Greg Ritzinger
Modified: 2005-09-28 21:19 UTC (History)
0 users

See Also:


Attachments

Description Greg Ritzinger 2005-02-07 20:31:27 UTC
When an isolated sub-choreography terminates unsuccessfully, does this mean that
any changes made to variables bound from its parent choreography are made
visible - or are they discarded.

The text in 2.4.5 only talks about the variables being made visible for read and
write after the choreo has completed - but does not indicate whether that only
means successful completion.
Comment 1 Martin Chapman 2005-02-15 21:00:56 UTC
agreed on con call 15-feb-05:

required further discussion
Comment 2 Martin Chapman 2005-03-08 10:51:47 UTC
Discussed at feb-mar 05 F2F:

http://lists.w3.org/Archives/Member/member-ws-chor/2005Mar/att-
0001/Ws_Chor_f2f__Feb-Mar_2005_-0.txt

nick: with isolation=true, you have either all visible or all discarded, in an 
atomic way
<charlton> We're discussing visibility at the sub-choreography or the parent 
scope?
Nick clarified the intent of isolation of enclosing choreo
martin: clarification needs to be explicit in the spec
<SRT> The first choreo that sets isolation to true all sub choreo's inherit the 
isolation
Choreo parent | 	T 		| F
\____________ |		     |
Child 	\      --------------|----------- |
T 	|	 isolation   | 	isolation wrt
	|          of parent | 	child only
	| takes              |
	| precedence         |
	-------------- --------------------------
F 	| see above 	   | no isolation

resolution of the issue is clarification of the spec based on table and above 
sentence
Comment 3 Martin Chapman 2005-05-10 16:49:23 UTC
Gary has been informed of the group's decision [1] and we are 
awaiting 
confirmation. Category changed to LCC: Closed.

[1] http://lists.w3.org/Archives/Public/public-ws-chor-
comments/2005May/0018.html
Comment 4 Martin Chapman 2005-05-12 11:27:09 UTC
the resolution of this was desputed, so i have reclassified as LCC: technical 
and reopened bug
Comment 5 Greg Ritzinger 2005-05-27 18:32:48 UTC
In 2.4.5 Choreographies added the sentence after the bullets on the isolation
attribute:If a choreography has its isolation set to true, then any and all sub
choreographies it has are also isolated.
Comment 6 Martin Chapman 2005-09-28 21:18:24 UTC
resolved at the 28th June 05 meeting:
http://www.w3.org/2002/ws/chor/5/06/28-minutes.html
Change: 

When isolation is set to "true", changes to the Variable information MUST be 
visible for read or for write to its sibling Choreographies only after this 
Choreography has completed
        
To: 

When isolation is set to "true", changes to the Variable information MUST be 
visible for read or 
for write to its sibling Choreographies only after this Choreography has 
completed successfully. If 
the Choreography completes unsuccessfully,then the changes to the variables 
will be discarded.
Comment 7 Martin Chapman 2005-09-28 21:19:27 UTC
since this was raised by a group member and the group resolved this as at 
meeting, it has been closed confirmed.