Constructing minimal protocol adaptors for service composition

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationProceedings of the 4th Workshop on Emerging Web Services Technology, November 9, 2009, Eindhoven
EditorsW. Binder, E. Wilde
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
ISBN (Print)978-1-60558-776-9
Publication statusPublished - 2009

Publication series

NameACM International Conference Proceeding Series


Dive into the research topics of 'Constructing minimal protocol adaptors for service composition'. Together they form a unique fingerprint.

Cite this