Article

Performance prediction of service-oriented systems with layered queueing networks

Authors:

Mirco Tribastone,

Martin WirsingAuthors Info & Claims

ISoLA'10: Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II

Pages 51 - 65

Published: 18 October 2010 Publication History

Abstract

We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the UML and two profiles: UML4SOA for specifying the functional behaviour, and MARTE for the non-functional performance-related characterisation. By means of a case study, we show how such a model can be interpreted as a layered queueing network. This target technique has the advantage to employ as constituent blocks entities, such as threads and processors, which arise very frequently in real deployment scenarios. Furthermore, the analytical methods for the solution of the performance model scale very well with increasing problem sizes, making it possible to efficiently evaluate the behaviour of large-scale systems.

References

[1]

Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng. 30(5), 295-310 (2004).

Digital Library

[2]

Bard, Y.: Some extensions to multiclass queueing network analysis. In: Third International Symposium on Modelling and Performance Evaluation of Computer Systems, pp. 51-62. North-Holland, Amsterdam (1979).

Digital Library

[3]

Baskett, F., Mani Chandy, K., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248-260 (1975).

Digital Library

[4]

Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: Proceedings of the 6th international workshop on Software and performance, vol. 65. ACM, New York (2007).

Digital Library

[5]

Mani Chandy, K., Neuse, D.: Linearizer: A heuristic algorithm for queueing network models of computing systems. Commun. ACM 25(2), 126-134 (1982).

Digital Library

[6]

Franks, G., Maly, P., Woodside, M., Petriu, D., Hubbard, A.: Layered Queueing Network Solver and Simulator User Manual (2005), http://www.sce.carleton.ca/rads/lqns

[7]

Franks, G., Omari, T., Murray Woodside, C., Das, O., Derisavi, S.: Enhanced modeling and solution of layered queueing networks. IEEE Trans. Software Eng. 35(2), 148-161 (2009).

Digital Library

[8]

Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., Varró, D.: Nonfunctional properties in the model-driven development of service-oriented systems. Software and System Modeling (2010).

Digital Library

[9]

Gordon, W.J., Newell, G.F.: Closed queuing systems with exponential servers. Operations Research 15(2), 254-265 (1967).

Digital Library

[10]

Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996).

Digital Library

[11]

Koziolek, H., Reussner, R.: A model transformation from the palladio component model to layered queueing networks. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol. 5119, pp. 58-78. Springer, Heidelberg (2008).

Digital Library

[12]

Wirsing, M., et al.: Sensoria: Engineering for Service-Oriented Overlay Computers. MIT Press, Cambridge (2009).

[13]

Mayer, P., Koch, N., Schroeder, A., Knapp, A.: The UML4SOA Specification. Specification, LMU Munich (2009), http://www.uml4soa.eu/wp-content/uploads/uml4soa_spec.pdf.

[14]

Mayer, P., Schroeder, A., Koch, N.: MDD4SOA: Model-Driven Service Orchestration. In: EDOC, pp. 203-212. IEEE Computer Society, Los Alamitos (2008).

Digital Library

[15]

Object Management Group (OMG): UML Superstructure Specification 2.1.2. Technical report, OMG (2007), http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF/ (last accessed on May 5, 2009).

[16]

Object Management Group (OMG). A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2. Technical report, Object Management Group (2008).

[17]

Object Management Group (OMG). Service oriented architecture Modeling Language (SoaML), Beta 1. Technical report, Object Management Group (2009).

[18]

Murray Woodside, C., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Meseguer, J.: Performance by unified model analysis (PUMA). In: WOSP, pp. 1-12 (2005).

Digital Library

Cited By

Zhao PLiu LCao WDong XLi JFeng X(2019)ElasticActorInternational Journal of Parallel Programming10.1007/s10766-018-0613-747:3(520-534)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10766-018-0613-7
Buchholz PVastag S(2018)Toward an analytical method for SLA validationSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0604-y17:2(527-545)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10270-017-0604-y

Recommendations

Model-based performance analysis of service-oriented systems
SDL'11: Proceedings of the 15th international conference on Integrating System and Software Modeling

Quantitative performance analysis of service-oriented systems can be conducted in the early development phases by transforming a UML software model extended with performance annotations into a performance model (such as queueing networks, Petri nets, ...
ATL Transformation of Queueing Networks to Queueing Petri Nets
MODELSWARD 2017: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development

This paper presents an approach for model transformation from Queueing Network Models (QNMs) into

Queueing Petri Nets (QPNs). This would open up the benefits of QPNs in analyzing the performance of

QNMs. We present metamodels for QNMs and QPNs, and then ...
Modeling and Prediction of Software-Defined Networks Performance using Queueing Petri Nets
SIMUTOOLS'16: Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques

Using various modeling and simulation approaches for predicting network performance requires extensive experience and involves a number of time consuming manual steps regarding each of the modeling formalisms. Descartes Network Infrastructure (DNI) is a ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ISoLA'10: Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II

October 2010

499 pages

ISBN:3642165605

Editors:
Tiziana Margaria
University of Potsdam, Potsdam, Germany
,
Bernhard Steffen
TU Dortmund University, Dortmund, Germany

Sponsors

EASST: EASST

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 18 October 2010

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhao PLiu LCao WDong XLi JFeng X(2019)ElasticActorInternational Journal of Parallel Programming10.1007/s10766-018-0613-747:3(520-534)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10766-018-0613-7
Buchholz PVastag S(2018)Toward an analytical method for SLA validationSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0604-y17:2(527-545)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10270-017-0604-y

View Options

View options

Media

Figures

Other

Tables

View Table of Contents