{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:26:07Z","timestamp":1725567967839},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235262"},{"type":"electronic","value":"9783540301820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30182-0_57","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T23:50:40Z","timestamp":1287964240000},"page":"564-573","source":"Crossref","is-referenced-by-count":4,"title":["UML Design and Software Performance Modeling"],"prefix":"10.1007","author":[{"given":"Salvatore","family":"Distefano","sequence":"first","affiliation":[]},{"given":"Daniele","family":"Paci","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Puliafito","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Scarpa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"57_CR1","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marzolla, M.: A Simulation-Based Approach to Software Performance Modeling. In: European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2003), Helsinki, Finland. ACM SIGSOFT Software Engineering Notes, vol.\u00a028, pp. 363\u2013366 (2003)","DOI":"10.1145\/949952.940122"},{"key":"57_CR2","unstructured":"Bernardi, S.: Building Stochastic Petri Net Models for the Verification of Complex Software Systems. Ph.D. thesis, Universit\u00e1 di Torino, Italy (2003)"},{"key":"57_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/HASE.1999.809476","volume-title":"Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering","author":"A. Bondavalli","year":"1999","unstructured":"Bondavalli, A., Majzik, I., Mura, I.: Automatic Dependability Analysis for Supporting Design Decisions in UML. In: Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering, Washington, D.C., pp. 64\u201371. IEEE, Los Alamitos (1999)"},{"key":"57_CR4","unstructured":"Horv\u00e1th, A., Puliafito, A., Scarpa, M., Telek, M., Tomarchio, O.: Design and Evaluation of a Web-Based Non-Markovian Stochastic Petri Net Tool. In: Proceedings of the 13th International Symposium on Computer and Information Sciences (ISCIS 1998), Antalya, Turkey, pp. 101\u2013109. IOS\/Ohmsha (1998)"},{"key":"57_CR5","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1093\/comjnl\/45.3.260","volume":"45","author":"G. Huszerl","year":"2002","unstructured":"Huszerl, G., Mjzik, I., Pataricza, A., Kosmidis, K., Chin, M.D.: Quantitative Analysis of UML Statechart Models of Dependable Systems. The Computer Journal\u00a045, 260\u2013277 (2002)","journal-title":"The Computer Journal"},{"key":"57_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/584369.584375","volume-title":"Proceedings of the 3rd International Workshop on Software and Performance (WOSP 2002)","author":"C. Lindemann","year":"2002","unstructured":"Lindemann, C., Th\u00fcmmler, A., Klemm, A., Lohmann, M., Waldhorst, O.P.: Performance Analysis of Time-Enhanced UML Diagrams Based on Stochastic Processes. In: Proceedings of the 3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, pp. 25\u201334. ACM, New York (2002)"},{"key":"57_CR7","doi-asserted-by":"crossref","unstructured":"Merseguer, J.: Software Performance Engineering Based on UML and Petri Nets. PhD thesis, University of Zaragoza, Spain (2003)","DOI":"10.1007\/978-3-540-24663-3_13"},{"key":"57_CR8","unstructured":"Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. OMG, Final Adopted Specification edn. (2002)"},{"key":"57_CR9","unstructured":"Object Management Group. UML Specification v. 1.5. OMG, 1.5 edn. (2003)"},{"key":"57_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-46029-2_10","volume-title":"Computer Performance Evaluation","author":"D.C. Petriu","year":"2002","unstructured":"Petriu, D.C., Shen, H.: Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 159\u2013177. Springer, Heidelberg (2002)"},{"key":"57_CR11","doi-asserted-by":"crossref","unstructured":"Pooley, R., King, P.J.B.: The Unified Modeling Language and Performance Engineering. In: Proceedings of IEE - Software, vol.\u00a0146, pp. 2\u201310 (1999)","DOI":"10.1049\/ip-sen:19990151"},{"key":"57_CR12","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1142\/S021819400100075X","volume":"11","author":"J.A. Saldhana","year":"2001","unstructured":"Saldhana, J.A., Shatz, S.M., Hu, Z.: Formalization of Object Behavior and Interactions from UML Models. International Journal of Software Engineering and Knowledge Engineering\u00a011, 643\u2013673 (2001)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"57_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-39924-7_29","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"M. Scarpa","year":"2003","unstructured":"Scarpa, M., Distefano, S., Puliafito, A.: A Parallel Approach for the Solution of Non-Markovian Petri Nets. In: Dongarra, J., Laforenza, D., Orlando, S. (eds.) EuroPVM\/MPI 2003. LNCS, vol.\u00a02840, pp. 196\u2013203. Springer, Heidelberg (2003)"},{"volume-title":"Performance Engineering of Software Systems","year":"1990","author":"C.U. Smith","key":"57_CR14","unstructured":"Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley Longman, Boston (1990)"},{"key":"57_CR15","unstructured":"Tigris. ArgoUML, http:\/\/argouml.tigris.org\/"},{"key":"57_CR16","unstructured":"Xu, Z., Lehmann, A.: Automated Generation of Queuing Network Model from UML-Based Software Models with Performance Annotations. Technical report 2002-06, Universit\u00e4t der Bundeswehr M\u00fcnchen (2002)"}],"container-title":["Lecture Notes in Computer Science","Computer and Information Sciences - ISCIS 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30182-0_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T16:03:01Z","timestamp":1636732981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30182-0_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235262","9783540301820"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30182-0_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}
