A pattern-based performance completion for Message-oriented Middleware

ABSTRACT

Details about the underlying Message-oriented Middleware (MOM) are essential for accurate performance predictions of software systems using message-based communication. The MOM's configuration and usage strongly influence its throughput, resource utilisation and timing behaviour. Prediction models need to reflect these effects and allow software architects to evaluate the performance influence of MOM configured for their needs. Performance completions [31, 32] provide the general concept to include low-level details of execution environments in abstract performance models. In this paper, we extend the Palladio Component Model (PCM) [4] by a performance completion for Message-oriented Middleware. With our extension to the model, software architects can specify and configure message-based communication using a language based on messaging patterns. For performance evaluation, a model-to-model transformation integrates the low-level details of a MOM into the high-level software architecture model. A case study based on the SPECjms2007 Benchmark [1] predicts the performance of message-based communication with an error less than 20%.

REFERENCES

• 1: SPECjms2007 Benchmark. http://www.spec.org/jms2007/, January 2008.
• 2: 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]
• 3: S. Becker. Coupled Model Transformations for QoS Enabled Component-Based Software Design. PhD thesis, University of Oldenburg, 2008. to appear.
• 4: Steffen Becker , Heiko Koziolek , Ralf Reussner, Model-Based performance prediction with the palladio component model, Proceedings of the 6th international workshop on Software and performance, February 05-08, 2007, Buenes Aires, Argentina [doi>10.1145/1216993.1217006]
• 5: Steffen Becker , Heiko Koziolek , Ralf Reussner, Model-Based performance prediction with the palladio component model, Proceedings of the 6th international workshop on Software and performance, February 05-08, 2007, Buenes Aires, Argentina [doi>10.1145/1216993.1217006]
• 6: Marc Courtois , Murray Woodside, Using regression splines for software performance analysis, Proceedings of the 2nd international workshop on Software and performance, p.105-114, September 2000, Ottawa, Ontario, Canada [doi>10.1145/350391.350416]
• 7: Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
• 8: Giovanni Denaro , Andrea Polini , Wolfgang Emmerich, Early performance testing of distributed software applications, ACM SIGSOFT Software Engineering Notes, v.29 n.1, January 2004
• 9: B. P. Douglass. Real-Time Design Patterns. Object Technology Series. Addison-Wesley Professional, 2002.
• 10: D. Freedman. Statistical Models: Theory and Practice. Cambridge University Press, 2005.
• 11: H. Friedrich. Modellierung nebenläufiger, komponentenbasierter Software-Systeme mit Entwurfsmustern. Master?s thesis, Universität Karlsruhe (TH), 2007.
• 12: Hassan Gomaa , Daniel A. Menascé, Design and performance modeling of component interconnection patterns for distributed software architectures, Proceedings of the 2nd international workshop on Software and performance, p.117-126, September 2000, Ottawa, Ontario, Canada [doi>10.1145/350391.350418]
• 13: Ian Gorton , Anna Liu, Evaluating the Performance of EJB Components, IEEE Internet Computing, v.7 n.3, p.18-23, May 2003 [doi>10.1109/MIC.2003.1200296]
• 14: V. Grassi, R. Mirandola, and A. Sabetta. A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems. In Proceedings of CBSE?06, volume 4063 of LNCS, pages 270--284. Springer, 2006.
• 15: 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]
• 16: M. Hapner, R. Burridge, R. Sharma, J. Fialli, and K. Stout. Java Message Service Specification - Version 1.1. http://java.sun.com/products/jms/, January 2008.
• 17: Gregor Hohpe , Bobby Woolf, Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2003
• 18: H. Koziolek, S. Becker, and J. Happe. Predicting the Performance of Component-based Software Architectures with different Usage Profiles. In Proceedings of QoSA?07, volume 4880 of LNCS. Springer, 2007.
• 19: M. Kuperberg and S. Becker. Predicting Software Component Performance: On the Relevance of Parameters for Benchmarking Bytecode and APIs. In Proceedings of WCOP?07, 2007.
• 20: Yan Liu , Alan Fekete , Ian Gorton, Design-Level Performance Prediction of Component-Based Applications, IEEE Transactions on Software Engineering, v.31 n.11, p.928-941, November 2005 [doi>10.1109/TSE.2005.127]
• 21: Y. Liu and I. Gorton. Performance Prediction of J2EE Applications Using Messaging Protocols. In Proceedings of CBSE?05, pages 1--16. Springer, 2005.
• 22: Richard Monson-Haefel , David Chappell, Java Message Service, O'Reilly & Associates, Inc., Sebastopol, CA, 2000
• 23: O. M. G. (OMG). Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification (ptc/07-07-07), 2007.
• 24: 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
• 25: R. H. Reussner, S. Becker, H. Koziolek, J. Happe, M. Kuperberg, and K. Krogmann. The Palladio Component Model. Technical Report 2007-21, Universität Karlsruhe (TH), Faculty for Informatics, Karlsruhe, Germany, 2007.
• 26: K. Sachs, S. Kounev, J. Bacon, and A. Buchmann. Workload Characterization of the SPECjms2007 Benchmark. In Proceedings of EPEW?07, volume 4748, pages 228--244. Springer, 2007.
• 27: K. Sachs, S. Kounev, M. Carter, and A. Buchmann. Designing a Workload Scenario for Benchmarking Message-Oriented Middleware. In SPEC Benchmark Workshop, 2007.
• 28: Clemens Szyperski, Component Software: Beyond Object-Oriented Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
• 29: Tom Verdickt , Bart Dhoedt , Frank Gielen , Piet Demeester, Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models, IEEE Transactions on Software Engineering, v.31 n.8, p.695-711, August 2005 [doi>10.1109/TSE.2005.88]
• 30: Thomas Stahl , Markus Voelter , Krzysztof Czarnecki, Model-Driven Software Development: Technology, Engineering, Management, John Wiley & Sons, 2006
• 31: Murray Woodside , Dorin Petriu , Khalid Siddiqui, Performance-related completions for software specifications, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581346]
• 32: Xiuping Wu , Murray Woodside, Performance modeling from software components, ACM SIGSOFT Software Engineering Notes, v.29 n.1, January 2004

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Patterns (e.g., client/server, pipeline, blackboard)

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

  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Domain-specific architectures

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development
          Subjects: Modeling methodologies

General Terms:
Design, Measurement, Performance

Keywords:
message-oriented middleware, model-based performance prediction, software architecture