Coupled model transformations

ABSTRACT

Model-driven performance prediction methods use abstract design models to predict the performance of the modelled system during early development stages. However, performance is an attribute of the running system and not its model. The system contains many implementation details not part of its model but still affecting the performance at run-time. Existing approaches neglect details of the implementation due to the abstraction underlying the design model. Completion components [26] deal with this problem, however, they have to be added manually to the prediction model. In this work, we assume that the system's implementation is generated by a chain of model transformations. In this scenario, the transformation rules determine the transformation result. By analysing these transformation rules, a second transformation can be derived which automatically adds details to the prediction model according to the encoded rules. We call this transformation a coupled transformation as it is coupled to an corresponding model-to-code transformation. It uses the knowledge on the output of the model-to-code transformation to increase performance prediction accuracy. The introduced coupled transformations method is validated in a case study in which a parametrised transformation maps abstract component connectors to realisations in different RPC calls. In this study, the corresponding coupled transformation captures the RPC's details with a prediction error of less than 5%.

REFERENCES

• 1: 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]
• 2: S. Becker. Coupled Model Transformations for QoS Enabled Component-Based Software Design. PhD thesis, University of Oldenburg, Germany, 2008. To Appear.
• 3: Steffen Becker , Heiko Koziolek , Ralf Reussner, Model-Based performance prediction with the palladio component model, Proceedings of the 6th international workshop on Software and performance, February 05-08, 2007, Buenes Aires, Argentina [doi>10.1145/1216993.1217006]
• 4: Vittorio Cortellessa, How far are we from the definition of a common software performance ontology?, Proceedings of the 5th international workshop on Software and performance, p.195-204, July 12-14, 2005, Palma, Illes Balears, Spain [doi>10.1145/1071021.1071044]
• 5: V. Cortellessa, A. Di Marco, and P. Inverardi. Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. In M. B. Dwyer and A. Lopes, editors, Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, volume 4422 of Lecture Notes in Computer Science, pages 57--71. Springer, 2007.
• 6: K. Czarnecki and U. W. Eisenecker. Generative Programming. Addison-Wesley, Reading, MA, USA, 2000.
• 7: 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
• 8: GlassFish Open Source Java EE 5 Application Server.
• 9: V. Grassi, R. Mirandola, and A. Sabetta. A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems. In I. Gorton, G. T. Heineman, I. Crnkovic, H. W. Schmidt, J. A. Stafford, C. A. Szyperski, and K. C. Wallnau, editors, Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings, volume 4063 of Lecture Notes in Computer Science, pages 270--284. Springer, 2006.
• 10: K. Krogmann. Reengineering of Software Component Models to Enable Architectural Quality of Service Predictions. In R. Reussner, C. Szyperski, and W. Weck, editors, Proceedings of the 12th International Workshop on Component Oriented Programming (WCOP 2007), July 2007.
• 11: M. Marzolla. Simulation-Based Performance Modeling of UML Software Architectures. PhD Thesis TD-2004-1, Dipartimento di Informatica, Università Ca' Foscari di Venezia, Mestre, Italy, Feb. 2004.
• 12: Object Management Group (OMG). UML Profile for Schedulability, Performance and Time, January 2005.
• 13: Object Management Group (OMG). Model Driven Architecture - Specifications, 2006.
• 14: Object Management Group (OMG). MOF 2.0 Core Specification (formal/2006-01-01), 2006.
• 15: Object Management Group (OMG). Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification (ptc/07-07-07), 2007.
• 16: Object Web. The Fractal Project Homepage, 2006. Last retrieved 2008-01-06.
• 17: 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
• 18: D. C. Petriu , C. M. Woodside , D. B. Petriu , J. Xu , T. Israr , Geri Georg , Robert France , James M. Bieman , Siv Hilde Houmb , Jan Jürjens, Performance analysis of security aspects in UML models, Proceedings of the 6th international workshop on Software and performance, February 05-08, 2007, Buenes Aires, Argentina [doi>10.1145/1216993.1217010]
• 19: G. Pietrek, J. Trompeter, J. C. F. Beltran, B. Holzer, T. Kamann, M. Kloss, S. A. Mork, B. Niehues, and K. Thoms. Modellgetriebene Softwareentwicklung - MDA und MDSD in der Praxis. entwickler.press, 2007.
• 20: Performance solutions: a practical guide to creating responsive, scalable software, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2002
• 21: H. Stachowiak. Allgemeine Modelltheorie. Springer Verlag, Wien, 1973.
• 22: Tom Verdickt , Bart Dhoedt , Frank Gielen , Piet Demeester, Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models, IEEE Transactions on Software Engineering, v.31 n.8, p.695-711, August 2005 [doi>10.1109/TSE.2005.88]
• 23: Thomas Stahl , Markus Voelter , Krzysztof Czarnecki, Model-Driven Software Development: Technology, Engineering, Management, John Wiley & Sons, 2006
• 24: Murray Woodside , Greg Franks , Dorina C. Petriu, The Future of Software Performance Engineering, 2007 Future of Software Engineering, p.171-187, May 23-25, 2007 [doi>10.1109/FOSE.2007.32]
• 25: Murray Woodside , Dorin Petriu , Khalid Siddiqui, Performance-related completions for software specifications, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581346]
• 26: Xiuping Wu , Murray Woodside, Performance modeling from software components, ACM SIGSOFT Software Engineering Notes, v.29 n.1, January 2004

INDEX TERMS

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

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development

General Terms:
Performance

Keywords:
mda, model-driven software development, performance prediction, platform completions