{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T12:26:56Z","timestamp":1779366416256,"version":"3.53.0"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,11,28]],"date-time":"2021-11-28T00:00:00Z","timestamp":1638057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,28]],"date-time":"2021-11-28T00:00:00Z","timestamp":1638057600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10270-021-00953-3","type":"journal-article","created":{"date-parts":[[2021,11,28]],"date-time":"2021-11-28T07:02:41Z","timestamp":1638082961000},"page":"1777-1791","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Integrating the analysis of multiple non-functional properties in model-driven engineering"],"prefix":"10.1007","volume":"20","author":[{"given":"Dorina C.","family":"Petriu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,11,28]]},"reference":[{"key":"953_CR1","volume-title":"Wiley Series in Parallel Computing","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic petri nets. In: Wiley Series in Parallel Computing. John Wiley and Sons, Hoboken (1995)"},{"issue":"5","key":"953_CR2","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1109\/TSE.2012.64","volume":"39","author":"A Aleti","year":"2013","unstructured":"Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.: Software architecture optimization methods: a systematic literature review. IEEE Trans. Softw. Eng. 39(5), 658\u2013683 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"953_CR3","unstructured":"Altamimi, T., Hasanzadeh Zargari, M., Petriu, D.C.: Performance analysis roundtrip: automatic generation of performance models and results feedback using cross-model trace links. In: Proceedings of CASCON\u20192016 (2016)"},{"key":"953_CR4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2904476","author":"D Ameller","year":"2019","unstructured":"Ameller, D., et al.: Dealing with non-functional requirements in model-driven development: a survey. IEEE Trans. Softw. Eng. (2019). https:\/\/doi.org\/10.1109\/TSE.2019.2904476","journal-title":"IEEE Trans. Softw. Eng."},{"key":"953_CR5","doi-asserted-by":"crossref","unstructured":"Arcelli, D., Cortellessa, V.: Software model refactoring based on performance analysis: better working on software or performance side?. In: Proceedings of Formal Engineering Approaches to Software Components and Architectures (2013)","DOI":"10.4204\/EPTCS.108.3"},{"key":"953_CR6","doi-asserted-by":"crossref","unstructured":"Avritzer, A., Britto, R., Trubiani, C., Russo, B., Janes, A., Camilli M., van Hoorn, A., Heinrich R., Rapp, M., Hen\u00df, J.: A Multivariate characterization and detection of software performance antipatterns. In: Proceedings of the 2021 ACM\/SPEC Int. Conference on Performance Engineering (ICPE \u201921) (2021)","DOI":"10.1145\/3427921.3450246"},{"issue":"5","key":"953_CR7","doi-asserted-by":"publisher","first-page":"204","DOI":"10.4236\/jsea.2018.115013","volume":"11","author":"B Al Shboul","year":"2018","unstructured":"Al Shboul, B., Petriu, D.C.: Automatic derivation of fault tree models from sysml models for safety analysis. J. Softw. Eng. Appl. (JSEA) 11(5), 204\u2013222 (2018)","journal-title":"J. Softw. Eng. Appl. (JSEA)"},{"issue":"5","key":"953_CR8","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","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 Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"953_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2379776.2379778","volume":"45","author":"S Bernardi","year":"2012","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv. 45(1), 1\u201348 (2012)","journal-title":"ACM Comput. Surv."},{"key":"953_CR10","first-page":"313","volume-title":"Software and Systems Modeling (SoSyM)","author":"S Bernardi","year":"2011","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. In: Software and Systems Modeling (SoSyM), pp. 313\u2013336. Springer, New York (2011)"},{"key":"953_CR11","volume-title":"Model-Driven Software Engineering in Practice, Synthesis Lectures on Software Engineering series","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, Synthesis Lectures on Software Engineering series. Morgan & Claypool Publishers, California (2012)"},{"key":"953_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10270-019-00773-6","volume":"19","author":"A Bucchiarone","year":"2020","unstructured":"Bucchiarone, A., Cabot, J., Paige, R., Pierantonio, A.: Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. 19, 5\u201313 (2020)","journal-title":"Softw. Syst. Model."},{"key":"953_CR13","doi-asserted-by":"crossref","unstructured":"Casale, G., Ardagna, D., Artac, M., Barbier, F., Di Nitto, E., Henry, A., Iuhasz, G., Joubert, C., Merseguer, J., Munteanu, V.I., P\u00e9rez, J. F., Petcu, D., Rossi, M., Sheridan, C., Spais, I., Vladusic, D.: DICE: quality-driven development of data-intensive cloud applications. In: IEEE\/ACM 7th International Workshop on Modeling in Software Engineering, MiSE\u20192015 (2015)","DOI":"10.1109\/MiSE.2015.21"},{"key":"953_CR14","doi-asserted-by":"crossref","unstructured":"Cicchetti, D., Di Ruscio, R. Eramo, A. Pierantonio, A.: Automating co-evolution in model-driven engineering. In: Proceedings of 12th International IEEE Conference on Enterprise Distributed Object Computing Conference, EDOC'08, pp. 222\u2013231 (2008)","DOI":"10.1109\/EDOC.2008.44"},{"key":"953_CR15","doi-asserted-by":"crossref","unstructured":"Cicchetti, D., Di Ruscio, R. Eramo, A. Pierantonio, A.: Managing dependent changes in coupled evolution. In:Paige, R.F. (Ed.), Proceedings of 2nd International Conference of Theory and Practice of Model Transformations ICMT 2009, LNCS Vol. 5563, pp. 35\u201351. Springer, New York (2009)","DOI":"10.1007\/978-3-642-02408-5_4"},{"key":"953_CR16","doi-asserted-by":"crossref","unstructured":"Cortellessa. V, Martens, A., Reussner, R., Trubiani, C.: A process to effectively identify \u201cGuilty\u201d Performance Antipatterns, In: Proc. of Fundamental Approaches to Software Engineering, LNCS Vol. 6013, pp 368\u2013382. Springer, New York (2010)","DOI":"10.1007\/978-3-642-12029-9_26"},{"key":"953_CR17","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., Di Marco, A., Inverardi, P.: Model-Based Software Performance Analysis. Springer, New York (2011)"},{"key":"953_CR18","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2004.08.034","volume":"127","author":"JM Favre","year":"2005","unstructured":"Favre, J.M., Nguyen, T.: Towards a megamodel to model software evolution through transformations. Electron. Theor. Comput. Sci. 127, 59\u201374 (2005)","journal-title":"Electron. Theor. Comput. Sci."},{"issue":"2","key":"953_CR19","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/TSE.2008.74","volume":"35","author":"RG Franks","year":"2009","unstructured":"Franks, R.G., Al-Omari, T., Woodside, C.M., Das, O., Derisavi, S.: Enhanced modeling and solution of layered queueing networks. IEEE Trans. Softw. Eng. 35(2), 148\u2013161 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"953_CR20","unstructured":"Franks, R.G., Maly, P., Woodside, C.M., Petriu, D.C., Hubbard, A., Mroz, M.: Layered queueing network solver and simulator user manual. Department of Systems and Computer Engineering, Carleton University, Ottawa ON, Canada, https:\/\/www.sce.carleton.ca\/rads\/lqns\/ (2013)"},{"key":"953_CR21","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, J., Diaz, O., Azanza, M.: Model transformation co-evolution: a semi-automatic approach. In: Czarnecki, K., Hedin, G. (Eds.), Proceedings of Int. Conference on Software Language Engineering SLE 2012, LNCS Vol. 7745, pp. 144\u2013163. Springer, New York (2013)","DOI":"10.1007\/978-3-642-36089-3_9"},{"issue":"1","key":"953_CR22","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/TDSC.2007.4","volume":"4","author":"SS Gokhale","year":"2007","unstructured":"Gokhale, S.S.: Architecture-based software reliability analysis: overview and limitations. IEEE Trans. Depend. Secure Comput. 4(1), 32\u201340 (2007)","journal-title":"IEEE Trans. Depend. Secure Comput."},{"key":"953_CR23","unstructured":"Hassanzadeh Zargari, M.: Automatic derivation of LQN performance models from UML software models using epsilon, master thesis, department of systems and computer engineering, Carleton University, Ottawa ON, Canada (2016)"},{"key":"953_CR24","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":"953_CR25","doi-asserted-by":"crossref","unstructured":"Houmb, S., Georg, G., Petriu, D.C, Bordbar, B., Ray, I., Anastasakis, K., France, R.: Balancing security and performance properties during system architectural design. In: Mouratidis H. (Ed) Software Engineering for Secure Systems: Industrial and Research Perspectives, pp. 155\u2013192. ICI Global (2011)","DOI":"10.4018\/978-1-61520-837-1.ch006"},{"key":"953_CR26","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Proceedings of the 33rd International Conference on Software Engineering ICSE '11, pp. 471\u2013480. (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"953_CR27","volume-title":"Secure systems development with UML","author":"J J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J.: Secure systems development with UML. Springer, New York (2005)"},{"key":"953_CR28","unstructured":"Kolovos, D., Rose, L., Garc\u00eda-Dom\u00ednguez, A., Paige, R., The Epsilon Book, https:\/\/eclipse.org\/epsilon\/doc\/book\/EpsilonBook.pdf (2018)"},{"key":"953_CR29","doi-asserted-by":"crossref","unstructured":"Koziolek, H., Reussner, R.: A model transformation from the palladio component model to layered queueing networks. In: Proc. of Performance Evaluation: Metrics, Models and Benchmarks, SIPEW 2008, LNCS Vol. 5119, pp. 58\u201378. Springer (2008)","DOI":"10.1007\/978-3-540-69814-2_6"},{"issue":"3","key":"953_CR30","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/s10270-020-00823-4","volume":"20","author":"R Kretschmer","year":"2021","unstructured":"Kretschmer, R., Khelladi, D.E., Lopez-Herrejon, R.E., Egyed, A.: Consistent change propagation within models. Softw. Syst. Model. 20(3), 539\u2013555 (2021)","journal-title":"Softw. Syst. Model."},{"key":"953_CR31","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-69073-3_25","volume-title":"Models in Software Engineering","author":"J de Lara","year":"2008","unstructured":"de Lara, J., Levendovszky, T., Mosterman, P.J., Vangheluwe, H.: Second international workshop on multi-paradigm modeling: concepts and tools. In: Models in Software Engineering, pp. 237\u2013246. Springer, New York (2008)"},{"key":"953_CR32","volume-title":"Quantitative System Performance: Computer System Analysis Using Queueing Network Models","author":"E Lazowska","year":"1984","unstructured":"Lazowska, E., Zahorjan, J., Scott Graham, G., Sevcik, K.S.: Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice Hall, Hoboken (1984)"},{"key":"953_CR33","unstructured":"Li, Z.W., Woodside, C. M., Chinneck, J.W., Litoiu, M.: \u201cCloudOpt: Multi-goal optimization of application deployments across a cloud. In: Proc. of Int. Conference on Network and Service Management CNSM 2011, pp.1\u20139. (2011)"},{"key":"953_CR34","doi-asserted-by":"crossref","unstructured":"Martens, A., Koziolek, H., Becker, S., Reussner, R.: Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms. In: Proc. of 1st joint WOSP\/SIPEW International Conference on Performance Engineering ICPE\u20192010, pp. 105\u2013116. (2010)","DOI":"10.1145\/1712605.1712624"},{"issue":"9","key":"953_CR35","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1177\/0037549704050532","volume":"80","author":"P Mosterman","year":"2004","unstructured":"Mosterman, P., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. SIMULATION 80(9), 433\u2013450 (2004)","journal-title":"SIMULATION"},{"key":"953_CR36","unstructured":"Object Management Group: UML Profile for Scheduling, Performance and Time, Version 1.1, formal\/05-01-02 (2005)"},{"key":"953_CR37","unstructured":"Object Management Group: UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) Version 1.0, OMG doc. formal\/2009-11-02 (2009)"},{"key":"953_CR38","doi-asserted-by":"crossref","unstructured":"Pagliari, L., D\u2019Angelo, M., Caporuscio, M., Mirandola, R., Trubiani, C.: To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?. In: Proceedings of the 13th European Conference on Software Architecture (2019)","DOI":"10.1145\/3344948.3344990"},{"issue":"4","key":"953_CR39","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10270-010-0158-8","volume":"10","author":"R Paige","year":"2011","unstructured":"Paige, R., Drivalos, N., Kolovos, D., Fernandes, K., Power, C., Olsen, G., Zschaler, S.: Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model. 10(4), 469\u2013487 (2011)","journal-title":"Softw. Syst. Model."},{"key":"953_CR40","doi-asserted-by":"crossref","unstructured":"Petriu, D.C., Alhaj, M., R. Tawhid, R.: Software performance modeling. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (Eds.) SFM 2012: Formal Methods for MDE, LNCS 7320, pp. 219\u2013262. Springer (2012)","DOI":"10.1007\/978-3-642-30982-3_7"},{"issue":"10","key":"953_CR41","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B Plateau","year":"1991","unstructured":"Plateau, B., Atif, K.: Stochastic automata network of modeling parallel systems. IEEE Trans. Softw. Eng. 17(10), 1093\u20131108 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"953_CR42","doi-asserted-by":"publisher","first-page":"102073","DOI":"10.1016\/j.sysarc.2021.102073","volume":"117","author":"Q Rouland","year":"2021","unstructured":"Rouland, Q., Hamid, B., Jaskolka, J.: Specification, detection, and treatment of STRIDE threats for software components: modeling, formal methods, and tool support. J. Syst. Archit. 117, 102073 (2021)","journal-title":"J. Syst. Archit."},{"key":"953_CR43","volume-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems","author":"B Selic","year":"2013","unstructured":"Selic, B., G\u00e9rard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Morgan Kauffmann Publisher, Burlington (2013)"},{"key":"953_CR44","unstructured":"Smith, C.U., Williams, L.G.: Software performance anti-patterns. In: Proc. of Int. CMG Conference, CMG\u20192001, pp 797\u2013806 (2001)"},{"key":"953_CR45","volume-title":"Performance solutions: a practical guide to creating responsible, scalable Software","author":"CU Smith","year":"2002","unstructured":"Smith, C.U., Williams, L.G.: Performance solutions: a practical guide to creating responsible, scalable Software. Addison-Wesley, Boston (2002)"},{"key":"953_CR46","unstructured":"Taromirad, M., Matragkas, N.D., Paige, R.: Towards a multi-domain model-driven traceability approach. In: Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with MODELS\u20192013, pp. 27\u201336. Miami, Florida (2013)"},{"key":"953_CR47","doi-asserted-by":"crossref","unstructured":"Trubiani C., Di Marco A., Cortellessa V., Mani N., Petriu D.C.: Exploring synergies between bottleneck analysis and performance antipatterns. In: Proceedings of the 5th ACM\/SPEC International Conference on Performance Engineering (ICPE 2014), pp. 75\u201386. Dublin, Ireland (2014)","DOI":"10.1145\/2568088.2568092"},{"key":"953_CR48","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.jss.2008.03.067","volume":"82","author":"CM Woodside","year":"2011","unstructured":"Woodside, C.M., Petriu, D.C., Petriu, D.B., Xu, J., Israr, T., Georg, G., France, R., Bieman, J.M., Houmb, S., Juerjens, J.: Performance analysis of security aspects by weaving scenarios extracted from UML models. J. Syst. Softw. 82, 56\u201374 (2011)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"953_CR49","doi-asserted-by":"publisher","first-page":"1529","DOI":"10.1007\/s10270-013-0385-x","volume":"13","author":"CM Woodside","year":"2014","unstructured":"Woodside, C.M., Petriu, D.C., Merseguer, J., Petriu, D.B., Alhaj, M.: Transformation challenges: from software models to performance models. Softw. Syst. Model. 13(4), 1529\u20131552 (2014). https:\/\/doi.org\/10.1007\/s10270-013-0385-x","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"953_CR50","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/12.368012","volume":"44","author":"CM 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. Comput. 44(1), 20\u201334 (1995)","journal-title":"IEEE Trans. Comput."},{"issue":"8","key":"953_CR51","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1016\/j.peva.2009.07.004","volume":"67","author":"J Xu","year":"2010","unstructured":"Xu, J.: Rule-based automatic software performance diagnosis and improvement. Perform. Eval. 67(8), 585\u2013611 (2010)","journal-title":"Perform. Eval."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00953-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00953-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00953-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T03:14:24Z","timestamp":1638760464000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00953-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,28]]},"references-count":51,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["953"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00953-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,28]]},"assertion":[{"value":"29 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 August 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 November 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}