From UML models to software performance results: an SPE process based on XML interchange formats

ABSTRACT

The SPE process uses multiple performance assessment tools depending on the state of the software and the amount of performance data available. This paper describes two XML based interchange formats that facilitate using a variety of performance tools in a plug-and-play manner thus enabling the use of the tool best suited to the analysis. The Software Performance Model Interchange Format (S-PMIF) is a common representation that is used to exchange information between (UML-based) software design tools and software performance engineering tools. On the other hand, the performance model interchange format (PMIF 2.0) is a common representation for system performance model data that can be used to move models among system performance modeling tools that use a queueing network model paradigm. This paper first defines an XML based S-PMIF based on an updated SPE meta-model Then it demonstrates the feasibility of using both the S-PMIF and the PMIF 2.0 to automatically translate an architecture description in UML into both a software performance model and a system performance model to study the performance characteristics of the architecture. This required the implementation of some extensions to the XPRIT software in order to export UML models into the S-PMIF and a new function in the SPEED software to import S-PMIF models, which are also described. The SPE process and an experimental proof of concept are presented.

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: H. Beilner, J. Mäter, and N. Weissenburg. Towards a Performance Modeling Environment: News on HIT. in Proceedings 4th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation. 1988: Plenum Publishing.
• 3: Vittorio Cortellessa , Michele Gentile , Marco Pizzuti, XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks, Proceedings of the The Quantitative Evaluation of Systems, First International Conference on (QEST'04), p.342-343, September 27-30, 2004 [doi>10.1109/QEST.2004.53]
• 4: EIA, CDIF - CASE Data Interchange Format Overview, Engineering Department, Electronics Industries Association, Arlington, VA, EIA/IS-106, January 1994.
• 5: 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]
• 6: P. Hughes, SP Principles, STC Technology. o59/ICL226/0, July 1988.
• 7: 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
• 8: Moreno Marzolla , Simonetta Balsamo, UML-PSI: The UML Performance Simulator, Proceedings of the The Quantitative Evaluation of Systems, First International Conference on (QEST'04), p.340-341, September 27-30, 2004 [doi>10.1109/QEST.2004.50]
• 9: OMG, XML Metadata Interchange (XMI) 2.0, OMG Full Specification, formal/03-05-02, 2002.
• 10: OMG, UML Profile for Schedulability, Performance and Time, formal/03-09-01, OMG Full Specification, 2003.
• 11: Dorin Petriu , Murray Woodside, Analysing software requirements specifications for performance, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy [doi>10.1145/584369.584371]
• 12: Poseidon, www.gentleware.com,
• 13: N. Savino, et al. Extending UML to Manage Performance Models for Software Architectures: A Queuing Network Approach. in Proc. 9th Int. Symposium on Modeling. Analysis and Simulation of Computer and Telecommunication Systems, SPECTS. 2002. San Diego, CA.
• 14: Connie U. Smith, Performance Engineering of Software Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 15: C. U. Smith, Definition of A Performance Model Interchange Format, Performance Engineering Services, PES-1001-94, October 1994.
• 16: Connie U. Smith , Lloyd G. Williams, Performance Engineering Evaluation of Object-Oriented Systems with SPE*ED, Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, p.135-154, June 03-06, 1997
• 17: Connie U. Smith , Lloyd G. Williams, Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE*ED, Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, p.321-335, September 14-18, 1998
• 18: C. U. Smith , L. G. Williams, A performance model interchange format, Journal of Systems and Software, v.49 n.1, p.63-80, Dec. 15, 1999 [doi>10.1016/S0164-1212(99)00067-9]
• 19: Performance solutions: a practical guide to creating responsive, scalable software, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2002
• 20: Connie U. Smith , Catalina M. Llado, Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation, Proceedings of the The Quantitative Evaluation of Systems, First International Conference on (QEST'04), p.38-47, September 27-30, 2004 [doi>10.1109/QEST.2004.34]
• 21: C. U. Smith, et al., Software Performance Engineering Model Interchange Format (S-PMIF 2.0): XML Definition and Implementation Technical Report, L&S Computer Technology, Inc., www.perfeng.com/paperndx.htm, Dec. 2004.
• 22: Lloyd G. Williams , Connie U. Smith, Information Requirements for Software Performance Engineering, Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems, p.86-101, September 20-22, 1995

INDEX TERMS

Primary Classification:
  B. Hardware
  B.8 Performance and Reliability
      B.8.2 Performance Analysis and Design Aids

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

  D. Software
  D.2 SOFTWARE ENGINEERING

Keywords:
SPE process, UML, XML, automated model building, interchange format, methods and tools, performance model, software performance engineering, tool interoperability