An efficient method to construct minimal protocol adaptors

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

Research output: Book/ReportReportAcademic

23 Downloads (Pure)

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. 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
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages19
ISBN (Print)978-90-386-1924-8
Publication statusPublished - 2009

Publication series

NameBETA publicatie : working papers
Volume277
ISSN (Print)1386-9213

Fingerprint

Industry
Chemical analysis

Cite this

Seguel Pérez, R. E., Eshuis, H., & Grefen, P. W. P. J. (2009). An efficient method to construct minimal protocol adaptors. (BETA publicatie : working papers; Vol. 277). Eindhoven: Technische Universiteit Eindhoven.
Seguel Pérez, R.E. ; Eshuis, H. ; Grefen, P.W.P.J. / An efficient method to construct minimal protocol adaptors. Eindhoven : Technische Universiteit Eindhoven, 2009. 19 p. (BETA publicatie : working papers).
@book{5f60e2b8b79d498e81de6a346a05dba5,
title = "An efficient method to construct minimal protocol adaptors",
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. 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.",
author = "{Seguel P{\'e}rez}, R.E. and H. Eshuis and P.W.P.J. Grefen",
year = "2009",
language = "English",
isbn = "978-90-386-1924-8",
series = "BETA publicatie : working papers",
publisher = "Technische Universiteit Eindhoven",

}

Seguel Pérez, RE, Eshuis, H & Grefen, PWPJ 2009, An efficient method to construct minimal protocol adaptors. BETA publicatie : working papers, vol. 277, Technische Universiteit Eindhoven, Eindhoven.

An efficient method to construct minimal protocol adaptors. / Seguel Pérez, R.E.; Eshuis, H.; Grefen, P.W.P.J.

Eindhoven : Technische Universiteit Eindhoven, 2009. 19 p. (BETA publicatie : working papers; Vol. 277).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - An efficient method to construct minimal protocol adaptors

AU - Seguel Pérez, R.E.

AU - Eshuis, H.

AU - Grefen, P.W.P.J.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

M3 - Report

SN - 978-90-386-1924-8

T3 - BETA publicatie : working papers

BT - An efficient method to construct minimal protocol adaptors

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Seguel Pérez RE, Eshuis H, Grefen PWPJ. An efficient method to construct minimal protocol adaptors. Eindhoven: Technische Universiteit Eindhoven, 2009. 19 p. (BETA publicatie : working papers).