From UML to LQN by XML algebra-based model transformations

ABSTRACT

The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of non-functional characteristics of UML models. such as performance, reliability, scalability, security, etc. Many modeling formalisms, techniques and tools have been developed over the years for the analysis of different non-functional characteristics. The challenge is not to reinvent new analysis methods for UML models, but to bridge the gap between UML-based software development tools and different kinds of existing analysis tools. Traditionally, the analysis models were built "by hand". However, a new trend is starting to emerge, that involves the automatic transformation of UML models (annotated with extra information) into various kinds of analysis models. This paper proposes a transformation method of an annotated UML model into a performance model. The mapping between the input model and the output model is defined at a higher level of abstraction based on graph transformation concepts, whereas the implementation of the transformation rules and algorithm uses lower-level XML trees manipulations techniques, such as XML algebra. The target performance model used as an example in this paper is the Layered Queueing Network (LQN); however, the transformation approach can be easily tailored to other performance modelling formalisms.

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. Balsamo and M. Marzolla. "Simulation Modeling of UML Software Architectures", Proc. ESM'03, Nottingham (UK), June 2003
• 3: Simona Bernardi , Susanna Donatelli , José Merseguer, From UML sequence diagrams and statecharts to analysable petri net models, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy [doi>10.1145/584369.584376]
• 4: C. Canevet , S. Gilmore , J. Hillston , L. Kloul , P. Stevens, Analysing UML 2.0 activity diagrams in the software performance engineering process, Proceedings of the 4th international workshop on Software and performance, January 14-16, 2004, Redwood Shores, California
• 5: Vittorio Cortellessa , Raffaela Mirandola, Deriving a queueing network based performance model from UML diagrams, Proceedings of the 2nd international workshop on Software and performance, p.58-70, September 2000, Ottawa, Ontario, Canada [doi>10.1145/350391.350406]
• 6: Gordon P. Gu , Dorina C. Petriu, XSLT transformation from UML models to LQN performance models, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy [doi>10.1145/584369.584402]
• 7: Jan Jürjens, Pasha Shabalin, "Automated Verification of UMLsec Models for Security Requirements", Proceedings of UML 2004, Lisbon, Portugal Oct. 11--15,
• 8: Christian Kirkegaard , Anders Mller , Michael I. Schwartzbach, Static Analysis of XML Transformations in Java, IEEE Transactions on Software Engineering, v.30 n.3, p.181-192, March 2004 [doi>10.1109/TSE.2004.1271173]
• 9: Christian Kirkegaard, "Dynamic XML Processing with Static Validation (Masters Thesis), University of Aarhus, 2003.
• 10: Juan Pablo López-Grao , José Merseguer , Javier Campos, From UML activity diagrams to Stochastic Petri nets: application to software performance engineering, Proceedings of the 4th international workshop on Software and performance, January 14-16, 2004, Redwood Shores, California
• 11: OMG, UML Profile for Schedulability, Performance, and Time (SPT), Version 1.0, formal/03-09-01, September 2003.
• 12: OMG, "UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (QoS)", Adopted Specification, ptc/2004-06-01, June 2004.
• 13: D. B. Petriu and M. Woodside, "A Metamodel for Generating Performance Models from UML Designs", in Proc UML 2004, LNCS vol.3273 Springer, pp. 41--53. Lisbon, Oct 2004, (An extended version is to appear in the Journal of Software and Systems in 2005).
• 14: 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
• 15: 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
• 16: D. C. Petriu , C. M. Woodside, Performance analysis with UML: layered queueing models from the performance profile, UML for real: design of embedded real-time systems, Kluwer Academic Publishers, Norwell, MA, 2003
• 17: Connie U. Smith, Performance Engineering of Software Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 18: C. U. Smith and L. G. Williams, Performance Solutions. Addison-Wesley, 2002.
• 19: Andy Schürr, Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language, Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, p.151-165, June 14-16, 1989
• 20: 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
• 21: Murray Woodside , Dorina C. Petriu , Dorin B. Petriu , Hui Shen , Toqeer Israr , Jose Merseguer, Performance by unified model analysis (PUMA), Proceedings of the 5th international workshop on Software and performance, p.1-12, July 12-14, 2005, Palma, Illes Balears, Spain [doi>10.1145/1071021.1071022]

INDEX TERMS

General Terms:
Design, Performance

Keywords:
LQN, UML, XMI, XML, automatic model building, model transformations, performance profile, software performance engineering