iDSL: Automated Performance Evaluation of Service-Oriented Systems
conference paper
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, timed automata-based model checking yields absolute latency bounds. Third, probabilistic timed automata-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.
TNO Identifier
781800
ISSN
03029743
ISBN
978-3-319-68270-9
9783319682693
9783319682693
Publisher
Springer
Source title
Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017. 18 October 2017 through 18 October 2017
Editor(s)
Katoen, J.-P.
Pages
214-236
Files
To receive the publication files, please send an e-mail request to TNO Repository.