{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T21:31:02Z","timestamp":1779139862379,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642165603","type":"print"},{"value":"9783642165610","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16561-0_12","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:50:50Z","timestamp":1288705850000},"page":"51-65","source":"Crossref","is-referenced-by-count":21,"title":["Performance Prediction of Service-Oriented Systems with Layered Queueing Networks"],"prefix":"10.1007","author":[{"given":"Mirco","family":"Tribastone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng.\u00a030(5), 295\u2013310 (2004)","DOI":"10.1109\/TSE.2004.9"},{"key":"12_CR2","first-page":"51","volume-title":"Third International Symposium on Modelling and Performance Evaluation of Computer Systems","author":"Y. Bard","year":"1979","unstructured":"Bard, Y.: Some extensions to multiclass queueing network analysis. In: Third International Symposium on Modelling and Performance Evaluation of Computer Systems, pp. 51\u201362. North-Holland, Amsterdam (1979)"},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"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\u00a022(2), 248\u2013260 (1975)","journal-title":"J. ACM"},{"key":"12_CR4","volume-title":"Proceedings of the 6th international workshop on Software and performance","author":"S. Becker","year":"2007","unstructured":"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.\u00a065. ACM, New York (2007)"},{"issue":"2","key":"12_CR5","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1145\/358396.358403","volume":"25","author":"K. Mani Chandy","year":"1982","unstructured":"Mani Chandy, K., Neuse, D.: Linearizer: A heuristic algorithm for queueing network models of computing systems. Commun. ACM\u00a025(2), 126\u2013134 (1982)","journal-title":"Commun. ACM"},{"key":"12_CR6","unstructured":"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"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/TSE.2008.74","volume":"35","author":"G. Franks","year":"2009","unstructured":"Franks, G., Omari, T., Murray Woodside, C., Das, O., Derisavi, S.: Enhanced modeling and solution of layered queueing networks. IEEE Trans. Software Eng.\u00a035(2), 148\u2013161 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Gilmore, S., G\u00f6nczy, L., Koch, N., Mayer, P., Tribastone, M., Varr\u00f3, D.: Non-functional properties in the model-driven development of service-oriented systems. Software and System Modeling (2010)","DOI":"10.1007\/s10270-010-0155-y"},{"issue":"2","key":"12_CR9","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1287\/opre.15.2.254","volume":"15","author":"W.J. Gordon","year":"1967","unstructured":"Gordon, W.J., Newell, G.F.: Closed queuing systems with exponential servers. Operations Research\u00a015(2), 254\u2013265 (1967)","journal-title":"Operations Research"},{"key":"12_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-69814-2_6","volume-title":"Performance Evaluation: Metrics, Models and Benchmarks","author":"H. Koziolek","year":"2008","unstructured":"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.\u00a05119, pp. 58\u201378. Springer, Heidelberg (2008)"},{"key":"12_CR12","volume-title":"Sensoria: Engineering for Service-Oriented Overlay Computers","author":"M. Wirsing","year":"2009","unstructured":"Wirsing, M., et al.: Sensoria: Engineering for Service-Oriented Overlay Computers. MIT Press, Cambridge (2009)"},{"key":"12_CR13","unstructured":"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 ."},{"key":"12_CR14","first-page":"203","volume-title":"EDOC","author":"P. Mayer","year":"2008","unstructured":"Mayer, P., Schroeder, A., Koch, N.: MDD4SOA: Model-Driven Service Orchestration. In: EDOC, pp. 203\u2013212. IEEE Computer Society, Los Alamitos (2008)"},{"key":"12_CR15","unstructured":"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)"},{"key":"12_CR16","unstructured":"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)"},{"key":"12_CR17","unstructured":"Object Management Group (OMG). Service oriented architecture Modeling Language(SoaML), Beta 1. Technical report, Object Management Group (2009)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"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\u201312 (2005)","DOI":"10.1145\/1071021.1071022"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16561-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T01:08:12Z","timestamp":1559783292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16561-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165603","9783642165610"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16561-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}