RE: [wsbpel] Issue - 25 - Consistent enablement of compensation handlers

There appear to be two parts to this issue.

Part 1:  What are the semantics of a compensation handler specified for
the business process as a whole when the enableInstanceCompensation
attribute is set to "no"? If instance compensation is not enabled then
it should be an error to define a compensation handler. This should be
clarified.

SRT:  Agreed.  This is a statically detectable error.

Part 2:  If the intent is to disable default compensation when no
compensation handler is defined then another alternative is to assume
that no compensation is possible if no compensation handler is defined
(and the same for scopes).

SRT:  This is not the intent. Rather, the intent is dual: that "no
compensation is possible" needs to be expressed explicitly using the
following compensation handler

<compensationHandler>
  <empty/>
</compensationHandler>
 

Satish