A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements
2018; Springer Science+Business Media; Linguagem: Inglês
10.1007/978-3-319-74947-1_21
ISSN1611-3349
AutoresFreek van den Berg, Jozef Hooman, Boudewijn R. Haverkort,
Tópico(s)Formal Methods in Verification
ResumoThis 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.
Referência(s)