Constructing minimal protocol adaptors for service composition
R.E. Seguel Pérez, Rik Eshuis, Paul W. P. J. Grefen · 2009
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.