ebBP 4/8/2005: Comment re: Tree Diagrams for State Transitions(wd11-schema 4/1)

["Monica J. Martin" <Monica.Martin@Sun.COM>]

In Tuesday's call, we agreed to add more text re: timeouts, and success 
and failure. Proposed text for schema annotation and technical 
specification are provided below. Comments welcome. Thanks.

====================================================================================
Tech spec
Section 4.8.3  Computation of the Status of a Business Activity
Change from:
In addition to a corresponding figure earlier in Section 4.7.1, each 
tree diagram provides useful views into different relations that are 
represented.

Change to:
[add after sentence]
In addition to a corresponding figure earlier in Section 4.7.1, each 
tree diagram provides useful views into different relations that are 
represented.  For example, business success and failure relate to the 
business documents received.  While conversely, any timeout is a 
business protocol failure, i.e. the state is not aligned.

Schema
Change from:
- <#> <xsd:simpleType name="*ConditionGuardValue*">
- <#> <xsd:annotation>
  <xsd:documentation>The simpleType related to the enumerated list for 
the guard values associated with the FromLink in a Completion State. 
Each of the FromLinks in a Completion State can be specified to 
transition as a result of the ConditionGuardValues. This check is made 
everytime a transition occurs from the real states. Because the 
FromLinks generally are from a specific state, only when that state has 
been reached is the check of conditionGuards from that state checked. 
Note, this simpleType was added in v2.0.</xsd:documentation>
  </xsd:annotation>
- <#> <xsd:restriction base="*xsd:NMTOKEN*">
  <xsd:enumeration value="*ProtocolSuccess*" />
  <xsd:enumeration value="*AnyProtocolFailure*" />
  <xsd:enumeration value="*RequestReceiptFailure*" />
  <xsd:enumeration value="*RequestAcceptanceFailure*" />
  <xsd:enumeration value="*ResponseReceiptFailure*" />
  <xsd:enumeration value="*ResponseAcceptanceFailure*" />
  <xsd:enumeration value="*SignalTimeout*" />
  <xsd:enumeration value="*ResponseTimeout*" />
  <xsd:enumeration value="*BusinessSuccess*" />
  <xsd:enumeration value="*BusinessFailure*" />
  <xsd:enumeration value="*Success*" />
  <xsd:enumeration value="*Failure*" />
  </xsd:restriction>
  </xsd:simpleType>

Change to:
- <#> <xsd:simpleType name="*ConditionGuardValue*">
- <#> <xsd:annotation>
  <xsd:documentation>The simpleType related to the enumerated list for 
the guard values associated with the FromLink in a Completion State. 
Each of the FromLinks in a Completion State can be specified to 
transition as a result of the ConditionGuardValues. This check is made 
everytime a transition occurs from the real states. Because the 
FromLinks generally are from a specific state, only when that state has 
been reached is the check of conditionGuards from that state checked. 
Business success and failure relate to the business documents received.  
While conversely, any timeout is a business protocol failure, i.e. the 
state is not aligned. Note, this simpleType was added in 
v2.0.</xsd:documentation>
  </xsd:annotation>
- <#> <xsd:restriction base="*xsd:NMTOKEN*">
  <xsd:enumeration value="*ProtocolSuccess*" />
  <xsd:enumeration value="*AnyProtocolFailure*" />
  <xsd:enumeration value="*RequestReceiptFailure*" />
  <xsd:enumeration value="*RequestAcceptanceFailure*" />
  <xsd:enumeration value="*ResponseReceiptFailure*" />
  <xsd:enumeration value="*ResponseAcceptanceFailure*" />
  <xsd:enumeration value="*SignalTimeout*" />
  <xsd:enumeration value="*ResponseTimeout*" />
  <xsd:enumeration value="*BusinessSuccess*" />
  <xsd:enumeration value="*BusinessFailure*" />
  <xsd:enumeration value="*Success*" />
  <xsd:enumeration value="*Failure*" />
  </xsd:restriction>
  </xsd:simpleType>