Model Transformations for Performability Analysis of Service Configurations

  • László Gönczy
  • Zsolt Déri
  • Dániel Varró
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5421)


As more and more business-critical systems are based upon services deployed over flexible and dynamic platforms like Service-Oriented Architecture (SOA), there is an increasing need for such services to meet their non-functional requirements like reliability, availability, security, etc. To achieve such objectives, these services need to be designed carefully making critical design decisions early in the development process on an architectural level.

In the current paper, we aim at carrying out a performability analysis of service configurations to estimate the cost of using reliable messaging techniques for services with respect to performance. Such an analysis is enabled by automated model transformations carried out within the VIATRA2 framework.


Model-driven Analysis Model Transformations Performability Analysis Service-Oriented Architecture 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Balogh, A., Varró, D., Pataricza, A.: Model-based optimization of enterprise application and service deployment. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 84–98. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Baresi, L., Heckel, R., Thöne, S., Varró, D.: Style-based modeling and refinement of service-oriented architectures. SoSyM 5(2), 187–207 (2006)Google Scholar
  3. 3.
    Börger, E., Stärk, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)CrossRefMATHGoogle Scholar
  4. 4.
    Caceres, P., Marcos, E., Vera, B.: A MDA-based approach for web information system development. In: Workshop in Software Model Engineering (WiSME@UML 2003) (2003)Google Scholar
  5. 5.
    Cortellessa, V., Marco, A.D., Inverardi, P.: Software performance model-driven architecture. In: SAC 2006: Proceedings of the 2006 ACM symposium on Applied computing, pp. 1218–1223. ACM Press, New York (2006)Google Scholar
  6. 6.
    Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)MATHGoogle Scholar
  7. 7.
    Gilmore, S., Tribastone, M.: Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 214–226. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Gnesi, S., ter Beek, M., Baumeister, H., Hoelzl, M., Moiso, C., Koch, N., Zobel, A., Alessandrini, M.: D8.0: Case studies scenario description, SENSORIA Deliverables Month 12 (2006)Google Scholar
  9. 9.
    Gönczy, L., Ávéd, J., Varró, D.: Model-based deployment of web services to standards-compliant middleware. In: Pedro Isaias, I.J.M., Nunes, M.B. (eds.) Proc. of WWW/Internet 2006 (ICWI 2006). Iadis Press (2006)Google Scholar
  10. 10.
    Gönczy, L., Chiaradonna, S., Di Giandomenico, F., Pataricza, A., Bondavalli, A., Bartha, T.: Dependability evaluation of web service-based processes. In: Horváth, A., Telek, M. (eds.) EPEW 2006. LNCS, vol. 4054, pp. 166–180. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Gönczy, L., Déri, Z., Varró, D.: Model-Based Performability Analysis of Service Configurations with Reliable Messaging. In: Koch, N., et al (eds.) Proc. Model Driven Web Engineering (MDWE). CEUR, vol. 389 (2008)Google Scholar
  12. 12.
    Gönczy, L., Kovács, M., Varró, D.: Modeling and verification of reliable messaging by graph transformation systems. In: Proc. of the Workshop on Graph Transformation for Verification and Concurrency (ICGT 2006). Elsevier, Amsterdam (2006)Google Scholar
  13. 13.
    Gronmo, R., Skogan, D., Solheim, I., Oldevik, J.: Model-driven web services development. In: Proc. of the IEEE Int. Conf. on e-Technology, e-Commerce and e-Servie (EEE 2004), pp. 42–45. IEEE, Los Alamitos (2004)Google Scholar
  14. 14.
    Jonkers, H., Iacob, M.-E., Lankhorst, M.M., Strating, P.: Integration and analysis of functional and non-functional aspects in model-driven e-service development. In: EDOC, pp. 229–238 (2005)Google Scholar
  15. 15.
    Koch, N., Berndl, D.: D8.2.a: Requirements Modelling and Analysis of Selected Scenarios - Automotive Case Study, SENSORIA Deliverables Month 24 (2007)Google Scholar
  16. 16.
    Koch, N., Mayer, P., Heckel, R., Gönczy, L., Montangero, C.: D1.4.a: UML for Service-Oriented Systems, SENSORIA Deliverables Month 24 (2007)Google Scholar
  17. 17.
    Object Management Group. UML Profile for QoS and Fault Tolerance (2006),
  18. 18.
    Röttger, S., Zschaler, S.: Model-driven development for non-functional properties: Refinement through model transformation. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 275–289. Springer, Heidelberg (2004)Google Scholar
  19. 19.
    SENSORIA Development Environment home page (2007),
  20. 20.
    SENSORIA FP6 IST project (2005),
  21. 21.
    Vara, J.M., de Castro, V., Marcos, E.: WSDL Automatic Generation from UML Models in a MDA Framework. In: NWESP 2005, p. 319. IEEE, Los Alamitos (2005)Google Scholar
  22. 22.
    Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Science of Computer Programming 68(3), 214–234 (2007)MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    VIATRA2 Framework at Eclipse GMT,
  24. 24.
    Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24–45. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • László Gönczy
    • 1
  • Zsolt Déri
    • 1
  • Dániel Varró
    • 1
  1. 1.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapestHungary

Personalised recommendations