Using ATL for transformations in software performance engineering: a step ahead of java-based transformations?

ABSTRACT

Transformations of software models (such as UML diagrams) into non-functional models (such as Queueing Networks) have brought a real breakthrough to the entire field of non-functional software validation, because they allow to introduce automatism in the generation of a non-functional model from software artifacts. However, up today almost all the existing approaches are based on general purpose programming languages, such as Java. With the rapid evolution of model transformation languages, it is interesting to study how transformations in the software performance engineering domain may benefit from using constructs and tools of these languages. In this paper we present the results of our implementation, in ATLAS Transformation Language (ATL), of a transformation approach from UML models to Queueing Network models and, laying on a previous implementation of the same transformation in Java, we discuss the differences between these two approaches.

REFERENCES

• 1: Compositional Generation of Software Architecture Performance QN Models, Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture, p.37, June 12-15, 2004
• 2: Simonetta Balsamo , Antinisca Di Marco , Paola Inverardi , Marta Simeoni, Model-Based Performance Prediction in Software Development: A Survey, IEEE Transactions on Software Engineering, v.30 n.5, p.295-310, May 2004 [doi>10.1109/TSE.2004.9]
• 3: M. Bordin, T. Vardanega, Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach, Proc. of Ada-Europe 2007, LNCS 4498, pp. 114--127.
• 4: P.P. Campegiani. Tecniche model-driven per la derivazione automatica di modelli prestazionali (in italian). Tech. Rep.University of Roma TorVergata, 2005.
• 5: V. Cortellessa, A. Di Marco, P. Inverardi. Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. Proc. of FASE 2007, pp. 57--71.
• 6: Vittorio Cortellessa , Michele Gentile , Marco Pizzuti, XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks, Proceedings of the The Quantitative Evaluation of Systems, First International Conference, p.342-343, September 27-30, 2004 [doi>10.1109/QEST.2004.53]
• 7: S. di Gregorio, Transformations of UML Architectural Models into Performance Models based on ATLAS Transformation Language, MasterThesis, L'Aquila University, 2007.www.di.univaq.it/cortelle/docs/Sarathesis.pdf.
• 8: Vincenzo Grassi , Raffaela Mirandola , Antonino Sabetta, From design to analysis models: a kernel language for performance and reliability analysis of component-based systems, Proceedings of the 5th international workshop on Software and performance, p.25-36, July 12-14, 2005, Palma, Illes Balears, Spain [doi>10.1145/1071021.1071024]
• 9: Dorina C. Petriu , Xin Wang, From UML Descriptions of High-Level Software Architectures to LQN Performance Models, Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance, p.47-62, September 01-03, 1999
• 10: Dorina C. Petriu , Hui Shen, Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications, Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, p.159-177, April 14-17, 2002
• 11: A. Sabetta, D.C. Petriu, V. Grassi, R. Mirandola, Abstraction-Raising Transformation for Generating Analysis Models, MoDELS 2005 Workshops, LNCS 3844, pp. 217--226.
• 12: A. Schfürr, Programmed graph replacement systems, Handbook of graph grammars and computing by graph transformation: volume I. foundations, World Scientific Publishing Co., Inc., River Edge, NJ, 1997
• 13: Connie U. Smith , Catalina M. Llado, Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation, Proceedings of the The Quantitative Evaluation of Systems, First International Conference, p.38-47, September 27-30, 2004 [doi>10.1109/QEST.2004.34]
• 14: C. Smith, L. Williams More New Software Performance AntiPatterns: Even More Ways to ShootYourself in the Foot, Proc. of CMG 2003.
• 15: OMG, Unified Modeling Language: Superstructure Version, ptc/2006-04-02.
• 16: OMG, UML Profile for Schedulability, Performance and Time, formal/05-01-02.
• 17: www.sciences.univ-nantes.fr/lina/atl/atldemo/adt/
• 18: http: //dev.eclipse.org/viewcvs/indextools.cgi/org.eclipse.uml2/plugins/org.eclipse.uml2/model/
• 19: http: //sealabtools.di.univaq.it/SeaLab/

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Modeling techniques

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Languages (e.g., description, interconnection, definition)
      D.2.8 Metrics

General Terms:
Design, Performance

Keywords:
atlas transformation language (ATL), model transformation, software performance modeling, unified modeling language (UML)