An efficient method to construct minimal protocol adaptors

R.E. Seguel Pérez, H. Eshuis, P.W.P.J. Grefen

Onderzoeksoutput: Boek/rapportRapportAcademic

53 Downloads (Pure)


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. We present an efficient, automated method to construct (if possible) a minimal adaptor for two business protocols containing parallelism and loops. First, the method finds the minimal set of messages exchanged needing adaptation, using behavioral relations on the protocol syntax to identify mismatches. Next, it generates in an efficient way an adaptor from the minimal set of messages. This minimal adaptor is compatible with the protocols, it reduces process complexity and it improves run-time performance of the automated service composition. We have implemented the method in a tool for adapting two business protocols. We apply it to an example case study from the healthcare domain.
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's19
ISBN van geprinte versie978-90-386-1924-8
StatusGepubliceerd - 2009

Publicatie series

NaamBETA publicatie : working papers
ISSN van geprinte versie1386-9213


Duik in de onderzoeksthema's van 'An efficient method to construct minimal protocol adaptors'. Samen vormen ze een unieke vingerafdruk.

Citeer dit