ASM-based Semantics for BPEL: The Negative Control Flow.
Dirk Fahland, Wolfgang Reisig · 2005
BPEL is presently the most prominent language to specify and execute business processes, using Web Services as its technological basis. Particular problems arise when activities are faulty: faults have to be propagated, other activities have to be irregularly terminated, etc. We describe