iDSL: Automated Performance Evaluation of Service-Oriented Systems

Research output: Chapter in Book/Report/Conference proceedingChapter

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.
LanguageEnglish
Title of host publicationModelEd, TestEd, TrustEd
Subtitle of host publicationEssays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
EditorsRom Langerak, Arend Rensink
PublisherSpringer
ISBN (Electronic)978-3-319-68270-9
ISBN (Print)978-3-319-68269-3
DOIs
StatePublished - 27 Sep 2017

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10500
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

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: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science; Vol. 10500). Springer. DOI: 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: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. editor / Rom Langerak ; Arend Rensink. Springer, 2017. (Lecture Notes in Computer Science).
@inbook{8ddc239162f54dc6a439161414496c79,
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: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 10500, Springer. DOI: 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: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. ed. / Rom Langerak; Arend Rensink. Springer, 2017. (Lecture Notes in Computer Science; Vol. 10500).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer. 2017. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-68270-9_11