{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:29:11Z","timestamp":1776781751876,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540200833","type":"print"},{"value":"9783540398004","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39800-4_10","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T19:54:22Z","timestamp":1294343662000},"page":"207-258","source":"Crossref","is-referenced-by-count":11,"title":["Performance Evaluation at the Software Architecture Level"],"prefix":"10.1007","author":[{"given":"Simonetta","family":"Balsamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Bernardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Simeoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Chichester (1995)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"FME 2003: Formal Methods","author":"A. Aldini","year":"2003","unstructured":"Aldini, A., Bernardo, M.: A General Deadlock Detection Approach for Software Architectures. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805. Springer, Heidelberg (2003)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0166-5316(01)00035-9","volume":"45","author":"F. Aquilani","year":"2001","unstructured":"Aquilani, F., Balsamo, S., Inverardi, P.: Performance Analysis at the Software Architectural Design Level. Performance Evaluation\u00a045, 205\u2013221 (2001)","journal-title":"Performance Evaluation"},{"key":"10_CR4","first-page":"248","volume":"22","author":"F. Baccelli","year":"1989","unstructured":"Baccelli, F., Massey, W.A., Towsley, D.: Acyclic Fork-Join Queueing Networks. Journal of the ACM\u00a022, 248\u2013260 (1989)","journal-title":"Journal of the ACM"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/3-540-45798-4_12","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"C. Baier","year":"2002","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Automated Performance and Dependability Evaluation Using Model Checking. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 261\u2013289. Springer, Heidelberg (2002)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-46506-5_16","volume-title":"Performance Evaluation: Origins and Directions","author":"S. Balsamo","year":"2000","unstructured":"Balsamo, S.: Product Form Queueing Networks. In: Reiser, M., Haring, G., Lindemann, C. (eds.) Dagstuhl Seminar 1997. LNCS, vol.\u00a01769, pp. 377\u2013401. Springer, Heidelberg (2000)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/584369.584398","volume-title":"Proc. of the 3rd Int. Workshop on Software and Performance (WOSP 2002)","author":"S. Balsamo","year":"2002","unstructured":"Balsamo, S., Bernardo, M., Simeoni, M.: Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis. In: Proc. of the 3rd Int. Workshop on Software and Performance (WOSP 2002), Roma (Italy), pp. 190\u2013202. ACM Press, New York (2002)"},{"key":"10_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3345-7","volume-title":"Analysis of Queueing Networks with Blocking","author":"S. Balsamo","year":"2001","unstructured":"Balsamo, S., De Nitto Person\u00e9, V., Onvural, R.: Analysis of Queueing Networks with Blocking. Kluwer, Dordrecht (2001)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1109\/71.730531","volume":"9","author":"S. Balsamo","year":"1998","unstructured":"Balsamo, S., Donatiello, L., van Dijk, N.: Bounded Performance Analysis of Parallel Processing Systems. IEEE Trans. on Parallel and Distributed Systems\u00a09, 1041\u20131056 (1998)","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, G.: Open, Closed, and Mixed Networks of Queues with Different Classes of Customers. Journal of the ACM\u00a022, 248\u2013260 (1975)","journal-title":"Journal of the ACM"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Performance Evaluation","author":"H. Beilner","year":"1994","unstructured":"Beilner, H., M\u00e4ter, J., Wysocki, C.: The Hierarchical Evaluation Tool HIT. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol.\u00a0794. Springer, Heidelberg (1994)"},{"key":"10_CR12","volume-title":"to appear in Proc. of the 11th Int. Symp. on Modeling, Analysis and Simulation ofComputer and Telecommunication Systems (MASCOTS 2003)","author":"M. Bernardo","year":"2003","unstructured":"Bernardo, M.: TwoTowers 3.0: Enhancing Usability. In: to appear in Proc. of the 11th Int. Symp. on Modeling, Analysis and Simulation ofComputer and Telecommunication Systems (MASCOTS 2003), Orlando (FL). IEEE-CS Press, Los Alamitos (October 2003), http:\/\/www.sti.uniurb.it\/bernardo\/twotowers\/"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Bernardo, M.: Symbolic Semantic Rules for Producing Compact STGLA from Value Passing Process Descriptions. To appear in ACM Trans. on Computational Logic (2003)","DOI":"10.1145\/1013560.1013563"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0304-3975(01)00090-1","volume":"290","author":"M. Bernardo","year":"2003","unstructured":"Bernardo, M., Bravetti, M.: Performance Measure Sensitive Congruences for Markovian Process Algebras. Theoretical Computer Science\u00a0290, 117\u2013160 (2003)","journal-title":"Theoretical Computer Science"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Families of Software Systems with Process Algebras. ACM Trans. on Software Engineering and Methodology\u00a011, 386\u2013426 (2002)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-45798-4_11","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Donatiello, L., Ciancarini, P.: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 236\u2013260. Springer, Heidelberg (2002)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-46000-4_7","volume-title":"Coordination Models and Languages","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Franz\u00e9, F.: Exogenous and Endogenous Extensions of Architectural Types. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 40\u201355. Springer, Heidelberg (2002)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-45923-5_8","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Franz\u00e9, F.: Architectural Types Revisited: Extensible And\/Or Connections. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 113\u2013128. Springer, Heidelberg (2002)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/362342.362345","volume":"16","author":"J.P. Buzen","year":"1973","unstructured":"Buzen, J.P.: Computational Algorithms for Closed Queueing Networks with Exponential Servers. Comm. of the ACM\u00a016, 527\u2013531 (1973)","journal-title":"Comm. of the ACM"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1145\/359015.359020","volume":"23","author":"K.M. Chandy","year":"1980","unstructured":"Chandy, K.M., Sauer, C.H.: Computational Algorithms for Product Form Queueing Networks. Comm. of the ACM\u00a023, 573\u2013583 (1980)","journal-title":"Comm. of the ACM"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1147\/rd.294.0330","volume":"29","author":"W.-M. Chow","year":"1985","unstructured":"Chow, W.-M., MacNair, E.A., Sauer, C.H.: Analysis of Manufactoring Systems by the Research Queueing Package. IBM Journal of Research and Development\u00a029, 330\u2013342 (1985)","journal-title":"IBM Journal of Research and Development"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/3-540-46429-8_18","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"G. Clark","year":"2000","unstructured":"Clark, G., Gilmore, S., Hillston, J., Ribaudo, M.: Exploiting Modal Logic to Express Performance Measures. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 247\u2013261. Springer, Heidelberg (2000)"},{"key":"10_CR23","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/B978-044482830-9\/50024-2","volume-title":"Handbook of Process Algebra","author":"W.R. Cleaveland","year":"2001","unstructured":"Cleaveland, W.R., Sokolsky, O.: Equivalence and Preorder Checking for Finite-State Systems. In: Handbook of Process Algebra, pp. 391\u2013424. Elsevier, Amsterdam (2001)"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1145\/6490.6495","volume":"33","author":"A.E. Conway","year":"1986","unstructured":"Conway, A.E., Georganas, N.D.: RECAL - A New Efficient Algorithm for the Exact Analysis of Multiple-Chain Closed Queueing Networks. Journal of the ACM\u00a033, 786\u2013791 (1986)","journal-title":"Journal of the ACM"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0166-5316(95)96869-T","volume":"24","author":"R.G. Franks","year":"1995","unstructured":"Franks, R.G., Hubbard, A., Majumdar, S., Neilson, J.E., Petriu, D.C., Ro-lia, J.A., Woodside, C.M.: A Toolset for Performance Engineering and Software Design of Client-Server Systems. Performance Evaluation\u00a024, 117\u2013135 (1995)","journal-title":"Performance Evaluation"},{"key":"10_CR27","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/287318.287346","volume-title":"Proc. of the 1st Int. Workshop on Software and Performance (WOSP 1998)","author":"R.G. Franks","year":"1998","unstructured":"Franks, R.G., Woodside, C.M.: Performance of Multi-level Client-server Systems with Parallel Service Operations. In: Proc. of the 1st Int. Workshop on Software and Performance (WOSP 1998), Santa Fe (NM), pp. 120\u2013130. ACM Press, New York (1998)"},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"656","DOI":"10.2307\/3214499","volume":"28","author":"E. Gelenbe","year":"1991","unstructured":"Gelenbe, E.: Queueing Networks with Negative and Positive Customers. Journal of Applied Probability\u00a028, 656\u2013663 (1991)","journal-title":"Journal of Applied Probability"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras. In: Proc. of the 16th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (PERFORMANCE 1993), Roma (Italy). LNCS, vol.\u00a0729, pp. 121\u2013146 (1993)","DOI":"10.1007\/BFb0013851"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"key":"10_CR31","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":"10_CR32","volume-title":"Dynamic Probabilistic Systems","author":"R.A. Howard","year":"1971","unstructured":"Howard, R.A.: Dynamic Probabilistic Systems. John Wiley & Sons, Chichester (1971)"},{"key":"10_CR33","volume-title":"Introduction to Computer System Performance Evaluation","author":"K. Kant","year":"1992","unstructured":"Kant, K.: Introduction to Computer System Performance Evaluation. McGraw-Hill, New York (1992)"},{"key":"10_CR34","volume-title":"Queueing Systems","author":"L. Kleinrock","year":"1975","unstructured":"Kleinrock, L.: Queueing Systems. Wiley, Chichester (1975)"},{"key":"10_CR35","volume-title":"Computer Performance Modeling Handbook","author":"S.S. Lavenberg","year":"1983","unstructured":"Lavenberg, S.S.: Computer Performance Modeling Handbook. Academic Press, London (1983)"},{"key":"10_CR36","unstructured":"Lavenberg, S.S., Sauer, C.H.: Approximate Analysis of Queueing Networks. In: [35], pp. 173\u2013221"},{"key":"10_CR37","volume-title":"Quantitative System Performance: Computer System Analysis Using Queueing Network Models","author":"E.D. Lazowska","year":"1984","unstructured":"Lazowska, E.D., Zahorjan, J., Scott Graham, G., Sevcik, K.C.: Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall, Englewood Cliffs (1984)"},{"key":"10_CR38","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"10_CR39","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance Analysis using Stochastic Petri Nets. IEEE Trans. on Computers\u00a031, 913\u2013917 (1982)","journal-title":"IEEE Trans. on Computers"},{"key":"10_CR40","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1109\/12.2213","volume":"37","author":"R. Nelson","year":"1988","unstructured":"Nelson, R., Tantawi, A.: Approximate Analysis of Fork-Join Synchronization in Parallel Queues. IEEE Trans. on Computers\u00a037, 739\u2013743 (1988)","journal-title":"IEEE Trans. on Computers"},{"key":"10_CR41","unstructured":"Neuts, M.F.: Matrix-Geometric Solutions in Stochastic Models \u2013 An Algorithmic Approach. John Hopkins University Press (1981)"},{"key":"10_CR42","volume-title":"Queueing Networks with Blocking","author":"H.G. Perros","year":"1994","unstructured":"Perros, H.G.: Queueing Networks with Blocking. Oxford University Press, Oxford (1994)"},{"key":"10_CR43","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes\u00a017, 40\u201352 (1992)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10_CR44","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/322186.322195","volume":"27","author":"M. Reiser","year":"1980","unstructured":"Reiser, M., Lavenberg, S.S.: Mean-Value Analysis of Closed Multichain Queueing Networks. Journal of the ACM\u00a027, 313\u2013322 (1980)","journal-title":"Journal of the ACM"},{"key":"10_CR45","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1109\/32.403785","volume":"21","author":"J.A. Rolia","year":"1995","unstructured":"Rolia, J.A., Sevcik, K.C.: The Method of Layers. IEEE Trans. on Software Engineering\u00a021, 682\u2013688 (1995)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10_CR46","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"10_CR47","volume-title":"Performance Engineering of Software Systems","author":"C. Smith","year":"1990","unstructured":"Smith, C.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)"},{"key":"10_CR48","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"10_CR49","unstructured":"Simulog Corp., The QNAP2 Reference Manual (1989)"},{"key":"10_CR50","volume-title":"Probability and Statistics with Reliability, Queueing, and Computer Science Applications","author":"K.S. Trivedi","year":"2001","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queueing, and Computer Science Applications. John Wiley & Sons, Chichester (2001)"},{"key":"10_CR51","unstructured":"Welch, P.D.: The Statistical Analysis of Simulation Results. In: [35], pp. 267\u2013329"},{"key":"10_CR52","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/12.368012","volume":"44","author":"C.M. Woodside","year":"1995","unstructured":"Woodside, C.M., Neilson, J.E., Petriu, D.C., Majumdar, S.: The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software. IEEE Trans. on Computers\u00a044, 20\u201334 (1995)","journal-title":"IEEE Trans. on Computers"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Software Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39800-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:00:17Z","timestamp":1559912417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39800-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540200833","9783540398004"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39800-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}