While WS-BPEL defines a compensation model, transactional semantics and properties are not defined for Web services. These are needed in order that web services can be matched not only on services offered, but also on the supported transactional properties. As...