{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:42:16Z","timestamp":1725583336114},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642212093"},{"type":"electronic","value":"9783642212109"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21210-9_3","type":"book-chapter","created":{"date-parts":[[2011,5,13]],"date-time":"2011-05-13T02:06:37Z","timestamp":1305252397000},"page":"19-34","source":"Crossref","is-referenced-by-count":4,"title":["A Model-Based Framework for Software Performance Feedback"],"prefix":"10.1007","author":[{"given":"Catia","family":"Trubiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"GreatSPN, a GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets, http:\/\/www.di.unito.it\/~greatspn\/index.html"},{"key":"3_CR2","unstructured":"SAE, Architecture Analysis and Design Language (AADL), June 2006, as5506\/1, http:\/\/www.sae.org"},{"key":"3_CR3","unstructured":"UML 2.0 Superstructure Specification, Object Management Group, Inc. (2005), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04"},{"key":"3_CR4","unstructured":"UML Profile for MARTE beta 2, Object Management Group, Inc. (2008), http:\/\/www.omgmarte.org\/Documents\/Specifications\/08-06-09.pdf"},{"key":"3_CR5","unstructured":"WinPEPSY-QNS, a tool for calculating performance measures of Queueing Networks, http:\/\/www7.informatik.unierlangen.de\/prbazan\/pepsy"},{"issue":"5","key":"3_CR6","first-page":"295","volume":"30","author":"S. Balsamo","year":"2004","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based Performance Prediction in Software Development: A Survey. IEEE TSE\u00a030(5), 295\u2013310 (2004)","journal-title":"IEEE TSE"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Barber, K.S., Graser, T.J., Holt, J.: Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation. In: International Conference on Automated Software Engineering (ASE), pp. 172\u2013182 (2002)","DOI":"10.1109\/ASE.2002.1115011"},{"key":"3_CR8","first-page":"3","volume":"82","author":"S. Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The Palladio Component Model for model-driven performance prediction. JUSS\u00a082, 3\u201322 (2009)","journal-title":"JUSS"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Bernardo, M., Donatiello, L., Ciancarini, P.: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. In: Performance, pp. 236\u2013260 (2002)","DOI":"10.1007\/3-540-45798-4_11"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J. B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Software and System Modeling\u00a04(2), 171\u2013188 (2005)","journal-title":"Software and System Modeling"},{"key":"3_CR11","unstructured":"Brown, W.J., Malveau, R.C., McCormick III, H.W., Mowbray, T.J.: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis (1998)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Di Marco, A., Eramo, R., Pierantonio, A., Trubiani, C.: Approaching the Model-Driven Generation of Feedback to Remove Software Performance Flaws. In: EUROMICRO-SEAA, pp. 162\u2013169 (2009)","DOI":"10.1109\/SEAA.2009.85"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Di Marco, A., Eramo, R., Pierantonio, A., Trubiani, C.: Digging into UML models to remove Performance Antipatterns. In: ICSE Workshop Quovadis, pp. 9\u201316 (2010)","DOI":"10.1145\/1808877.1808880"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Di Marco, A., Trubiani, C.: Performance Antipatterns as Logical Predicates. In: IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 146\u2013156 (2010)","DOI":"10.1109\/ICECCS.2010.44"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-75211-0_13","volume-title":"Formal Methods and Stochastic Models for Performance Evaluation","author":"V. Cortellessa","year":"2007","unstructured":"Cortellessa, V., Frittella, L.: A framework for automated generation of architectural feedback from software performance analysis. In: Wolter, K. (ed.) EPEW 2007. LNCS, vol.\u00a04748, pp. 171\u2013185. Springer, Heidelberg (2007)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-12029-9_26","volume-title":"Fundamental Approaches to Software Engineering","author":"V. Cortellessa","year":"2010","unstructured":"Cortellessa, V., Martens, A., Reussner, R., Trubiani, C.: A process to effectively identify \u201cGuilty\u201d performance antipatterns. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 368\u2013382. Springer, Heidelberg (2010)"},{"key":"3_CR17","unstructured":"Dudney, B., Asbury, S., Krozak, J.K., Wittkopf, K.: J2EE Antipatterns (2003)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/11880240_34","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Elaasar","year":"2006","unstructured":"Elaasar, M., Briand, L.C., Labiche, Y.: A metamodeling approach to pattern specification. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 484\u2013498. Springer, Heidelberg (2006)"},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"30","author":"R.B. France","year":"2004","unstructured":"France, R.B., Kim, D., Ghosh, S., Song, E.: A UML-Based Pattern Specification Technique. IEEE Trans. Software Eng.\u00a030(3), 193\u2013206 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Grunske, L.: Specification patterns for probabilistic quality properties. In: ICSE, pp. 31\u201340 (2008)","DOI":"10.1145\/1368088.1368094"},{"key":"3_CR21","unstructured":"Lazowska, E., Kahorjan, J., Graham, G.S., Sevcik, K.C.: Quantitative System Performance: Computer System Analysis Using Queueing Network Models (1984)"},{"key":"3_CR22","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets (1995)"},{"key":"3_CR23","unstructured":"Object Management Group (OMG). OCL 2.0 Specification, 2006. OMG Document formal\/2006-05-01"},{"issue":"3","key":"3_CR24","doi-asserted-by":"publisher","first-page":"55","DOI":"10.5381\/jot.2008.7.3.a1","volume":"7","author":"T. Parsons","year":"2008","unstructured":"Parsons, T., Murphy, J.: Detecting Performance Antipatterns in Component Based Enterprise Systems. Journal of Object Technology\u00a07(3), 55\u201390 (2008)","journal-title":"Journal of Object Technology"},{"key":"3_CR25","unstructured":"Smith, C.U., Williams, L.G.: More new software performance antipatterns: Even more ways to shoot yourself in the foot. In: Comp. Meas. Group Conf. (2003)"},{"key":"3_CR26","unstructured":"Tate, B., Clark, M., Lee, B., Linskey, P.: Bitter EJB (2003)"},{"key":"3_CR27","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1958746.1958755","volume-title":"Proceedings of the 2nd ACM\/SPEC International Conference on Performance Engineering (ICPE)","author":"C. Trubiani","year":"2011","unstructured":"Trubiani, C., Koziolek, A.: Detection and Solution of Software Performance Antipatterns in Palladio Architectural Models. In: Proceedings of the 2nd ACM\/SPEC International Conference on Performance Engineering (ICPE), Karlsruhe, Germany, pp. 19\u201330. ACM, New York (2011)"},{"key":"3_CR28","unstructured":"Williams, L.G., Smith, C.U.: PASA(SM): An Architectural Approach to Fixing Software Performance Problems. In: International Computer Measurement Group Conference, pp. 307\u2013320 (2002)"},{"issue":"9","key":"3_CR29","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1109\/32.464545","volume":"21","author":"C.M. Woodside","year":"1995","unstructured":"Woodside, C.M.: A Three-View Model for Performance Engineering of Concurrent Software. IEEE Trans. Software Eng.\u00a021(9), 754\u2013767 (1995)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Woodside, C.M., Franks, G., Petriu, D.C.: The Future of Software Performance Engineering. In: FOSE, pp. 171\u2013187 (2007)","DOI":"10.1109\/FOSE.2007.32"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Woodside, C.M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by Unified Model Analysis (PUMA). In: WOSP, pp. 1\u201312 (2005)","DOI":"10.1145\/1071021.1071022"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1383559.1383561","volume-title":"WOSP","author":"J. Xu","year":"2008","unstructured":"Xu, J.: Rule-based Automatic Software Performance Diagnosis and Improvement. In: WOSP, pp. 1\u201312. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21210-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,23]],"date-time":"2021-11-23T00:40:32Z","timestamp":1637628032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21210-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212093","9783642212109"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21210-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}