ABSTRACT
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software models and then use the obtained models to check whether the system is being developed according to its performance requirements. The model building activity is a critical and effort-consuming activity. Several approaches have been envisaged to endow software designers with tools that automatically build ready-to-evaluate performance models from software development models. One essential requirement of such tools, often disregarded by current approaches, is a high degree of interoperability with software development tools, which has the positive effect of reducing both the level of required expertise in performance theory and the burden of learning separate tools. This paper introduces a framework for transforming source software models into target performance models. The transformation requires a clear understanding of the abstract syntax and semantics of both the source and target models, which is obtained by use of metamodeling techniques for defining the abstract syntax of models, the interrelationships between model elements and the model transformation rules. In the paper case, the framework is applied to the transformation of source models of UML type into target models of LQN (layered queueing network) type. The proposed approach is founded on the precepts recently introduced by model-driven development (MDA) and makes use of the set of related standards (MOF, QVT, XMI). This allows to obtain a high degree of automation, so that interoperable model transformation tools can be implemented in a timely and efficient way, leading to improvements in terms of software designers' productivity and system quality.
- S. Balsamo, A. Di Marco, P. Inverardi, M. Simeoni, Model-Based Performance Prediction in Software Development: A Survey, IEEE Transactions on Software Engineering, vol. 30, n. 5, pp. 295--310, 2004.]] Google ScholarDigital Library
- S. Bernardi, S. Donatelli, J. Meseguer, From UML Sequence Diagrams and Statecharts to analysable Petri Nets, Proceedings of the Third Workshop on Software Performance (WOSP'02), Rome, Italy, July 2002.]] Google ScholarDigital Library
- V. Cortellessa, R. Mirandola, PRIMA-UML: a performance validation incremental methodology on early UML diagrams, Science of Computer Programming, vol. 44, pp. 101--129, 2002.]] Google ScholarDigital Library
- V. Cortellessa, A. D'Ambrogio, G. Iazeolla, Automatic Derivation of Software Performance Models from CASE documents, Performance Evaluation, 45(2-3):81--106, July 2001.]] Google ScholarDigital Library
- K. Czarnecki, S. Helsen, Classification of Model Transformation Approaches, Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of Model-Driven Architecture, Anaheim, CA. USA, October 2003.]]Google Scholar
- A. D'Ambrogio, G. Iazeolla, Steps towards the Automatic Production of Performance Models of Web Applications, Computer Networks Journal, vol. 41, pp. 29--39, January 2003.]] Google ScholarDigital Library
- A. D'Ambrogio, A. De Simone. Metamodel-based Automatic Building Of Performance Models From Software Models. Technical Report RI.13.04, Software Lab. Dept. Computer Science, University of Roma TorVegata, Roma, Italy, October 2004.]]Google Scholar
- A. D'Ambrogio, G. lazeolla, Metadata-driven Design of Integrated Environments for Software Performance Validation. Journal of Systems and Software, Vol 76/2, pp. 127--146, May 2005.]] Google ScholarDigital Library
- A. D'Ambrogio, SOON: a Tool for Software Performance Validation, International Journal of Modeling and Simulation, 2005 (to appear).]] Google ScholarDigital Library
- G. P. Gu, D. C. Petriu, XSLT transformation from UML models to LQN performance models, Proceedings of the Third Workshop on Software Performance (WOSP2002), Rome, Italy, July 24--26, 2002.]] Google ScholarDigital Library
- G. P. Gu, D. B. Petriu, Early Evaluation of Software Performance based on the UML Performance Profile, Proceedings of the 2003 conference of the Centre for Advanced Studies conference on Collaborative research (CASCON03), Toronto, Ontario, Canada, 2003.]] Google ScholarDigital Library
- S. R. Judson, R. B. France, D. L. Carver, Specifying Model Transformations at the Metamodel Level, Proceedings of the Workshop in Software Model Engineering (WiSME2003), San Francisco, CA, USA, October 2003.]]Google Scholar
- J. P. Lpez-Grao, J. Merseguer, J. Campos, From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering, Proceedings of the Fourth Workshop on Software and Performance (WOSP'04), Redwood City, CA, USA, January 2004.]] Google ScholarDigital Library
- Microsoft, The Duwamish 7.0 Enterprise Application, http://msdn.microsoft.com.]]Google Scholar
- Model-driven development, IEEE Software Special Issue, S. J. Mellor, A. N. Clark, T. Futagami (eds.), vol 20, n. 5, September 2003.]]Google Scholar
- Object Management Group. Request for Proposal: MOF 2.0 Query / View / Transformations, 2002. http://www.omg.org/docs/ad/02-04-10.pdf.]]Google Scholar
- Object Management Group, MDA Guide, version 1.0.1, June 2003.]]Google Scholar
- Object Management Group, Meta Object Facility (MOF) Specification, version 1.4, April 2002.]]Google Scholar
- Object Management Group, UML Profile for Scheduling, Performance and Time, Version 1.0, September 2003.]]Google Scholar
- Object Management Group, Unified Modeling Language (UML) Final Adopted Specification, version 2.0, 2003.]]Google Scholar
- Object Management Group, XML Metadata Interchange (XMI) Specification, version 2.0, May 2003.]]Google Scholar
- D. C. Petriu, X. Wang, From UML description of high-level software architecture to LQN performance models", in (eds. M. Nagl. A. Schuerr, M. Muench), Applications of Graph Transformations with Industrial Relevance, Lecture Notes in Computer Science 1779, pp. 47--62, Springer Verlag, 2000.]] Google ScholarDigital Library
- D. C. Petriu, H. Shen. Applying the UML Performance Profile: Graph Grammar based derivation of LQN models from UML specifications, in (eds. Tony Fields, et al.), Computer Performance Evaluation - Modelling Techniques and Tools, Lecture Notes in Computer Science 2324, pp. 159--177, Springer Verlag. 2002.]] Google ScholarDigital Library
- D. B. Petriu, M. Woodside, A Metamodel for Generating Performance Models from UML Designs, Proceedings of UML 2004, Lecture Notes in Computer Science 3273, Lisbon, Portugal, October 11--15, 2004.]]Google Scholar
- R. Pooley, Using UML to Derive Stochastic Process Algebra Models, Proceedings of the XV UK Performance Engineering Workshop, 1999.]]Google Scholar
- QVT Partners, Revised Submission for MOF 2.0 Query/View/Transformations RFP, ver. 1.1 (ad/2003-08-08), August 2003. http://qvtp.org/downloads/1.1/qvtpartners1.1.pdf.]]Google Scholar
- QVT Partners, QVT-Partners Eclipse Plug-in. http://qvtp.org/downloads/qvtp-eclipse/.]]Google Scholar
- J. A. Rolia, K. C. Sevcik, The Method of Layers, IEEE Transactions on Software Engineering, 21(8):689--700, August 1995.]] Google ScholarDigital Library
- C. U. Smith, Performance Engineering of Software Systems, Addison Wesley, 1992.]] Google ScholarDigital Library
- M. Woodside, V. Vetland, M. Courtois, S. Bayarov, Resource Function Capture for Performance Aspects of Software Components and Sub-systems, in (eds. R. Dumke et al.) Performance Engineering, State of the Art and Current Trends, Lecture Notes in Computer Science 2047, pp. 239--256, 2001.]] Google ScholarDigital Library
- C. M. Woodside, Tutorial Introduction to Layered Modeling of Software Performance - Edition 3.0, Department of Systems and Computer Engineering, Carleton University, Ottawa (Canada), May 2002.]]Google Scholar
- WWW Consortium, XML Schema, W3C Recommendation, http://www.w3.org/XML/Schema.]]Google Scholar
- WWW Consortium, eXtensible Stylesheet Language: Transformations (XSLT), W3C Recommendation, http://www.w3.org/TR/xslt.]]Google Scholar
- WWW Consortium, XQuery 1.0: An XML Query Language, W3C Recommendation, http://www.w3.org/XML/Query.]]Google Scholar
Recommendations
XSLT transformation from UML models to LQN performance models
WOSP '02: Proceedings of the 3rd international workshop on Software and performanceA graph grammar-based transformation of a UML design model into a Layered Queueing Network (LQN) performance model was previously proposed by the authors of this paper. The actual transformation was implemented in two ways: first by using an existing ...
Transformation techniques in the model-driven development process of UWE
ICWE '06: Workshop proceedings of the sixth international conference on Web engineeringDevelopment of Web software is still an inefficient and error-prone process. We need integrated techniques and tool support for automated generation of Web systems. The goal of model-driven development (MDD) is to tackle these problems introducing a ...
Incremental change propagation from UML software models to LQN performance models
CASCON '17: Proceedings of the 27th Annual International Conference on Computer Science and Software EngineeringModel-Driven Engineering (MDE) 1 enables automatic generation of performance models from software design models by model transformations. The performance models thus obtained are used for performance analysis of software under development. In previous ...
Comments