EWI - IDSL (EN)


Service-oriented systems interconnect with other systems in a time critical manner, making their performance vital. For this purpose, we propose an automated performance evaluation approach for service-oriented systems which includes both performance measurement and prediction. The approach makes use of the iDSL language, a domain specific language tailored to modeling service-oriented systems, and the iDSL toolchain to evaluate iDSL models, as follows. First, discrete-event simulation yields many performance artifacts, e.g., latency breakdown charts,  cumulative distribution graphs, and latency bar charts. Second, TA-based model checking yields absolute latency bounds. Third,  PTA-based model checking leads to exact latency distributions for each service. We successfully validated our approach; several case studies on interventional X-ray systems displayed similar measured and predicted outcomes. More detailed information can be found in the summary of the PhD thesis and the actual PhD thesis resulting from the above work.

Furthermore, the following iDSL-related publications are available for exploration:

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems
Freek van den Berg, Anne Remke, and Boudewijn R. Haverkort.
MCPS 2014: 80-93 

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems
Freek van den Berg, Anne Remke, and Boudewijn R. Haverkort.
EPEW 2015: 208-224

Computing Response Time Distributions Using Iterative Probabilistic Model Checking
Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, and Anne Remke.
EPEW 2015: 227-242

A demonstration video of iDSL
Freek van den Berg

Nieuw softwarepakket verbetert röntgenscanners én snoepautomaten (NL)
Reineke Maschhaupt, and Steven Beek 
Kennislink article 

De best mogelijke versie van elk apparaat (NL)
Reineke Maschhaupt
The COMMIT/ website



Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques
Freek van den Berg, Boudewijn R. Haverkort, and Jozef Hooman.
Valuetools 2015

Evaluating load balancing policies for performance and energy-efficiency
Freek van den Berg, Bjorn Postema, and Boudewijn R. Haverkort.
QAPL 2016

Automated Performance Evaluation of Service-Oriented Systems
Freek van den Berg.
University of Twente: PhD thesis

iDSL: from performance measurements to predictions
Freek van den Berg, Anne Remke, and Boudewijn R. Haverkort.
CTIT poster competition 2014

iDSL: Automated Performance Evaluation of Service-Oriented Systems
Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
ModelEd, TestEd, TrustEd 2017