684 2004-04-19 16:01:29 +0000 Variable and role assumptions 2004-10-05 20:15:17 +0000 1 1 1 Unclassified WS Choreography Spec: Requires Clarification unspecified Other other RESOLVED INVALID http://lists.w3.org/Archives/Public/public-ws-chor/2004Apr/0019.html P2 normal -- 1 gritzinger gritzinger oldest_to_newest 1722 0 gritzinger 2004-04-19 16:01:29 +0000 Section 2.4.2 1. At the end of this section, you indicate that if roles are not declared with a Role, that the variables apply to the relationship of which a role could have been declared. How do these assumptions impact your premises on important and performed choreographies? Without explicitness, many assumptions could apply: Apply a Relationship R, error occurred, role was incorrectly specified, etc. Concerns relate to all of Section 2.4.6 (may impact isolation). 1897 1 martin.chapman 2004-05-20 13:49:46 +0000 Variable and role assumptions. request clarification from issue raiser (Monica), a small example would help 2450 2 gritzinger 2004-10-05 20:06:04 +0000 Section 2.4.2 Original question (snippet 1): At the end of this section, you indicate that if roles are not declared with a Role, that the variables apply to the relationship of which a role could have been declared. (snippet 2): Apply a Relationship R, error occurred, role was incorrectly specified, etc. Concerns relate to all of Section 2.4.6 (may impact isolation). These were requests to require that the roles associated with variables be explicit, i.e signifiying they are global to all roles in the tuple, rather than implicit because they are not specified. (snippet 3): How do these assumptions impact your premises on import and performed choreographies? I think this was somewhat answered in the resolution on Import Definitions (the scope of which was undefined when this issue was written). Also see response on Issue 615. Thirdly, given the isolation question raised by Enigmatic, the explicit option may also be more important.