iDSL: Automated Performance Evaluation of Service-Oriented Systems

Fredericus Gerrit Brand van den Berg, Boudewijn R.H.M. Haverkort, Jozef Hooman

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Abstract

Service-oriented systems are designed for interconnectingwith other systems. The provided services face timing con-straints, the so-called latencies. We present a high-level per-formance evaluation technique that can be used by a systemdesigner to obtain distributions of these latencies. This tech-nique is capable of capturing nondeterministic, probabilisticand real-time aspects in one go. Under the hood, the tech-nique is equipped with two mechanisms: (i) selection of theright abstraction of the model (to prevent a state space ex-plosion) by evaluating the performance of executing modelsof different complexities; and (ii) an efficient algorithm inwhich basic estimates, simulation, and (probabilistic) modelchecking are combined. We illustrate our approach with ancase on image processing of interventional X-ray systems.
Original languageEnglish
Title of host publicationModelEd, TestEd, TrustEd
EditorsRom Langerak, Arend Rensink
PublisherSpringer
ISBN (Print)978-3-319-68269-3
DOIs
Publication statusPublished - 27 Sep 2017
Externally publishedYes

Publication series

NameLecture Notes in Computer Science

Fingerprint

Image processing
X rays

Cite this

van den Berg, F. G. B., Haverkort, B. R. H. M., & Hooman, J. (2017). iDSL: Automated Performance Evaluation of Service-Oriented Systems. In R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-319-68270-9_11
van den Berg, Fredericus Gerrit Brand ; Haverkort, Boudewijn R.H.M. ; Hooman, Jozef. / iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd. editor / Rom Langerak ; Arend Rensink. Springer, 2017. (Lecture Notes in Computer Science).
@inbook{210b096e9d024173b110f085f5c87039,
title = "iDSL: Automated Performance Evaluation of Service-Oriented Systems",
abstract = "Service-oriented systems are designed for interconnectingwith other systems. The provided services face timing con-straints, the so-called latencies. We present a high-level per-formance evaluation technique that can be used by a systemdesigner to obtain distributions of these latencies. This tech-nique is capable of capturing nondeterministic, probabilisticand real-time aspects in one go. Under the hood, the tech-nique is equipped with two mechanisms: (i) selection of theright abstraction of the model (to prevent a state space ex-plosion) by evaluating the performance of executing modelsof different complexities; and (ii) an efficient algorithm inwhich basic estimates, simulation, and (probabilistic) modelchecking are combined. We illustrate our approach with ancase on image processing of interventional X-ray systems.",
author = "{van den Berg}, {Fredericus Gerrit Brand} and Haverkort, {Boudewijn R.H.M.} and Jozef Hooman",
year = "2017",
month = "9",
day = "27",
doi = "10.1007/978-3-319-68270-9_11",
language = "English",
isbn = "978-3-319-68269-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
editor = "Rom Langerak and Arend Rensink",
booktitle = "ModelEd, TestEd, TrustEd",

}

van den Berg, FGB, Haverkort, BRHM & Hooman, J 2017, iDSL: Automated Performance Evaluation of Service-Oriented Systems. in R Langerak & A Rensink (eds), ModelEd, TestEd, TrustEd. Lecture Notes in Computer Science, Springer. https://doi.org/10.1007/978-3-319-68270-9_11

iDSL: Automated Performance Evaluation of Service-Oriented Systems. / van den Berg, Fredericus Gerrit Brand; Haverkort, Boudewijn R.H.M.; Hooman, Jozef.

ModelEd, TestEd, TrustEd. ed. / Rom Langerak; Arend Rensink. Springer, 2017. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

TY - CHAP

T1 - iDSL: Automated Performance Evaluation of Service-Oriented Systems

AU - van den Berg, Fredericus Gerrit Brand

AU - Haverkort, Boudewijn R.H.M.

AU - Hooman, Jozef

PY - 2017/9/27

Y1 - 2017/9/27

N2 - Service-oriented systems are designed for interconnectingwith other systems. The provided services face timing con-straints, the so-called latencies. We present a high-level per-formance evaluation technique that can be used by a systemdesigner to obtain distributions of these latencies. This tech-nique is capable of capturing nondeterministic, probabilisticand real-time aspects in one go. Under the hood, the tech-nique is equipped with two mechanisms: (i) selection of theright abstraction of the model (to prevent a state space ex-plosion) by evaluating the performance of executing modelsof different complexities; and (ii) an efficient algorithm inwhich basic estimates, simulation, and (probabilistic) modelchecking are combined. We illustrate our approach with ancase on image processing of interventional X-ray systems.

AB - Service-oriented systems are designed for interconnectingwith other systems. The provided services face timing con-straints, the so-called latencies. We present a high-level per-formance evaluation technique that can be used by a systemdesigner to obtain distributions of these latencies. This tech-nique is capable of capturing nondeterministic, probabilisticand real-time aspects in one go. Under the hood, the tech-nique is equipped with two mechanisms: (i) selection of theright abstraction of the model (to prevent a state space ex-plosion) by evaluating the performance of executing modelsof different complexities; and (ii) an efficient algorithm inwhich basic estimates, simulation, and (probabilistic) modelchecking are combined. We illustrate our approach with ancase on image processing of interventional X-ray systems.

U2 - 10.1007/978-3-319-68270-9_11

DO - 10.1007/978-3-319-68270-9_11

M3 - Chapter

SN - 978-3-319-68269-3

T3 - Lecture Notes in Computer Science

BT - ModelEd, TestEd, TrustEd

A2 - Langerak, Rom

A2 - Rensink, Arend

PB - Springer

ER -

van den Berg FGB, Haverkort BRHM, Hooman J. iDSL: Automated Performance Evaluation of Service-Oriented Systems. In Langerak R, Rensink A, editors, ModelEd, TestEd, TrustEd. Springer. 2017. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-68270-9_11