Erratum to: Design for service compatibility

Unfortunately, the original article has been published with errors that are corrected below. Fig. 14 BPMN with sequence flow labels and corresponding labelled behaviour diagram The correct Fig. 14b shows the poststates of " Say sorry " and " Ship products " as a single state. The corrected text in Example 17 should read: Consequently, AccLog[Buyer]*XBuyer becomes a non-invocation consistent extension to AccLog[Buyer] and behaviour service compatibility is no longer given: The online version of the original article can be found under