In this section the divergenced from the specification relating to static analysis requirements are described.
from-spec used for variable initialization (BPEL 2.0 Section 8.1) is not supported, however a patch is available (see ODE-236).
In addition to regular variables that are managed by the engine according to the BPEL specification, ODE adds support for variables whose content is stored externally yet transparently accessible from the engine. See External Variables for more information.
In this section the divergences from the specification for each standard BPEL activity are described.
There are several major issues with support for the
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
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:[conflictingReceive](conflictingreceive.html) --- 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 is never thrown.
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
<reply> activities, the
<fromPart>> syntax are not supported. Similarly, the
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](invalidvariables.html) fault is never thrown by an <assign> activity.
Inline assignment as part of the variable declaration isn't currently supported.
ODE currently uses the
expressionLanguage attribute to determine the language used in assignments instead of using the
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.
<throw> activity is fully compliant with the specification.
<exit> activity is fully compliant with the specification.
<wait> activity is fully compliant with the specification.
<empty> activity is fully compliant with the specification.
<sequence> activity is fully compliant with the specification.
<if> activity is fully compliant with the specification.
<while> activity is fully compliant with the specification.
<repeatUntil> activity is fully compliant with the specification.
<forEach> activity is fully compliant with the specification. ODE supports both sequential and parallel for-each semantics.
<flow> activity is fully compliant with the specification.
Isolated scopes are implemented in ODE's experimental branch (as of September 2007) and will be released in ODE 2.x.
ODE v1.0/1.1 do not support isolated scopes nor do they support "exit on standard fault" semantics. Hence, a BPEL 2.0 process will be interpreted as if any
exitOnStandardFault attributes on
<scope> elements did not exist.
<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.
<compensateScope> activity is fully compliant with the specification.
<rethrow> activity is fully compliant with the specification.
<validate> activity is not implemented by ODE. Processescontaining such activities will cause a compilation failure.
Activity extension is not supported in ODE. There is an implementation in the ODE experimental branch.