Towards automatic derivation of a product performance model from a UML software product line model

ABSTRACT

Software Product Line (SPL) engineering is a software development approach that takes advantage of the commonality and variability between products from a family, and supports the generation of specific products by reusing a set of core family assets. This paper proposes a UML model transformation approach for software product lines to derive a performance model for a specific product. The input to the proposed technique, the "source model", is a UML model of a SPL with performance annotations, which uses two separate profiles: a "product line" profile from literature for specifying the commonality and variability between products, and the MARTE profile recently standardized by OMG for performance annotations. The source model is generic and therefore its performance annotations must be parameterized. The proposed derivation of a performance model for a concrete product requires two steps: a) the transformation of a SPL model to a UML model with performance annotations for a given product, and b) the transformation of the outcome of the first step into a performance model. This paper focuses on the first step, whereas the second step will use the PUMA transformation approach of annotated UML models to performance models, developed in previous work. The output of the first step, named "target model", is a UML model with MARTE annotations, where the variability expressed in the SPL model has been analyzed and bound to a specific product, and the generic performance annotations have been bound to concrete values for the product. The proposed technique is illustrated with an e-commerce case study.

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: 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]
• 3: 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
• 4: Youhee Choi , Gyusang Shin , Youngjong Yang , Changsoon Park, An Approach to Extension of UML 2.0 for Representing Variabilities, Proceedings of the Fourth Annual ACIS International Conference on Computer and Information Science, p.258-261, July 14-16, 2005 [doi>10.1109/ICIS.2005.25]
• 5: M. Clauss, "Modeling variability with UML", GCSE 200-Young Researchers Workshop, September 2001.
• 6: M. Clauss, "Generic Modeling using UML extensions for variability", In: Workshop on Domain Specific Visual Languages at OOPSLA, Tampa Bay, FL, USA, 2001.
• 7: P. Clements, and L. Northrop, "Software Product Lines: Practice and Patterns", p.608, Addison-Wesley, 2001.
• 8: Hassan Gomaa , Michael Eonsuk Shin, Multiple-View Meta-Modeling of Software Product Lines, Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems, p.238, December 02-04, 2002
• 9: Hassan Gomaa , Diana L. Webber, Modeling Adaptive and Evolvable Software Product Lines Using the Variation Point Model, Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9, p.90268.3, January 05-08, 2004
• 10: Hassan Gomaa, Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2004
• 11: Hassan Gomaa , Michael E. Shin, Automated Software Product Line Engineering and Product Derivation, Proceedings of the 40th Annual Hawaii International Conference on System Sciences, p.285a, January 03-06, 2007 [doi>10.1109/HICSS.2007.95]
• 12: Hassan Gomaa , Mohamed Hussein, Model-Based Software Design and Adaptation, Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, p.7, May 20-26, 2007 [doi>10.1109/SEAMS.2007.13]
• 13: Birgit Korherr , Beate List, A UML 2 Profile for Variability Models and their Dependency to Business Processes, Proceedings of the 18th International Conference on Database and Expert Systems Applications, p.829-834, September 03-07, 2007 [doi>10.1109/DEXA.2007.26]
• 14: Object Management Group, UML Profile for Modeling and Analysis of Real-Time and Embedded Systems, OMG Adopted Specification ptc/07-08-04, August 6, 2007.
• 15: L. Monestel, T. Ziadi, and J.-M. Jézéquel, "Product line engineering: Product derivation", In Workshop on Model Driven Architecture and Product Line Engineering, at the SPLC2 conference, San Diego, August 2002.
• 16: 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
• 17: Klaus Pohl , Günter Böckle , Frank J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques, Springer-Verlag New York, Inc., Secaucus, NJ, 2005
• 18: Wolfgang Pree , Marcus Fontoura , Bernhard Rumpe, Product Line Annotations with UML-F, Proceedings of the Second International Conference on Software Product Lines, p.188-197, August 19-22, 2002
• 19: S. Robak, B. Franczyk, and K. Politowicz, "Extending the UML for Modeling Variability for System Families" Int. J. Appl. Math. Comput. Sci., Vol.12, No.2, 285--298, 2002.
• 20: C. Murray Woodside , John E. Neilson , Dorina C. Petriu , Shikharesh Majumdar, The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software, IEEE Transactions on Computers, v.44 n.1, p.20-34, January 1995 [doi>10.1109/12.368012]
• 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]
• 22: C.M. Woodside, D.C. Petriu, J. Xu, T. Israr, J.Merseguer, "Methods and Tools for Performance by Unified Model Analysis (PUMA)", submitted for publication to IEEE Trans. on SE, 2007.
• 23: T. Ziadi, L. Hélouët, and J.-M. Jézéquel, "Modeling behaviors in product lines", In Proceedings of REPL'02 (workshop on RequirementsEngineering for Product Lines), pages 33--38, Essen, Germany, September 2002.
• 24: T. Ziadi, L. Hélouët, and J.-M. Jézéquel, "Towards a UML Profile for Software Product Lines", In Software Product-Family Engineering, 5th International Workshop, pages 129--139, Springer, 2003.
• 25: T. Ziadi, J.-M. Jézéquel, and F. Fondement, "Product line derivation with uml", In Jilles van Gurp and Jan Bosh, editors, Proceedings Software Variability Management Workshop, pages 94--102. University of Groningen Departement of Mathematics and Computing Science, 2003.
• 26: T. Ziadi, L. Hélouët, and J.-M. Jézéquel, "Behaviors generation from product lines requirements", In Proc. UML2004 workshop on Software Architecture Description, September 2004.
• 27: T. Ziadi and J.-M. Jézéquel, "Software Product Lines, chapter Product Line Engineering with the UML: Deriving Products" pages 557--586, Springer 2006.

INDEX TERMS

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

Additional Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Performance attributes

  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Model checking

General Terms:
Design, Performance

Keywords:
marte, model transformation, software performance engineering, software product line, uml