This page provides information on ODE's compliance to the final WS-BPEL 2.0 specification released by OASIS.
Static Analysis
In this section the divergenced from the specification relating to static analysis requirements are described.
Activities
In this section the divergences from the specification for each standard BPEL activity are described.
There are several major issues with support for the <receive> activity.
ODE does not yet support the <fromPart> syntax. Therefore, the variable attribute must be used. Furthermore, only message variables can be referenced with the variable attribute, whereas the specification permits referencing of an element-typed variable if the WSDL for the request message contains a single element-typed part.
Multiple start activities as described in section 10.4, and 15.4 of the specification) are not officially supported. This precludes the use of initiate="join".
ODE does not provide the ordering guarantees described in section 10.4 of the specification. Also, it does not enforce the ordering requirements described in the same section. Hence, the BPEL code
<flow>
<receive ... createInstance="yes" />
<assign ... />
</flow>
is illegal according to the BPEL specification, but allowed by ODE.
The specification defines two standard faults — bpel:conflictingRequest![]()
and bpel:conflictingReceive![]()
— to deal with two similar error conditions relating to multiple outstanding requests on a single partner-link/operation/messageExchange tuple. ODE does not distinguish between these two conditions and conflictingReceive is thrown whenever either of the conditions occurs. That is to say, in certain cases a conflictingReceive indicates a conflictingRequest, and conflictingRequest is never thrown.
Finally, the validate attribute — if present — is ignored: ODE currently provides no variable validation.
The conformance issues with the <reply> activity mirror those of the <receive> activity as described above: the <toPart> syntax is not supported, and variable attributes must reference message-typed variables.
Again, as in the <receive>> and <reply> activities, the <toPart>> and <fromPart>> syntax are not supported. Similarly, the inputVariable and outputVariable attributes must reference message-typed variables. Here too, the validate attribute is ignored.
The WS-BPEL 2.0 specification requires the <assign> activity to be atomic. Currently in ODE, each <copy> is atomic.
The specification also provides for validating variables at the end of an assignment using the validate attribute. ODE does not support this. This means that the bpel:invalidVariables fault is never thrown by an <assign> activity.
There are no other known divergences from the specification relating to the <assign> activity that would prevent the execution of valid BPEL assignments. ODE provides certain (non-standard) extensions to the <assign> activity that do not conform to the specification's requirements for assignment extensions. Consult the reference page for the <assign> activity for further details regarding non-standard extensions.
The <throw> activity is fully compliant with the specification.
The <exit> activity is fully compliant with the specification.
The <wait> activity is fully compliant with the specification.
The <empty> activity is fully compliant with the specification.
The <sequence> activity is fully compliant with the specification.
The <if> activity is fully compliant with the specification.
The <while> activity is fully compliant with the specification.
The <repeatUntil> activity is fully compliant with the specification.
The <pick> activity has the same issues as the <receive> activity.
The <flow> activity is fully compliant with the specification.
ODE does not support isolated scopes nor does it support "exit on standard fault" semantics. Hence, a BPEL 2.0 process will be interpreted as if any isolated and exitOnStandardFault attributes on <scope> elements did not exist.
The <compensate> activity is not compliant with the specification. In ODE, this activity has the same effect and syntax as <compensateScope>. In addition, the scope attribute may be used in place of the target attribute with the same effect; and ODE expects one of these attributes must be specified.
The <compensateScope> activity is fully compliant with the specification.
The <flow> activity is fully compliant with the specification.
The <validate> activity is not implemented by ODE. Processescontaining such activities will cause a compilation failure.
ODE does not implement support for the <extensionActivity>. Processes containing such activities will cause a compilation failure.
