Constructing minimal protocol adaptors for service composition

Abstract

Two composed interacting services reach a deadlock if their business protocols have behavioral mismatches. A protocol adaptor can resolve deadlocks. However, existing methods build adaptors that process all messages exchanged by the protocols, even if only some messages cause a deadlock.