{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T02:05:19Z","timestamp":1776996319452,"version":"3.51.4"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T00:00:00Z","timestamp":1556150400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"US Air Force","award":["Contract FA8750-15-C-0171"],"award-info":[{"award-number":["Contract FA8750-15-C-0171"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10270-019-00728-x","type":"journal-article","created":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T07:05:06Z","timestamp":1556175906000},"page":"3527-3550","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Broadened support for software and system model interchange"],"prefix":"10.1007","volume":"18","author":[{"given":"Catalina M.","family":"Llad\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Connie U.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,25]]},"reference":[{"key":"728_CR1","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1093\/comjnl\/bxq065","volume":"54","author":"CU Smith","year":"2011","unstructured":"Smith, C.U., Llad\u00f3, C.M., Puigjaner, R.: Model interchange format specifications for experiments, output and results. Comput. J. 54, 674\u2013690 (2011)","journal-title":"Comput. J."},{"key":"728_CR2","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Llad\u00f3, C.M.: Performance model interchange format (PMIF 2.0): XML definition and implementation. In: Proceedings of the First International Conference on the Quantitative Evaluation of Systems, pp. 38\u201347, September (2004)","DOI":"10.1109\/QEST.2004.1348017"},{"issue":"7","key":"728_CR3","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1016\/j.peva.2010.01.006","volume":"67","author":"CU Smith","year":"2010","unstructured":"Smith, C.U., Llad\u00f3, C.M., Puigjaner, R.: Performance model interchange format (PMIF 2): a comprehensive approach to queueing network model interoperability. Perform. Eval. 67(7), 548\u2013568 (2010)","journal-title":"Perform. Eval."},{"key":"728_CR4","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Cortellessa, V., Di Marco, A., Llad\u00f3, C.M., Williams, L.G.: From uml models to software performance results: an SPE process based on XML interchange formats. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP), pp. 87\u201398. July (2005)","DOI":"10.1145\/1071021.1071030"},{"key":"728_CR5","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1016\/j.peva.2009.07.008","volume":"67","author":"GA Moreno","year":"2010","unstructured":"Moreno, G.A., Smith, C.U.: Performance analysis of real-time component architectures: an enhanced model interchange approach. Perform Eval. Spec. Issue Softw. Perform. 67, 612\u2013633 (2010)","journal-title":"Perform Eval. Spec. Issue Softw. Perform."},{"issue":"4","key":"728_CR6","doi-asserted-by":"publisher","first-page":"1529","DOI":"10.1007\/s10270-013-0385-x","volume":"13","author":"M Woodside","year":"2014","unstructured":"Woodside, 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)","journal-title":"Softw. Syst. Model."},{"key":"728_CR7","unstructured":"PNML: Petri Net Markup Language. \n                    www2.informatik.hu-berlin.de\/top\/pnml\/"},{"issue":"1","key":"728_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0164-1212(99)00067-9","volume":"49","author":"CU Smith","year":"1999","unstructured":"Smith, C.U., Williams, L.G.: A performance model interchange format. J. Syst. Softw. 49(1), 63\u201380 (1999)","journal-title":"J. Syst. Softw."},{"key":"728_CR9","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/BFb0024309","volume-title":"Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science","author":"LG Williams","year":"1995","unstructured":"Williams, L.G., Smith, C.U.: Information requirements for software performance engineering. In: Beilner, H., Bause, F. (eds.) Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science, pp. 86\u2013101. Springer, Berlin (1995)"},{"issue":"5","key":"728_CR10","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1016\/j.csi.2014.01.002","volume":"36","author":"J Troya","year":"2014","unstructured":"Troya, J., Vallecillo, A.: Specification and simulation of queuing network models using domain\u2013specific languages. Comput. Stand. Interfaces 36(5), 863\u2013879 (2014)","journal-title":"Comput. Stand. Interfaces"},{"key":"728_CR11","doi-asserted-by":"crossref","unstructured":"Berardinelli, L., Maetzler, E., Mayerhofen, T., Wimmer, M.: Integrating performance modeling in industrial automation through automationml and pmif. In: 2016 IEEE 14th International Conference on Industrial Informatics (INDIN), pp. 383\u2013388, July (2016)","DOI":"10.1109\/INDIN.2016.7819190"},{"key":"728_CR12","doi-asserted-by":"crossref","unstructured":"Llad\u00f3, C.M., Smith, C.U., Bonet, P.: A model transformation tool: Pmif+ to qnap. In: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (2014)","DOI":"10.4108\/icst.valuetools.2014.258219"},{"key":"728_CR13","doi-asserted-by":"crossref","unstructured":"Llad\u00f3, C.M., Smith, C.U.: Pmif+: Extensions to broaden the scope of supported models. In: Computer Performance Engineering LNCS 8168. Proceedings of the 10th European Workshop, EPEW 2013 (2013)","DOI":"10.1007\/978-3-642-40725-3_11"},{"key":"728_CR14","unstructured":"Smith, C.U., Llad\u00f3, C.M.: SPE for the internet of things and other real-time embedded systems. In: Proceedings of the 8th ACM\/SPEC on International Conference on Performance Engineering Companion, ICPE \u201917 Companion, pp. 227\u2013232. ACM, New York, NY"},{"key":"728_CR15","volume-title":"Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software","author":"CU Smith","year":"2002","unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, Boston (2002)"},{"key":"728_CR16","unstructured":"Woodside, M.: Tutorial introduction to layered modeling of software performance (2013). \n                    www.sce.carleton.ca\/rads\/lqns\/lqn-documentation\/tutorialh.pdf"},{"key":"728_CR17","volume-title":"Performance Engineering of Software Systems","author":"CU Smith","year":"1990","unstructured":"Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Boston (1990)"},{"key":"728_CR18","unstructured":"Mesquite software. \n                    www.mesquite.com"},{"key":"728_CR19","unstructured":"SPE-ED. LS Computer Technology Inc. Performance Engineering Services Division. \n                    www.spe-ed.com"},{"key":"728_CR20","unstructured":"Simulog. MODLINE 2.0 QNAP2 9.3: Reference Manual (1996)"},{"key":"728_CR21","unstructured":"Java modelling tools (jmt). \n                    http:\/\/jmt.sourceforge.net\/"},{"issue":"4","key":"728_CR22","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1530873.1530877","volume":"36","author":"M Bertoli","year":"2009","unstructured":"Bertoli, M., Casale, G., Serazzi, G.: JMT: performance engineering tools for system modeling. SIGMETRICS Perform. Eval. Rev. 36(4), 10\u201315 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"728_CR23","unstructured":"CA Hyperformix. Ca hyperformix documentation\/manuals (2016). \n                    https:\/\/supportcontent.ca.com\/phpdocs\/0\/8481\/8481_docindex.html"},{"key":"728_CR24","unstructured":"Zallocco, S.: An introduction to WEASEL, a web service for analyzing queueing networks with multiple solvers and PMIF editor user manual. \n                    http:\/\/www.zallocco.net\/Documents\/weasel_and_pmif_editor_user_manual_English.pdf"},{"key":"728_CR25","unstructured":"Computer aids for vlsi design. Appendix d: electronic design interchange format. \n                    www.rulabinsky.com\/cavd\/text\/chapd.html"},{"key":"728_CR26","unstructured":"Electronics Industries Association. CDIF\u2013 CASE Data Interchange Format Overview. EIA\/IS-106 (1994)"},{"issue":"2","key":"728_CR27","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10270-006-0026-8","volume":"6","author":"CM Woodside","year":"2007","unstructured":"Woodside, C.M., Petriu, D.B.: An intermediate metamodel with scenarios and resources for generating performance models from uml designs. Softw. Syst. Model. 6(2), 163\u2013184 (2007)","journal-title":"Softw. Syst. Model."},{"key":"728_CR28","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: Proceedings of the Fifth International Workshop on Software and Performance (WOSP), pp. 1\u201312, July (2005)","DOI":"10.1145\/1071021.1071022"},{"issue":"1","key":"728_CR29","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. J. Syst. Softw. 82(1), 3\u201322 (2009)","journal-title":"J. Syst. Softw."},{"issue":"3","key":"728_CR30","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MS.2011.25","volume":"28","author":"J Happe","year":"2011","unstructured":"Happe, J., Koziolek, H., Reussner, R.: Facilitating performance predictions using software components. IEEE Softw. 28(3), 27\u201333 (2011)","journal-title":"IEEE Softw."},{"key":"728_CR31","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R., Randazzo, E., Sabetta, A.: Klaper: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability. The Common Component Modeling Example, volume 5153 of Lecture Notes in Computer Science, pp. 327\u2013356. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85289-6_13"},{"key":"728_CR32","unstructured":"Object Management Group. The unified modeling language. \n                    www.uml.org"},{"key":"728_CR33","unstructured":"Object Management Group. The UML profile for MARTE: Modeling and analysis of real-time and embedded systems. \n                    www.omgmarte.org"},{"key":"728_CR34","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. The MK\/OMG Press, Los Altos (2013)"},{"issue":"1","key":"728_CR35","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/1967021.1967030","volume":"8","author":"JL Medina","year":"2011","unstructured":"Medina, J.L., Cuesta, A.G.: From composable design models to schedulability analysis with uml and the uml profile for marte. SIGBED Rev. 8(1), 64\u201368 (2011)","journal-title":"SIGBED Rev."},{"key":"728_CR36","unstructured":"Mohammad, A., Petriu, D.: Aspect-oriented modelling of platforms in software and performance models. In: Proceedigs of the International Conference on Electrical and Computer Systems (2012)"},{"key":"728_CR37","first-page":"35","volume":"1","author":"A Mohammad","year":"2012","unstructured":"Mohammad, A., Petriu, D.: Using aspects for platform-independent to platform-dependent model transformations. Int. J. Electr. Comput. Eng. 1, 35\u201348 (2012)","journal-title":"Int. J. Electr. Comput. Eng."},{"key":"728_CR38","doi-asserted-by":"crossref","unstructured":"Petriu, D.: Model driven engineering for distributed real-time systems: MARTE modelling, model transformations and their usages. In: Chapter Software Model-Based Performance Analysis, pp. 139\u2013166. Wiley, New York (2010)","DOI":"10.1002\/9781118558096.ch6"},{"issue":"2","key":"728_CR39","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10626-011-0111-1","volume":"22","author":"J Merseguer","year":"2012","unstructured":"Merseguer, J., Bernardi, S.: Dependability analysis of DES based on MARTE and UML state machines models. Discret. Event Dyn. Syst. 22(2), 163\u2013178 (2012)","journal-title":"Discret. Event Dyn. Syst."},{"key":"728_CR40","doi-asserted-by":"crossref","unstructured":"Berardinelli, L., Bernardo, M., Cortellessa, V., Di Marco, A.: Multidimensional context modeling applied to non-functional analysis of software. Softw Syst. Model. pp. 1\u201340 (2017)","DOI":"10.1007\/s10270-017-0645-2"},{"key":"728_CR41","unstructured":"Bandyopadhyay, A., Ghost, S.: Developing model transformation tools using the uml metamodel: challenges and solutions. In: Proceedings of the International Conference on Software Engineering and Applications (2007)"},{"key":"728_CR42","first-page":"10","volume-title":"Model Interoperability for Performance Engineering: Survey of Milestones and Evolution","author":"CU Smith","year":"2011","unstructured":"Smith, C.U., Llad\u00f3, C.M.: Model Interoperability for Performance Engineering: Survey of Milestones and Evolution, pp. 10\u201323. Springer, Berlin (2011)"},{"key":"728_CR43","first-page":"24","volume-title":"Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives","author":"G Casale","year":"2011","unstructured":"Casale, G., Gribaudo, M., Serazzi, G.: Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives, pp. 24\u201337. Springer, Berlin (2011)"},{"key":"728_CR44","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Llad\u00f3, C.M., Puigjaner, R.: PMIF extensions: increasing the scope of supported models. In: Proceedgings of the 1st Joint WOSP\/SIPEW International Conference on Performance Engineering (ICPE), pp. 255\u2013256, Jannuary (2010)","DOI":"10.1145\/1712605.1712649"},{"key":"728_CR45","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp 222\u2013231, Sept (2008)","DOI":"10.1109\/EDOC.2008.44"},{"key":"728_CR46","volume-title":"SOA Design Patterns","author":"T Erl","year":"2009","unstructured":"Erl, T.: SOA Design Patterns. Prentice Hall, Upper Saddle River (2009)"},{"key":"728_CR47","unstructured":"Smith, C.U., Smith, M.A.: Automated performance prediction for model-driven engineering of real-time embedded systems. In: Proceedings of the Systems and Software Technology Conference (2011)"},{"key":"728_CR48","unstructured":"Eclipse modeling project. \n                    www.eclipse.org\/modeling"},{"key":"728_CR49","unstructured":"Mesquite Software Inc. \n                    www.mesquite.com"},{"key":"728_CR50","unstructured":"Medina, J.L.: The uml profile for marte: Modelling predictable real-time systems with uml (2011). \n                    http:\/\/www.artist-embedded.org\/docs\/Events\/2011\/Models_for_SA\/01-MARTE-SAM-Julio_Medina.pdf"},{"key":"728_CR51","unstructured":"Drake, J.M., Medina, J.L.: Robot teleoperado: Ejemplo uml mast (2001). \n                    http:\/\/mast.unican.es\/simmast\/simmast-example.pdf"},{"key":"728_CR52","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marzolla, M.: Performance evaluation of UML software architectures with multiclass queueing network models. In: Proceedings of the Fifth International Workshop of Software and Performance (WOSP), July (2005)","DOI":"10.1145\/1071021.1071025"},{"key":"728_CR53","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-030-01042-3_7","volume-title":"System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering","author":"A G\u00f3mez","year":"2018","unstructured":"G\u00f3mez, A., Smith, C.U., Spellmann, A., Cabot, J.: Enabling performance modeling for the masses: initial experiences. In: Khendek, F., Gotzhein, R. (eds.) System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, pp. 105\u2013126. Springer International Publishing, Cham (2018)"},{"key":"728_CR54","unstructured":"Platform Independent Petri net Editor 2. \n                    http:\/\/pipe2.sourceforge.net\/"},{"key":"728_CR55","unstructured":"Garcia, D., Llad\u00f3, C.M., Smith, C.U., Puigjaner, R.: A PMIF semantic validation tool. In: Proceedings of the Third International Conference on the Quantitative Evaluation of Systems, pp. 121\u2013122, September (2006)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00728-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00728-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00728-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T23:19:22Z","timestamp":1587683962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00728-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,25]]},"references-count":55,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["728"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00728-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,25]]},"assertion":[{"value":"5 June 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 February 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 April 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}