{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T04:19:19Z","timestamp":1743653959086,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642309816"},{"type":"electronic","value":"9783642309823"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30982-3_8","type":"book-chapter","created":{"date-parts":[[2012,6,26]],"date-time":"2012-06-26T02:04:30Z","timestamp":1340676270000},"page":"263-289","source":"Crossref","is-referenced-by-count":1,"title":["Model Transformations in Non-functional Analysis"],"prefix":"10.1007","author":[{"given":"Steffen","family":"Becker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Bause, F.: Queueing petri nets-a formalism for the combined qualitative and quantitative analysis of systems. In: Proceedings of 5th International Workshop on Petri Nets and Performance Models, pp. 14\u201323 (October 1993)","key":"8_CR1","DOI":"10.1109\/PNPM.1993.393439"},{"key":"8_CR2","first-page":"103","volume-title":"WOSP 2008: Proceedings of the 7th International Workshop on Software and Performance","author":"S. Becker","year":"2008","unstructured":"Becker, S.: Coupled Model Transformations. In: WOSP 2008: Proceedings of the 7th International Workshop on Software and Performance, pp. 103\u2013114. ACM, New York (2008)"},{"doi-asserted-by":"crossref","unstructured":"Becker, S.: Coupled Model Transformations for QoS Enabled Component-Based Software Design. Karlsruhe Series on Software Quality, vol.\u00a01. Universit\u00e4tsverlag Karlsruhe (2008)","key":"8_CR3","DOI":"10.1145\/1383559.1383573"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-69814-2_7","volume-title":"Performance Evaluation: Metrics, Models and Benchmarks","author":"S. Becker","year":"2008","unstructured":"Becker, S., Dencker, T., Happe, J.: Model-Driven Generation of Performance Prototypes. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol.\u00a05119, pp. 79\u201398. Springer, Heidelberg (2008), http:\/\/www.springerlink.com\/content\/62t1277642tt8676\/fulltext.pdf"},{"unstructured":"Becker, S., Happe, J., Koziolek, H.: Putting Components into Context: Supporting QoS-Predictions with an explicit Context Model. In: Reussner, R., Szyperski, C., Weck, W. (eds.) Proc. 11th International Workshop on Component Oriented Programming (WCOP 2006), pp. 1\u20136 (July 2006), http:\/\/research.microsoft.com\/~cszypers\/events\/WCOP2006\/WCOP06-Becer.pdf","key":"8_CR5"},{"doi-asserted-by":"crossref","unstructured":"Becker, S., Hauck, M., Trifu, M., Krogmann, K., Kofron, J.: Reverse Engineering Component Models for Quality Predictions. In: Proceedings of the 14th European Conference on Software Maintenance and Reengineering, European Projects Track, pp. 199\u2013202. IEEE (2010), http:\/\/sdqweb.ipd.kit.edu\/publications\/pdfs\/becker2010a.pdf","key":"8_CR6","DOI":"10.1109\/CSMR.2010.34"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S. Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. Journal of Systems and Software\u00a082, 3\u201322 (2009), http:\/\/dx.doi.org\/10.1016\/j.jss.2008.03.066","journal-title":"Journal of Systems and Software"},{"doi-asserted-by":"crossref","unstructured":"Becker, S., Trifu, M., Reussner, R.: Towards Supporting Evolution of Service Oriented Architectures through Quality Impact Prediction. In: 1st International Workshop on Automated Engineering of Autonomous and Run-time Evolving Systems (ARAMIS 2008) (September 2008)","key":"8_CR8","DOI":"10.1109\/ASEW.2008.4686297"},{"issue":"10","key":"8_CR9","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G. Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.: Models@ run.time. Computer\u00a042(10), 22\u201327 (2009)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains. John Wiley & Sons Inc. (1998)","key":"8_CR10","DOI":"10.1002\/0471200581"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-13821-8_5","volume-title":"Research into Practice \u2013 Reality and Gaps","author":"F. Brosch","year":"2010","unstructured":"Brosch, F., Koziolek, H., Buhnova, B., Reussner, R.: Parameterized Reliability Prediction for Component-Based Software Architectures. In: Heineman, G.T., Kofron, J., Plasil, F. (eds.) QoSA 2010. LNCS, vol.\u00a06093, pp. 36\u201351. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Clements, P.C., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Nord, R., Stafford, J.: Documenting Software Architectures. SEI Series in Software Engineering. Addison-Wesley (2003)","key":"8_CR12","DOI":"10.21236\/ADA403788"},{"key":"8_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13621-4","volume-title":"Model-Based Software Performance Analysis","author":"V. Cortellessa","year":"2011","unstructured":"Cortellessa, V., Marco, A.D., Inverardi, P.: Model-Based Software Performance Analysis. Springer, Berlin (2011)"},{"key":"8_CR14","volume-title":"Generative Programming","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming. Addison-Wesley, Reading (2000)"},{"unstructured":"Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model Driven Architecture (October 2003), http:\/\/www.softmetaware.com\/oopsla2003\/czarnecki.pdf (last retrieved January 6, 2008)","key":"8_CR15"},{"unstructured":"The DESMO-J Homepage (2007), http:\/\/asi-www.informatik.uni-hamburg.de\/desmoj\/ (last retrieved January 6, 2008)","key":"8_CR16"},{"unstructured":"Eclipse Foundation: xText website, http:\/\/www.xtext.org (last visited February 22, 2012)","key":"8_CR17"},{"key":"8_CR18","volume-title":"Domain Specific Languages","author":"M. Fowler","year":"2010","unstructured":"Fowler, M., Parsons, R.: Domain Specific Languages. Addison-Wesley, Reading (2010)"},{"key":"8_CR19","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"issue":"1","key":"8_CR20","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/TDSC.2007.4","volume":"4","author":"S.S. Gokhale","year":"2007","unstructured":"Gokhale, S.S.: Architecture-based software reliability analysis: Overview and limitations. IEEE Trans. on Dependable and Secure Computing\u00a04(1), 32\u201340 (2007)","journal-title":"IEEE Trans. on Dependable and Secure Computing"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-69100-6_12","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"T. Goldschmidt","year":"2008","unstructured":"Goldschmidt, T., Becker, S., Uhl, A.: Classification of Concrete Textual Syntax Mapping Approaches. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 169\u2013184. Springer, Heidelberg (2008), http:\/\/sdqweb.ipd.uka.de\/publications\/pdfs\/goldschmidt2008b.pdf"},{"key":"8_CR22","first-page":"25","volume-title":"WOSP 2005: Proceedings of the 5th International Workshop on Software and Performance","author":"V. Grassi","year":"2005","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: From Design to Analysis Models: a Kernel Language for Performance and Reliability Analysis of Component-based Systems. In: WOSP 2005: Proceedings of the 5th International Workshop on Software and Performance, pp. 25\u201336. ACM Press, New York (2005)"},{"issue":"8","key":"8_CR23","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1016\/j.peva.2009.07.006","volume":"67","author":"J. Happe","year":"2010","unstructured":"Happe, J., Becker, S., Rathfelder, C., Friedrich, H., Reussner, R.H.: Parametric Performance Completions for Model-Driven Performance Prediction. Performance Evaluation\u00a067(8), 694\u2013716 (2010), http:\/\/sdqweb.ipd.uka.de\/publications\/pdfs\/happe2009a.pdf","journal-title":"Performance Evaluation"},{"issue":"1-2","key":"8_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.P.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274(1-2), 43\u201387 (2002), http:\/\/www.sciencedirect.com\/science\/article\/B6V1G-4561J4H-3\/2\/21516ce76bb2e6adab1ffed4dbe0d24c","journal-title":"Theoretical Computer Science"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"8_CR26","first-page":"1","volume-title":"ACM\/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Capetown, South Africa","author":"N. Huber","year":"2010","unstructured":"Huber, N., Becker, S., Rathfelder, C., Schweflinghaus, J., Reussner, R.: Performance Modeling in Industry: A Case Study on Storage Virtualization. In: ACM\/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Capetown, South Africa, pp. 1\u201310. ACM, New York (2010), http:\/\/sdqweb.ipd.uka.de\/publications\/pdfs\/hubern2010.pdf"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/ICSE.1994.296768","volume-title":"Proceedings of the 16th International Conference on Software Engineering","author":"R. Kazman","year":"1994","unstructured":"Kazman, R., Bass, L., Abowd, G., Webb, M.: SAAM: A method for analyzing the properties of software architectures. In: Fadini, B. (ed.) Proceedings of the 16th International Conference on Software Engineering, pp. 81\u201390. IEEE Computer Society Press, Sorrento (1994)"},{"unstructured":"Koziolek, H.: Parameter Dependencies for Reusable Performance Specifications of Software Components. The Karlsruhe Series on Software Design and Quality, vol.\u00a02. Universit\u00e4tsverlag Karlsruhe (2008)","key":"8_CR28"},{"key":"8_CR29","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), http:\/\/www.springerlink.com\/content\/w14m0g520u675x10\/fulltext.pdf"},{"key":"8_CR30","first-page":"776","volume-title":"Proceeding of the 33rd International Conference on Software Engineering, Software Engineering in Practice Track, ICSE 2011","author":"H. Koziolek","year":"2011","unstructured":"Koziolek, H., Schlich, B., Bilich, C., Weiss, R., Becker, S., Krogmann, K., Trifu, M., Mirandola, R., Koziolek, A.: An industrial case study on quality impact prediction for evolving service-oriented software. In: Proceeding of the 33rd International Conference on Software Engineering, Software Engineering in Practice Track, ICSE 2011, pp. 776\u2013785. ACM, New York (2011), http:\/\/doi.acm.org\/10.1145\/1985793.1985902"},{"issue":"6","key":"8_CR31","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1109\/TSE.2010.69","volume":"36","author":"K. Krogmann","year":"2010","unstructured":"Krogmann, K., Kuperberg, M., Reussner, R.: Using Genetic Search for Reverse Engineering of Parametric Behaviour Models for Performance Prediction. IEEE Transactions on Software Engineering\u00a036(6), 865\u2013877 (2010), http:\/\/sdqweb.ipd.kit.edu\/publications\/pdfs\/krogmann2009c.pdf","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"L\u2019Ecuyer, P., Buist, E.: Simulation in Java with SSJ. In: WSC 2005: Proceedings of the 37th Conference on Winter Simulation, Winter Simulation Conference, pp. 611\u2013620 (2005)","key":"8_CR32","DOI":"10.1109\/WSC.2005.1574301"},{"issue":"1","key":"8_CR33","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/TSE.2009.51","volume":"36","author":"I. Malavolta","year":"2010","unstructured":"Malavolta, I., Muccini, H., Pelliccione, P., Tamburri, D.A.: Providing architectural languages and tools interoperability through model transformation technologies. IEEE Transactions of Software Engineering\u00a036(1), 119\u2013140 (2010)","journal-title":"IEEE Transactions of Software Engineering"},{"unstructured":"Marshall, R.: SAP gives update on Business ByDesign plans (2009), http:\/\/www.v3.co.uk\/v3-uk\/news\/1970547\/sap-update-business-bydesign-plans (last visited November 22, 2009)","key":"8_CR34"},{"issue":"5","key":"8_CR35","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/s10664-010-9142-8","volume":"16","author":"A. Martens","year":"2011","unstructured":"Martens, A., Koziolek, H., Prechelt, L., Reussner, R.: From monolithic to component-based performance evaluation of software architectures. Empirical Software Engineering\u00a016(5), 587\u2013622 (2011), http:\/\/dx.doi.org\/10.1007\/s10664-010-9142-8","journal-title":"Empirical Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Meier, P., Kounev, S., Koziolek, H.: Automated Transformation of Palladio Component Models to Queueing Petri Nets. In: 19th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2011), Singapore, July 25-27 (2011)","key":"8_CR36","DOI":"10.1109\/MASCOTS.2011.23"},{"unstructured":"Object Management Group (OMG): MOF 2.0 Core Specification (formal\/2006-01-01) (2006), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2006-01-01","key":"8_CR37"},{"unstructured":"Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification \u2013 Version 1.1 Beta 2 (December 2009), http:\/\/www.omg.org\/spec\/QVT\/1.1\/Beta2\/","key":"8_CR38"},{"unstructured":"Object Management Group (OMG): UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.0 (2009), http:\/\/www.omg.org\/spec\/MARTE\/1.0\/PDF","key":"8_CR39"},{"unstructured":"Parr, T.: The Definitive ANTLR Reference Guide: Building Domain-specific Languages (Pragmatic Programmers). Pragmatic Programmer (2007)","key":"8_CR40"},{"issue":"2","key":"8_CR41","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10270-006-0026-8","volume":"6","author":"D.B. Petriu","year":"2007","unstructured":"Petriu, D.B., Woodside, M.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Software and Systems Modeling\u00a06(2), 163\u2013184 (2007)","journal-title":"Software and Systems Modeling"},{"issue":"8","key":"8_CR42","doi-asserted-by":"publisher","first-page":"689","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 Transactions on Software Engineering\u00a021(8), 689\u2013700 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR43","volume-title":"The Analytic Hierarchy Process, Planning, Piority Setting, Resource Allocation","author":"T.L. Saaty","year":"1980","unstructured":"Saaty, T.L.: The Analytic Hierarchy Process, Planning, Piority Setting, Resource Allocation. McGraw-Hill, New York (1980)"},{"unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley (2002)","key":"8_CR44"},{"key":"8_CR45","volume-title":"Model-Driven Software Development","author":"M. V\u00f6lter","year":"2006","unstructured":"V\u00f6lter, M., Stahl, T.: Model-Driven Software Development. Wiley & Sons, New York (2006)"},{"doi-asserted-by":"crossref","unstructured":"Woodside, M., Petriu, D.C., Siddiqui, K.H.: Performance-related Completions for Software Specifications. In: Proceedings of the 22nd International Conference on Software Engineering, ICSE 2002, Orlando, Florida, USA, May 19-25, pp. 22\u201332. ACM (2002)","key":"8_CR46","DOI":"10.1145\/581344.581346"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Model-Driven Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30982-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T16:46:46Z","timestamp":1743612406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30982-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309816","9783642309823"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30982-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}