{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T23:37:13Z","timestamp":1720222633013},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,10,31]],"date-time":"2013-10-31T00:00:00Z","timestamp":1383177600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10270-013-0385-x","type":"journal-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T10:34:19Z","timestamp":1383129259000},"page":"1529-1552","source":"Crossref","is-referenced-by-count":33,"title":["Transformation challenges: from software models to performance models"],"prefix":"10.1007","volume":"13","author":[{"given":"Murray","family":"Woodside","sequence":"first","affiliation":[]},{"given":"Dorina C.","family":"Petriu","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[]},{"given":"Dorin B.","family":"Petriu","sequence":"additional","affiliation":[]},{"given":"Mohammad","family":"Alhaj","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,10,31]]},"reference":[{"key":"385_CR1","unstructured":"Balsamo, S., Marzolla, M.: Simulation modeling of UML software architectures. In: Proceedings of the ESM\u201903, Nottingham, UK, June 2003"},{"issue":"5","key":"385_CR2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S Balsamo","year":"2004","unstructured":"Balsamo, S., DiMarco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"385_CR3","doi-asserted-by":"crossref","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."},{"key":"385_CR4","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri net models. In: Proceedings of the 3rd International Workshop on Software and Performance, Rome, July 2002, pp. 35\u201345","DOI":"10.1145\/584369.584376"},{"issue":"11","key":"385_CR5","doi-asserted-by":"crossref","first-page":"1843","DOI":"10.1016\/j.jss.2007.02.029","volume":"80","author":"S Bernardi","year":"2007","unstructured":"Bernardi, S., Merseguer, J.: Performance evaluation of UML design with stochastic well-formed nets. J. Syst. Softw. 80(11), 1843\u20131865 (2007)","journal-title":"J. Syst. Softw."},{"key":"385_CR6","doi-asserted-by":"crossref","unstructured":"Cavenet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.: Analysing UML 2.0 activity diagrams in the software performance engineering process. In: Proceedings of the 4th International Workshop on Software and Performance, Redwood City, CA, Jan 2004, pp. 74\u201383","DOI":"10.1145\/974043.974055"},{"key":"385_CR7","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Mirandola, R.: Deriving a queueing network based performance model from UML diagrams. In: Proceedings of the Second International Workshop on Software and Performance, Ottawa, Sept. 17\u201320, pp. 58\u201370 (2000)","DOI":"10.1145\/350391.350406"},{"key":"385_CR8","doi-asserted-by":"crossref","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, Berlin (2011)"},{"key":"385_CR9","doi-asserted-by":"crossref","unstructured":"DiStefano, S., Scarpa, M., Puliafito, A.: From UML to petri nets: the PCM-based methodology. IEEE Trans Softw. Eng. doi: 10.1109\/TSE.2010.10 12, Jan 2010","DOI":"10.1109\/TSE.2010.10"},{"key":"385_CR10","unstructured":"Franks, G., Petriu, Dorina, Woodside, M., Xu, J., Tregunno, P.: Layered bottlenecks and their mitigation. In: Proceedings of the International Conference on Quantitative Evaluation of Systems, Riverside, CA, Sept 2006"},{"key":"385_CR11","unstructured":"Franks, G., Woodside, M.: Multiclass multiservers with deferred operations in layered queueing networks, with software system applications. In: Proceedings of the 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS, 2004), pp. 239\u2013248, Volendam, The Netherlands, Oct 2004"},{"issue":"2","key":"385_CR12","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/TSE.2008.74","volume":"35","author":"G Franks","year":"2009","unstructured":"Franks, G., Al-Omari, T., Woodside, 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":"385_CR13","unstructured":"Goble, C.A., et al.: Myexperiment: a repository and social network for the sharing of bioinformatics workflows. Nucleic Acids Research 38 (suppl 2) (2010). See also http:\/\/www.myexperiment.org\/workflows\/"},{"key":"385_CR14","doi-asserted-by":"crossref","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: Proceedings of the 5th International Workshop on Software and Performance, pp. 25\u201336, Palma, Spain, July 2005","DOI":"10.1145\/1071021.1071024"},{"key":"385_CR15","unstructured":"International Standards Organization, Software and System Engineering: High-level Petri nets-Part 1: concepts, definitions and graphical notation. ISO\/IEC document 15909\u20131 (2004)"},{"key":"385_CR16","volume-title":"The Art of Computer Systems Performance Analysis","author":"R Jain","year":"1991","unstructured":"Jain, R.: The Art of Computer Systems Performance Analysis. Wiley, New York (1991)"},{"key":"385_CR17","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/1059816.1059822","volume":"32","author":"D Jansen","year":"2005","unstructured":"Jansen, D., Hermanns, H.: QoS modeling with UML statecharts. Proc. ACM Sigmetrics 32, 28\u201333 (2005)","journal-title":"Proc. ACM Sigmetrics"},{"key":"385_CR18","doi-asserted-by":"crossref","unstructured":"Kahkipuro, P.: UML based performance modeling framework for object oriented systems. In: UML99, The Unified Modeling Language, Beyond the Standard, LNCS 1723, pp. 356\u2013371, Springer (1999)","DOI":"10.1007\/3-540-46852-8_26"},{"key":"385_CR19","doi-asserted-by":"crossref","unstructured":"Khan, R.H., Heegaard, P.E.: Translation from UML to Markov model: a performance modeling framework for managing behavior of multiple collaborative sessions and instances. In: 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT), pp. 677\u2013686 (2010)","DOI":"10.1109\/ICCDA.2010.5540855"},{"key":"385_CR20","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML activity diagrams to Stochastic Petri Nets. In: Proceedings of the 4th International Workshop on Software and Performance, pp. 25\u201336, Redwood City, CA, Jan. 2004","DOI":"10.1145\/974043.974048"},{"key":"385_CR21","doi-asserted-by":"crossref","unstructured":"Marzolla, M., Balsamo, S.: UML-PSI: the UML performance simulator. In: Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST\u201904), Enschede, pp. 340\u2013341 (2004)","DOI":"10.1109\/QEST.2004.1348057"},{"issue":"11","key":"385_CR22","doi-asserted-by":"crossref","first-page":"1066","DOI":"10.1109\/32.881718","volume":"26","author":"D Menasce","year":"2000","unstructured":"Menasce, D., Gomaa, H.: A method for design and performance modeling of client\/server systems. IEEE Trans. Softw. Eng. 26(11), 1066\u20131085 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"385_CR23","doi-asserted-by":"crossref","unstructured":"Merseguer, J.: Software performance engineering based on UML and Petri nets. Ph.D. thesis, University of Zaragoza, Spain, March 2003","DOI":"10.1007\/978-3-540-24663-3_13"},{"key":"385_CR24","unstructured":"Object Management Group. UML Profile for MARTE Modeling and Analysis of Real-Time and Embedded Systems, Version 1.0, OMG doc. formal\/2009-11-02, Dec 2009"},{"key":"385_CR25","unstructured":"Object Management Group. Unified Modeling Language (UML), v2.3\u2014Superstructure, document formal\/10-05-05, May 2005"},{"key":"385_CR26","unstructured":"Object Management Group: UML profile for schedulability, performance, and time specification, version 1.1, OMG document formal\/05-01-02, Jan 2005"},{"key":"385_CR27","unstructured":"Petriu, D.C., Gu, G.: From UML to LQN by XML algebra-based model transformations. In: Proceedings of the 5th ACM Int Workshop on Software and Performance (WOSP 05), pp. 99\u2013110, Palma, June (2005)"},{"key":"385_CR28","unstructured":"Petriu, D.C., Sabetta, A.: From UML to performance analysis models by abstraction-raising transformation. In: Babau, J.P., Champeau, J., Gerard, S. (eds.) From MDD Concepts to Experiments and Illustrations, pp. 53\u201370, ISTE Ltd. (2006)"},{"key":"385_CR29","doi-asserted-by":"crossref","unstructured":"Petriu, D.C., Shen, H.: Applying the UML performance profile: graph grammar-based derivation of LQN models from UML specifications. In: Proceedings of the 12th International Conference on Modeling Tools and Techniques for Computer and Communication System Performance Evaluation, London, England (2002)","DOI":"10.1007\/3-540-46029-2_10"},{"issue":"2","key":"385_CR30","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10270-006-0026-8","volume":"6","author":"DB Petriu","year":"2007","unstructured":"Petriu, D.B., Woodside, C.M.: 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":"385_CR31","unstructured":"PUMA project web page http:\/\/sce.carleton.ca\/rads\/puma"},{"key":"385_CR32","doi-asserted-by":"crossref","unstructured":"Sibertin-Blanc, C., Hameurlain, N., Tahir, O.: Ambiguity and structural properties of basic sequence diagrams. 4(3), 275\u2013284 (2008)","DOI":"10.1007\/s11334-008-0063-2"},{"key":"385_CR33","unstructured":"Smith, C.U., Llad\u00f3, C.M.: Performance model interchange format (PMIF 2.0). In: Proceedings of the QEST 2004 (First International Conference on Quantitative Evaluation of Systems) Enschede, Sept 2004"},{"key":"385_CR34","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Williams, L.G.: Software performance AntiPatterns. International CMG Conference, pp 797\u2013806, Dec 2001","DOI":"10.1145\/350391.350420"},{"key":"385_CR35","doi-asserted-by":"crossref","unstructured":"Smith, C.U.: Introduction to software performance engineering: origins and outstanding problems. In: International Summer School on Formal Methods for Performance Evaluation, pp. 395\u2013428, Bertinoro, Springer (2007)","DOI":"10.1007\/978-3-540-72522-0_10"},{"key":"385_CR36","volume-title":"Performance Solutions","author":"CU Smith","year":"2002","unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions. Addison-Wesley, Boston (2002)"},{"key":"385_CR37","unstructured":"The GreatSPN tool. Available at http:\/\/www.di.unito.it\/~greatspn"},{"key":"385_CR38","unstructured":"Transaction Processing Council: TPC Benchmark W (Web Commerce) Specification, Version 1.8 (2002)"},{"key":"385_CR39","doi-asserted-by":"crossref","unstructured":"Tribastone, M., Gilmore, S.: Automatic translation of UML sequence diagrams into PEPA models. In: Proceedings of 5th International Conference on Quantitative Evaluation of Systems (QEST 2008), pp. 205\u2013214, St Malo, France (2008)","DOI":"10.1109\/QEST.2008.18"},{"key":"385_CR40","doi-asserted-by":"crossref","unstructured":"Woodside, M., Franks, G., Petriu, D.C.: The future of software performance engineering. In: Proceedings of the Future of Software Engineering 2007, pp 171\u2013187, IEEE Computer Society, May 2007","DOI":"10.1109\/FOSE.2007.32"},{"key":"385_CR41","doi-asserted-by":"crossref","unstructured":"Woodside, M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by unified model analysis (PUMA). In: Proceedings of the 5th International Workshop on Software and Performance (WOSP\u20192005), pp. 1\u201312, Palma de Mallorca, July 2005","DOI":"10.1145\/1071021.1071022"},{"key":"385_CR42","doi-asserted-by":"crossref","unstructured":"Woodside, M., Petriu, D.B., Siddiqui, K.H.: Performance-related completions for software specifications. In: Proceedings of the 24th International Conference on Software Engineering, May (2002)","DOI":"10.1145\/581339.581346"},{"issue":"4","key":"385_CR43","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1142\/S0218194001000608","volume":"11","author":"M Woodside","year":"2001","unstructured":"Woodside, M.: Software resource architecture. Int. J. Softw. Eng. Knowl. Eng. (IJSEKE) 11(4), 407\u2013429 (2001)","journal-title":"Int. J. Softw. Eng. Knowl. Eng. (IJSEKE)"},{"issue":"1","key":"385_CR44","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.jss.2008.03.067","volume":"82","author":"M Woodside","year":"2009","unstructured":"Woodside, M., Petriu, D.C., Petriu, D.B., Xu, J., Israr, T., Georg, G., France, R., Bieman, J.M., Houmb, S.H., Jurjens, J.: Performance analysis of security aspects by weaving scenarios from UML models. J. Syst. Softw. 82(1), 56\u201374 (2009)","journal-title":"J. Syst. Softw."},{"issue":"8","key":"385_CR45","doi-asserted-by":"crossref","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."},{"key":"385_CR46","unstructured":"Zeng, Y.X.: Transforming Use Case Maps to the Core Scenario Model Representation. MASc thesis, University of Ottawa, May (2005)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0385-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0385-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0385-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T20:42:29Z","timestamp":1688589749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0385-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,31]]},"references-count":46,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["385"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0385-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,31]]}}}