Re: [wsbpel] Issue 252 - proposal for vote

[Dieter Koenig1 <dieterkoenig@de.ibm.com>]

+1

Kind Regards
DK



                                                                       
             Alex Yiu                                                  
             <alex.yiu@oracle.                                         
             com>                                                       To
                                       Alex Yiu <alex.yiu@oracle.com>  
             31.03.2006 17:33                                           cc
                                       wsbpeltc                        
                                       <wsbpel@lists.oasis-open.org>,  
                                       Dieter Koenig1/Germany/IBM@IBMDE,
                                       Simon D Moser/Germany/IBM@IBMDE,
                                       Danny van der Rijn              
                                       <dannyv@tibco.com>              
                                                                   Subject
                                       [wsbpel] Issue 252 - proposal for
                                       vote                            
                                                                       
                                                                       
                                                                       
                                                                       
                                                                       
                                                                       





Hi all,

This is the *formal* proposal for *vote*.

The proposal is virtually the same compared with my last email with some
minor supplement texts are added at the end.

In Section "8.3. Expressions"
After this paragraph:
-------------------------------
WS-BPEL uses several types of expressions, as follows (relevant usage
contexts are listed in parentheses):
      Boolean expressions (transition, join, while, and if conditions)
      Deadline expressions (until expression of onAlarm and wait)
      Duration expressions (for expression of onAlarm and wait, repeatEvery
      expression of onAlarm)
      Unsigned Integer expressions (startCounterValue, finalCounterValue,
      and branches in forEach)
      General expressions (assign)
-------------------------------

Add the following paragraph:
-------------------------------
When the above first four types of expressions are being used, the
corresponding expressions SHOULD return values which are valid according to
the corresponding XML Schema types:
      Boolean expressions should return valid values of xsd:boolean
      Deadline expressions should return valid values of xsd:date and
      xsd:dateTime
      Duration expressions should return valid values of xsd:duration
      Unsigned Integer expressions should return valid values of
      xsd:unsignedInt
Otherwise, a bpel:invalidExpressionValue fault SHOULD be thrown. Implicit
data conversion or casting MAY be applied when computing returned values
from expressions, based on the data model or type conversion semantics
established in the underlying expression language.

The following values conversion and validity checking semantics MUST be
applied when  WS-BPEL's default binding to XPath 1.0
("urn:oasis:names:tc:wsbpel:2.0:sublang:xpath1.0") is used as the
expression language:
      For WS-BPEL Boolean expressions, XPath's boolean(object) function is
      used to convert the expression result into a Boolean value if needed.
      For WS-BPEL Deadline expressions, XPath's string(object) function is
      used to convert the expression result into a string value if needed.
      The string value MUST be valid values of xsd:date and xsd:dateTime.
      Otherwise, a bpel:invalidExpressionValue fault MUST be thrown.
      For WS-BPEL Duration expressions, XPath's string(object) function is
      used to convert the expression result into a string value if needed.
      The string value MUST be valid values of xsd:duration. Otherwise, a
      bpel:invalidExpressionValue fault MUST be thrown.
      For WS-BPEL Unsigned Integer expressions, XPath's number(object)
      function is used to convert the expression result into a numeric
      value if needed. The numeric value MUST be valid values of
      xsd:unsignedInt (i.e. neither negative or NaN and it must be an
      integer value). Otherwise, a bpel:invalidExpressionValue fault MUST
      be thrown.
-------------------------------

Add the following fault description to Appendix A:
-------------------------------
invalidExpressionValue fault
throw when an expression used within a WS-BPEL construct (non-<assign>
construct) returns an invalid value (for example, the branches expression
within <forEach> returns -1)
-------------------------------


Thanks!


Regards,
Alex Yiu