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

  • Freek van den BergEmail author
  • Jozef Hooman
  • Boudewijn R. Haverkort
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10740)


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.


  1. 1.
    Andrews, R., Jones, D., Williams, J., Thorson, P., Oliver, G., Costa, D., Le Boeuf, B.: Heart rates of northern elephant seals diving at sea and resting on the beach. J. Exp. Biol. 200(15), 2083–2095 (1997)Google Scholar
  2. 2.
    Eclipse desktop & web IDEs.
  3. 3.
    Graphviz - Graph Visualization Software.
  4. 4.
    Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593–598. Springer, Heidelberg (2014). CrossRefGoogle Scholar
  5. 5.
    Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011). CrossRefGoogle Scholar
  6. 6.
    Racine, J.: GNUplot 4.0: a portable interactive plotting utility. J. Appl. Econometrics 21(1), 133–141 (2006)CrossRefGoogle Scholar
  7. 7.
  8. 8.
  9. 9.
    Uppsala Aalborg model checker.
  10. 10.
    van den Berg, F.: Automated performance evaluation of service-oriented systems. Ph.D. thesis, University of Twente (2017)Google Scholar
  11. 11.
    van den Berg, F., Haverkort, B.R., Hooman, J.: iDSL: automated performance evaluation of service-oriented systems. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd. LNCS, vol. 10500, pp. 214–236. Springer, Cham (2017). CrossRefGoogle Scholar
  12. 12.
    van den Berg, F., Haverkort, B.R., Hooman, J.: Efficiently computing latency distributions by combined performance evaluation techniques. In: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015, pp. 158–163. ICST (2015)Google Scholar
  13. 13.
    van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B.R., Remke, A.: Computing response time distributions using iterative probabilistic model checking. In: Beltrán, M., Knottenbelt, W., Bradley, J. (eds.) EPEW 2015. LNCS, vol. 9272, pp. 208–224. Springer, Cham (2015). CrossRefGoogle Scholar
  14. 14.
    van den Berg, F., Remke, A., Haverkort, B.R.: A domain specific language for performance evaluation of medical imaging systems. In: 5th Workshop on Medical Cyber-Physical Systems. OpenAccess Series in Informatics, vol. 36, pp. 80–93. Schloss Dagstuhl (2014)Google Scholar
  15. 15.
    van den Berg, F., Remke, A., Haverkort, B.R.: iDSL: automated performance prediction and analysis of medical imaging systems. In: Beltrán, M., Knottenbelt, W., Bradley, J. (eds.) EPEW 2015. LNCS, vol. 9272, pp. 227–242. Springer, Cham (2015). CrossRefGoogle Scholar
  16. 16.
    Walter, J., van Hoorn, A., Koziolek, H., Okanovic, D., Kounev, S.: Asking what?, Automating the how?: The vision of declarative performance engineering. In: Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering, pp. 91–94. ACM (2016)Google Scholar
  17. 17.
  18. 18.
  19. 19.
    Zurawski, R.: Embedded Systems Handbook. CRC Press, Boca Raton (2005)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Freek van den Berg
    • 1
    Email author
  • Jozef Hooman
    • 2
    • 3
  • Boudewijn R. Haverkort
    • 1
  1. 1.DACSUniversity of TwenteEnschedeThe Netherlands
  2. 2.ICISRadboud University NijmegenNijmegenThe Netherlands
  3. 3.Embedded Systems Innovation (ESI) by TNOEindhovenThe Netherlands

Personalised recommendations