论文信息 - A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements

This tool paper presents iDSL, a language and a fully automated toolchain for evaluating the performance of service-oriented systems. In this work, we emphasize the use of a high-level domain specific language that is tailored to be understood by system designers and domain experts, a transformation into an underlying process algebra which contains latency distribution functions based on real measurements for calibration, and the integration of analysis tools under the hood. Altogether, the approach delivers intuitive, visual results.

Jozef Hooman | Boudewijn R. Haverkort | Freek van den Berg

[1] Jozef Hooman,et al. Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques , 2016 .

[2] Boudewijn R. Haverkort,et al. iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems , 2015, EPEW.

[3] Samuel Kounev,et al. Asking "What"?, Automating the "How"?: The Vision of Declarative Performance Engineering , 2016, ICPE.

[4] Jeffrey S. Racine,et al. gnuplot 4.0: a portable interactive plotting utility , 2006 .

[5] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[6] Holger Hermanns,et al. The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification , 2014, TACAS.

[7] Russel D. Andrews,et al. Heart rates of northern elephant seals diving at sea and resting on the beach. , 1997, The Journal of experimental biology.

[8] Richard Zurawski,et al. Embedded Systems Handbook , 2004 .

[9] Boudewijn R. Haverkort,et al. A Domain Specific Language for Performance Evaluation of Medical Imaging Systems , 2014, MCPS.

[10] Jozef Hooman,et al. Computing Response Time Distributions Using Iterative Probabilistic Model Checking , 2015, EPEW.

[11] Jozef Hooman,et al. iDSL: Automated Performance Evaluation of Service-Oriented Systems , 2017, ModelEd, TestEd, TrustEd.