Performance modeling and analysis of message-oriented event-driven systems
详细信息    查看全文
  • 作者：Kai Sachs (1)
    Samuel Kounev (2)
    Alejandro Buchmann (3)
  • 关键词：Event ; based ; Performance model ; Performance evaluation ; Message ; oriented middleware ; Performance pattern
  • 刊名：Software and Systems Modeling
  • 出版年：2013
  • 出版时间：October 2013
  • 年：2013
  • 卷：12
  • 期：4
  • 页码：705-729
  • 全文大小：1976KB
  • 参考文献：1. Hinze, A., Sachs, K., Buchmann, A.: Event-based applications and enabling technologies. In: Proceedings of the International Conference on Distributed Event-Based Systems (DEBS 2009), (2009)
    2. Sachs K., Kounev S., Bacon J., Buchmann A.: Performance evaluation of Message-Oriented Middleware using the SPECjms2007 benchmark. Perform. Eval. 66(8), 410鈥?34 (2009) CrossRef
    3. Bause, F.: Queueing Petri nets鈥攁 formalism for the combined qualitative and quantitative analysis of systems. In: Proceedings of the 5th International Workshop on Petri Nets and Performance Models (PNPM 1993), Toulouse (France), (1993)
    4. Bause F., Buchholz P.: Queueing Petri nets with product form solution. Perform. Eval. 32(4), 265鈥?99 (1998) CrossRef
    5. Bause, F., Buchholz, P., Kemper, P.: QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets. In: Quantitative Evaluation of Computing and Communication Systems, ser. LNCS, H. Beilner and F. Bause, Eds., 977. Springer (1995)
    6. Kounev S., Buchmann A.: SimQPN鈥攁 tool and methodology for analyzing queueing Petri net models by means of simulation. Perform. Eval. 63(4鈥?), 364鈥?94 (2006) CrossRef
    7. Sun Microsystems: Java Message Service (JMS) Specification-Ver. (2002)
    8. Hohpe G., Woolf B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley, Boston (2003)
    9. Sachs, K.: Performance modeling and benchmarking of event-based systems. Ph.D. dissertation, TU Darmstadt (2010)
    10. Bause, F., Buchholz, P., Kemper, P.: Integrating software and hardware performance models using hierarchical queueing Petri nets. In: Proceedings of the 9. ITG / GI-Fachtagung Messung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen, (MMB脮97), Freiberg, Germany (1997)
    11. Kounev S.: Performance modeling and evaluation of distributed component-based systems using queueing Petri nets. IEEE Trans. Softw. Eng. 32(7), 486鈥?02 (2006) CrossRef
    12. Kounev, S., Dutz, C.: QPME鈥攁 performance modeling tool based on queueing Petri nets. ACM SIGMETRICS Perform. Eval. Rev. 36(4), (2009)
    13. Descartes Research Group. (2011) QPME Project Website. [Online]. Available: http://qpme.sourceforge.net
    14. Meier, P., Kounev, S., Koziolek, H.: Automated transformation of palladio component models to queueing Petri nets. In: 19th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2011), (2011)
    15. Kounev, S., Bender, K., Brosig, F., Huber, N., Okamoto, R.: Automated simulation-based capacity planning for enterprise data fabrics. In: 4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011), (2011)
    16. Henjes, R., Menth, M., Zepfel, C.: Throughput performance of Java messaging services using websphereMQ. In: Proceedings of the 26th IEEE International Conferenceon Distributed Computing Systems Workshops (ICDCSW 鈥?6), (2006)
    17. Menth, M., Henjes, R.: Analysis of the message waiting time for the FioranoMQ JMS server. In: Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS鈥?6), (2006)
    18. Happe, J., Friedrich, H., Becker, S., Reussner, R.H.: A pattern-based performance completion for Message-Oriented Middleware. In: Proceedings of the 7th international workshop on Software and performance (WOSP 2008), (2008)
    19. Liu, Y., Gorton, I.: Performance prediction of J2EE applications using messaging protocols. In: Proceedings of Component-Based Software Engineering, 8th International Symposium (CBSE 2005), St. Louis, MO (USA), ser. Lect. Notes Comput. Sci., 3489. Springer, (2005)
    20. Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and evaluation of a wide-area event notification service. ACM Trans. Comput. Syst. 19(3), (2001)
    21. Jaeger, M.A., M眉hl, G.: Stochastic analysis and comparison of self-stabilizing routing algorithms for publish/subscribe systems. In: Proceedings of the 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), (2005)
    22. M眉hl, G., Schr枚ter, A., Parzyjegla, H., Kounev, S., Richling, J.: Stochastic analysis of hierarchical publish/subscribe systems. In: Euro-Par 2009 Parallel Processing, ser. Lect. Notes Comput. Sci., 5704. Springer (2009)
    23. Schr枚ter, A., M眉hl, G., Kounev, S., Parzyjegla, H., Richling, J.: Stochastic performance analysis and capacity planning of publish/subscribe systems. In: 4th ACM International Conference on Distributed Event-Based Systems (DEBS 2010), July 12鈥?5, Cambridge, UK. ACM, New York, USA (2010)
    24. Kounev, S., Sachs, K., Bacon, J., Buchmann, A.P.: A methodology for performance modeling of distributed event-based systems. In: Proceedings of 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC鈥?8). IEEE (2008)
    25. He, F., Baresi, L., Ghezzi, C., Spoletini, P.: Formal analysis of publish-subscribe systems by probabilistic timed automata. In: Formal Techniques for Networked and Distributed Systems (FORTE 2007), ser. Lect. Notes Comput. Sci., 4574 (2007)
    26. Kounev S., Sachs K.: Benchmarking and performance modeling of event-based systems. Inform. Technol. 51(5), 262鈥?69 (2009)
    27. Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.M.: Design patterns: abstraction and reuse of object-oriented design. In: Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP鈥?3), ser. Lect. Notes Comput. Sci., 707. Springer (1993)
    28. Naedele, M., Janneck, J.W.: Design patterns in Petri net system modeling. In: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS鈥?8). IEEE, (1998)
    29. Mulyar, N., von der Aalst, W.: Towards a pattern language for colored Petri nets. In: Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 鈥?5), (2005)
    30. Mulyar, N., von der Aalst, W.: Patterns in Colored Petri Nets. BETA Working Paper Series, WP 139, Eindhoven University of Technology, Eindhoven, Tech. Rep., (2005)
    31. Bellur, U., Shirabate, A.: Performance prediction and physical design of J2EE based web applications. In: World Scientific and Engineering Academy and Society鈥擟ircuits, Systems, Communications, Computers (WSEAS CSCC 2004), (2004)
    32. Lee, N., Hong, J., Cha, S., Bae, D.: Towards reusable colored Petri nets. In: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE鈥?8). IEEE, (1998)
    33. Pettit R. IV, Gomaa, H.: Modeling behavioral patterns of concurrent software architectures using Petri nets. In: Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA鈥?4). IEEE, (2004)
    34. Pettit R. IV, Gomaa, H.: Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets. In: Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC鈥?6), (2006)
    35. Pettit R. IV, Gomaa, H.: Analyzing behavior of concurrent software designs for embedded systems. In: Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC鈥?7), (2007)
    36. Sachs, K., Appel, S., Kounev, S., Buchmann, A.: Benchmarking publish/subscribe-based messaging systems. In: Database Systems for Advanced Applications (DASFAA 2010) International Workshops: BenchmarX10, ser. Lect. Notes Comput. Sci., 6193. Springer (2010)
    37. Bause, F.: QN + PN = QPN鈥擟ombining queueing networks and Petri nets. Department of CS, University of Dortmund, Germany, Technical Report No. 461, 1993
    38. Kounev, S.: J2EE performance and scalability鈥攆rom measuring to predicting. In: Proceedings of the SPEC Benchmark Workshop 2006 (SPEC鈥?6). SPEC, (2006)
    39. Kounev, S.: Performance engineering of distributed component-based systems鈥擝enchmarking, modeling and performance prediction. Ph.D. dissertation, Technische Universit盲t Darmstadt, (2005)
    40. Bause F., Kritzinger F.: Stochastic Petri Nets鈥擜n Introduction to the Theory. Vieweg Verlag, Berlin (2002) CrossRef
    41. Bolch G., Greiner S., Meer H.d., Trivedi K.S.: Queueing Networks and Markov Chains. Wiley, Hoboken (2005)
    42. Genrich H.J., Lautenbach K.: System Modelling with high-level Petri nets. Theor. Comput. Sci. 13, 109鈥?36 (1981) CrossRef
    43. Jensen, K., Rozenberg, G. (eds): High-level Petri Nets: Theory and Application. Springer, Berlin (1991)
    44. Jensen, K.: How to find invariants for coloured Petri nets. In: Proceedings on Mathematical Foundations of Computer Science, ser. Lect. Notes Comput. Sci., 118. Springer (1981)
    45. Jensen K.: Coloured Petri nets and the invariant-method. Theor. Comput. Sci. 14, 317鈥?36 (1981) CrossRef
    46. Bause, F., Kemper, P.: QPN-Tool for qualitative and quantitative analysis of queueing Petri nets. In: Proceedings of the 7th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, ser. Lect. Notes Comput. Sci., 794. Springer (1994)
    47. Kounev, S., Dutz, C., Buchmann, A.: QPME鈥擰ueueing Petri Net Modeling Environment. In: Proceedings of the Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006). IEEE Computer Society (2006)
  • 作者单位：Kai Sachs (1)
    Samuel Kounev (2)
    Alejandro Buchmann (3)

    1. SAP AG, Walldorf, Germany
    2. Karlsruhe Institute of Technology, Karlsruhe, Germany
    3. TU Darmstadt, Darmstadt, Germany
  • ISSN：1619-1374
文摘
Message-oriented event-driven systems are becoming increasingly ubiquitous in many industry domains including telecommunications, transportation and supply chain management. Applications in these areas typically have stringent requirements for performance and scalability. To guarantee adequate quality-of-service, systems must be subjected to a rigorous performance and scalability analysis before they are put into production. In this paper, we present a comprehensive modeling methodology for message-oriented event-driven systems in the context of a case study of a representative application in the supply chain management domain. The methodology, which is based on queueing Petri nets, provides a basis for performance analysis and capacity planning. We study a deployment of the SPECjms2007 standard benchmark on a leading commercial middleware platform. A detailed system model is built in a step-by-step fashion and then used to predict the system performance under various workload and configuration scenarios. After the case study, we present a set of generic performance modeling patterns that can be used as building blocks when modeling message-oriented event-driven systems. The results demonstrate the effectiveness, practicality and accuracy of the proposed modeling and prediction approach.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址：北京市海淀区学院路29号 邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700