OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

wsbpel message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: 82.3 amendments


 

Change busines sprotocol to behavior contracts

Change must not back to caps
This section clarifies the meaning of using opacity of variables in interaction activities. If a no variable reference is opaque specified iin ann inbound interaction message activity which receives an incoming message, then the abstract process must not – and has no way to - MUST NOT subsequentlysubsequently refer to the received message or its properties, if any. If athe variable reference is omitted opaque for an outbound message activity that sends an outgoing message, then each executable completion must have already initialized the  any properties of the message that gets used by that activity. are considered to have been initialized through opaque assignment,

Delete these paragraphs:  

When variable references are opaqueomitted in interaction message activities, correlation set references may be interpreted as follows: [ryk1] 

 

1.      When an incoming message initializes a correlation set (initiator case), the correlation set is considered to be initialized.

2.      When an outgoing message initializes a correlation set (initiator case), the correlation tokens (message (properties) must beare initialized in any executable completion. through an implicit opaque assignment.

3.      For an outgoing message which references but does not initialize a correlation set (follower case), the proper initialization of the  message properties  must be done in the executable completions. is implicit. In this case, the already initialized correlation set itself provides the token values for the outgoing message.

It is not possible to arbitrarily mix interaction message activities that use variable references with those that don’t. If a correlation set is initialized by rules 1 or 2 above, then outgoing messages using the same correlation set MUST also refrain from referencing a message variable. This restriction applies because it is not possible to initialize the properties of the outgoing messages from the correlation set alone.

o Change from: "It is not allowed to modify (in an
                <assign> activity or otherwise) the endpoint reference
                of a partnerLinks..."
              o Change to: "An <assign> activity or otherwise MUST NOT
                modify the endpoint reference of a partnerLinks..."




Regards, Diane
IBM  Emerging Internet Software Standards
drj@us.ibm.com
(919)254-7221 or 8-444-7221, Mobile: 919-624-5123, Fax 845-491-5709



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]