[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]