This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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).
Variable and role assumptions. request clarification from issue raiser (Monica), a small example would help
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.