Abstract
Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, new functional features, etc.) This paper proposes an approach for analyzing the performance effects of a given aspect on the overall system performance, after the composition of the aspect model with the primary model of a system. Performance analysis of UML models is enabled by the ”UML Performance Profile for Schedulability, Performance and Time” (SPT) standardized by OMG, which defines a set of quantitative performance annotations to be added to a UML model. The first step of the proposed approach is to add performance annotations to both the primary model and to the aspect model(s). An aspect model is generic at first, and therefore its performance annotations must be parameterized. A generic model will be converted into a context-specific aspect model with concrete values assigned to its performance annotations. The latter is composed with the primary model, generating a complete annotated UML model. By using existing techniques, the complete model is transformed automatically into a Layered Queueing Network (LQN) performance model, which can be analyzed with existing solvers. The proposed approach is illustrated with a case study system, whose primary model is enhanced with some security features by using AOM. The LQN model of the primary system was validated against measurements in previous work. The performance effects of the security aspect under consideration are analyzed in two design alternatives by using the LQN model of the composed system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Transactions on Software Engineering 30(5), 295–310 (2004)
Clarke, S., Walker, R.J.: Composition patterns: An approach to designing reusable aspects. In: Proc. of 23rd Int. Conf. on Software Engineering (ICSE), Toronto, Canada (2001)
France, R.B., Ray, R.B.: Aspect-Oriented Approach to Design Modeling. IEE Proceedings - Software, Special Issue on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design 151(4), 173–185 (2004)
Franks, G., Hubbard, A., Majumdar, S., Petriu, D.C., Rolia, J., Woodside, C.M.: A toolset for Performance Engineering and Software Design of Client-Server Systems. Performance Evaluation 24(1-2), 117–135 (1995)
Georg, G., France, R., Ray, I.: An Aspect-Based Approach to Modeling Security Concerns. In: Proceedings of the Workshop on Critical Systems Development with UML, Dresden, Germany (2002)
Gu, G., Petriu, D.C.: XSLT Transformation from UML Models to LQN Performance Models. In: Proc. of 3rd Int. Workshop on Software and Performance WOSP 2002, Rome, Italy, pp. 227–234 (2002)
Kande, M.: A Concern-Oriented Approach to Software Architecture., PhD thesis, EPFL, Lausanne, Switzerland (2003)
Mekerke, F., Georg, G., France, R., Alexander, R.: Tool Support for Aspect-Oriented Design. In: Bruel, J.-M., Bellahsène, Z. (eds.) OOIS 2002. LNCS, vol. 2426, p. 280. Springer, Heidelberg (2002)
Petriu, D.B., Woodside, C.M.: A Metamodel for Generating Performance Models from UML Designs. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 41–53. Springer, Heidelberg (2004)
Petriu, D.C., Shen, H.: Applying the UML Performance Profile: Graph Grammar based derivation of LQN models from UML specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 159–177. Springer, Heidelberg (2002)
Petriu, D.C., Woodside, C.M.: Performance Analysis with UML. In: Selic, B., Lavagno, L., Martin, G. (eds.) UML for Real, pp. 221–240. Kluwer, Dordrecht (2003)
Petriu, D.C., Zhang, J., Gu, G., Shen, H.: Performance Analysis Based on the UML SPT Profile. In: Babau, J.-P., Champeau, J., Gérard, S. (eds.) MDD for Distributed Real-time Embedded Systems, Hermes, Paris (2005) (to appear)
Ray, I., France, R., Li, N., Georg, G.: An aspect-based approach to modeling access control concerns. Information and Software Technology 46, 575–587 (2004)
Object Management Group, UML Profile for Schedulability, Performance, and Time Specification, OMG Adopted Specification ptc/02-03-02, July 1 (2002)
Schmidt, D.C., Huston, S.D.: C++ Network Programming. Systematic Reuse with ACE and Frameworks, vol. 2. Addison-Wesley, Reading (2002)
Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)
Straw, G., Georg, G., Song, E., Ghosh, S., France, R., Bieman, J.M.: Model Composition Directives. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 84–97. Springer, Heidelberg (2004)
Woodside, C.M., Neilson, J.E., Petriu, D.C., Majumdar, S.: The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software. IEEE Transactions on Computers 44(1), 20–34 (1995)
Woodside, C.M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by Unified Model Analysis (PUMA). In: Proc. 5th Int. Workshop on Software and Performance WOSP 2005, Palma, Spain (July 2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shen, H., Petriu, D.C. (2005). Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_12
Download citation
DOI: https://doi.org/10.1007/11557432_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)