{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:24Z","timestamp":1725512124047},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724827"},{"type":"electronic","value":"9783540725220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72522-0_11","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T19:02:12Z","timestamp":1181070132000},"page":"429-467","source":"Crossref","is-referenced-by-count":9,"title":["From Annotated Software Designs (UML SPT\/MARTE) to Model Formalisms"],"prefix":"10.1007","author":[{"given":"Murray","family":"Woodside","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Alsaadi, A.: A Performance Analysis Approach based on the UML Class Diagram. In: Proc. 4th Int. Conf. on Software and Performance (WOSP 2004), Redwood City, CA, Jan. 2004, pp. 254\u2013260 (2004)","DOI":"10.1145\/974044.974084"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Arief, L.B., Speirs, N.A.: A UML Tool for an Automatic Generation of Simulation Programs. In: Proceedings of the Second International Workshop on Software and Performance (WOSP2000), Ottawa, Canada, September 17-20, 2000, pp. 71\u201376 (2000)","DOI":"10.1145\/350391.350408"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marzolla, M.: Performance evaluation of UML software architectures with multiclass Queueing Network models. In: Proc. 5th Int. workshop on Software and performance, Palma, pp. 37\u201342 (2005)","DOI":"10.1145\/1071021.1071025"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-540-30187-5_11","volume-title":"<<UML>> 2004 - The Unified Modeling Language","author":"A.J. Bennett","year":"2004","unstructured":"Bennett, A.J., Field, A.J., Woodside, C.M.: Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 143\u2013157. Springer, Heidelberg (2004)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri net models. In: Proc. 3rd Int. Workshop on Software and Performance, Rome, July 2002, pp. 35\u201345 (2002)","DOI":"10.1145\/584369.584376"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Bozga, M., Graf, S., Mounier, L., Ober, I., Roux, J.-L., Vincent, D.: Timed Extensions for SDL. In: SDL Forum 01, Copenhagen (June 2001)","DOI":"10.1007\/3-540-48213-X_14"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1049\/ip-cdt:20030084","volume":"150","author":"C. Canevet","year":"2003","unstructured":"Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques\u00a0150(2), 107\u2013120 (2003)","journal-title":"IEE Proceedings: Computers and Digital Techniques"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Mirandola, R.: Deriving a Queueing Network based Performance Model from UML Diagrams. In: Proc. Second Int. Workshop on Software and Performance, Ottawa, September 2000, pp. 58\u201370 (2000)","DOI":"10.1145\/350391.350406"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0166-5316(01)00036-0","volume":"45","author":"V. Cortellessa","year":"2001","unstructured":"Cortellessa, V., D\u2019Ambrogio, A., Iazeolla, G.: Automatic derivation of software performance models from CASE documents. Performance Evaluation\u00a045, 81\u2013105 (2001)","journal-title":"Performance Evaluation"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/j.jss.2006.07.023","volume":"80","author":"V. Grassi","year":"2007","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and performance\/reliability models of component-based systems: A model-driven approach. Journal of Systems and Software\u00a080, 528\u2013558 (2007)","journal-title":"Journal of Systems and Software"},{"key":"11_CR11","unstructured":"Hillston, J., Wang, Y.: Performance evaluation of UML models via automatically generated simulation models. In: Jarvis, S.A. (ed.) UK Performance Engineering Workshop, July 2003, pp. 64\u201378 (2003)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/3-540-46852-8_26","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"P. K\u00e4hkipuro","year":"1999","unstructured":"K\u00e4hkipuro, P.: UML Based Performance Modeling Framework for Object-Oriented Distributed Systems. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 356\u2013371. Springer, Heidelberg (1999)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML Activity Diagrams To Stochastic Petri Nets. In: Fourth Int. Workshop on Software and Performance, Redwood City, CA, Jan. 2004, pp. 25\u201336 (2004)","DOI":"10.1145\/974043.974048"},{"key":"11_CR14","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":"11_CR15","doi-asserted-by":"crossref","unstructured":"Merseguer, J., Campos, J., Mena, E.: A Pattern-Based Approach to Model Software Performance. In: Proc.2nd Int. Workshop on Software and Performance (WOSP2000), Ottawa, pp. 137\u2013142 (2000)","DOI":"10.1145\/350391.350421"},{"issue":"17","key":"11_CR16","doi-asserted-by":"crossref","first-page":"1801","DOI":"10.1016\/S1389-1286(99)00061-4","volume":"31","author":"A. Mitschele-Theil","year":"1999","unstructured":"Mitschele-Theil, A., Muller-Clostermann, B.: Performance Engineering of SDL\/MSC Systems. Journal on Computer Networks and ISDN Systems\u00a031(17), 1801\u20131815 (1999)","journal-title":"Journal on Computer Networks and ISDN Systems"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-46029-2_9","volume-title":"Computer Performance Evaluation","author":"D.B. Petriu","year":"2002","unstructured":"Petriu, D.B., Woodside, C.M.: Software Performance Models from System Scenarios in Use Case Maps. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, p. 141. Springer, Heidelberg (2002)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-45075-0_2","volume-title":"SDL 2003: System Design","author":"D.B. Petriu","year":"2003","unstructured":"Petriu, D.B., Amyot, D., Woodside, C.M.: Scenario-Based Performance Engineering with UCMNav. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, pp. 18\u201335. Springer, Heidelberg (2003)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-46029-2_10","volume-title":"Computer Performance Evaluation","author":"D.C. Petriu","year":"2002","unstructured":"Petriu, D.C., Shen, H.: Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, p. 159. Springer, Heidelberg (2002)"},{"key":"11_CR20","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/0-306-48738-1_11","volume-title":"UML for Real","author":"D.C. Petriu","year":"2003","unstructured":"Petriu, D.C., Woodside, C.M.: Performance Analysis with UML. In: Selic, B., Lavagno, L., Martin, G. (eds.) UML for Real, pp. 221\u2013240. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Pooley, R.: Software Engineering and Performance: a Roadmap. In: The Future of Software Engineering, part of the 22nd Int. Conf. on Software Engineering (ICSE2000), Limerick, Ireland, June 2000, pp. 189\u2013200 (2000)","DOI":"10.1145\/336512.336553"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Pustina, L., Schwarzer, S., Gerharz, M., Martini, P., Deichmann, V.: Performance Evaluation of a DVBH Enabled Mobile Device System Model. In: Proc 6th Int. Workshop on Software and Performance (WOSP 2006), Buenos Aires, Feb. 2007, pp. 164\u2013171 (2007)","DOI":"10.1145\/1216993.1217022"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/3-540-45156-0_6","volume-title":"Performance Engineering","author":"A. Schmietendorf","year":"2001","unstructured":"Schmietendorf, A., Dimitrov, E.: Possibilities of Performance Modelling with UML. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol.\u00a02047, pp. 78\u201395. Springer, Heidelberg (2001)"},{"key":"11_CR24","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: Proc. 5th Int. Workshop on Software and Performance, Palma de Mallorca, July 2005, pp. 1\u201312 (2005)","DOI":"10.1145\/1071021.1071022"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-45232-4_18","volume-title":"Computer Performance Evaluations. Modelling Techniques and Tools","author":"J. Xu","year":"2003","unstructured":"Xu, J., Woodside, M., Petriu, D.C.: Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol.\u00a02794, pp. 291\u2013307. Springer, Heidelberg (2003)"},{"key":"11_CR26","unstructured":"Balsamo, S., Marzolla, M.: Simulation Modeling of UML Software Architectures. In: ESM\u201903, Nottingham, UK (June 2003)"},{"key":"11_CR27","doi-asserted-by":"crossref","DOI":"10.1002\/0471200581","volume-title":"Queueing Networks and Markov Chains","author":"G. Bolch","year":"1998","unstructured":"Bolch, G., Greiner, S., De Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains. Wiley-Interscience, Hoboken (1998)"},{"key":"11_CR28","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: Proc. 4th Int. Workshop on Software and Performance, Redwood City, CA, Jan. 2004, pp. 74\u201383 (2004)","DOI":"10.1145\/974043.974055"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/11663430_9","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"H. Espinoza","year":"2006","unstructured":"Espinoza, H., Dubois, H., G\u00e9rard, S., Medina, J.L., Petriu, D.C., Woodside, C.M.: Annotating UML Models with Non-functional Properties for Quantitative Analysis. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 79\u201390. Springer, Heidelberg (2006)"},{"key":"11_CR30","unstructured":"Franks, G., Majumdar, S., Neilson, J., Petriu, D., Rolia, J., Woodside, M.: Performance Analysis of Distributed Server Systems. In: Proc. Sixth International Conference on Software Quality, Ottawa, Canada, pp. 15\u201326 (1996)"},{"key":"11_CR31","unstructured":"Franks, G.: Performance Analysis of Distributed Server Systems. PhD. thesis, Carleton University (Jan. 2000)"},{"key":"11_CR32","unstructured":"Franks, G., Maly, P., Woodside, M., Petriu, D.C., Hubbard, A.: Layered Queueing Network Solver and Simulator User Manual. Dept. of Systems and Computer Engineering, Carleton University, Ottawa (Dec. 2005), http:\/\/www.sce.carleton.ca\/rads\/lqn\/lqn-documentation\/"},{"key":"11_CR33","volume-title":"The Art of Computer Systems Performance Analysis","author":"R. Jain","year":"1991","unstructured":"Jain, R.: The Art of Computer Systems Performance Analysis. John Wiley & Sons, Chichester (1991)"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-46429-8_2","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"P. Maly","year":"2000","unstructured":"Maly, P., Woodside, C.M.: Layered Modeling of Hardware and Software, with Application to a LAN Extension Router. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 10\u201324. Springer, Heidelberg (2000)"},{"key":"11_CR35","unstructured":"Object Management Group: UML Profile for Schedulability, Performance, and Time Specification, OMG Adopted Specification ptc\/02-03-02 (July 1, 2002)"},{"key":"11_CR36","unstructured":"Object Management Group: UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP, document realtime\/05-02-06 (Feb. 6, 2005)"},{"key":"11_CR37","unstructured":"Object Management Group: MOF QVT Final Adopted Specification, ptc\/05-11-01 (Nov. 2005)"},{"key":"11_CR38","unstructured":"Object Management Group: Unified Modeling Language: Superstructure, version 2.1, ptc\/2006-04-02 (2006)"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Petriu, D.B., Woodside, M.: Analysing Software Requirements Specifications for Performance. In: Third Int. Workshop on Software and Performance (WOSP 02), Rome, Italy, July 2002, pp. 1\u20139 (2002)","DOI":"10.1145\/584369.584371"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Petriu, D.B., Woodside, M.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Software and Systems Modeling\u00a05(4) (2006)","DOI":"10.1007\/s10270-006-0026-8"},{"key":"11_CR41","volume-title":"UML 2.0 in a Nutshell","author":"D. Pilone","year":"2005","unstructured":"Pilone, D., Pitman, N.: UML 2.0 in a Nutshell. O\u2019Reilly, Sebastopol (2005)"},{"key":"11_CR42","doi-asserted-by":"crossref","unstructured":"Sheikh, F., Woodside, C.M.: Layered Analytic Performance Modelling of Distributed Database Systems. In: Proc. Int. Conf. on Distributed Comp. Systems, Baltimore, U.S.A., May 1997, pp. 482\u2013490 (1997)","DOI":"10.1109\/ICDCS.1997.603390"},{"issue":"8","key":"11_CR43","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1109\/32.403785","volume":"21","author":"J.R. Rolia","year":"1995","unstructured":"Rolia, J.R., Sevcik, K.: The method of layers. IEEE Transactions on Software Engineering\u00a021(8), 689\u2013700 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/11663430_23","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"A. Sabetta","year":"2006","unstructured":"Sabetta, A., Petriu, D.C., Grassi, V., Mirandola, R.: Abstraction-raising Transformation for Generating Analysis Models. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 217\u2013226. Springer, Heidelberg (2006)"},{"key":"11_CR45","volume-title":"Performance Solutions","author":"C.U. Smith","year":"2002","unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions. Addison-Wesley, Reading (2002)"},{"key":"11_CR46","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Llado, C.M.: Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. In: First Int. Conf. on Quantitative Evaluation of Systems (QEST \u201904), Enschede, pp. 38\u201347 (2004)","DOI":"10.1109\/QEST.2004.1348017"},{"key":"11_CR47","doi-asserted-by":"crossref","unstructured":"Smith, C.U., Llad\u00f3, C.M., Cortellessa, V., Marco, A.D., Williams, L.G.: From UML models to software performance results: an SPE process based on XML interchange formats. In: Proc. 5th int workshop on Software and performance, Palma de Mallorca, pp. 87\u201398 (2005)","DOI":"10.1145\/1071021.1071030"},{"key":"11_CR48","volume-title":"XSLT","author":"D. Tidwell","year":"2001","unstructured":"Tidwell, D.: XSLT. O\u2019Reilly, Sebastopol (2001)"},{"key":"11_CR49","unstructured":"Transaction Processing Council: TPC Benchmark W (Web Commerce) Specification, Version 1.8 (Feb. 19, 2002)"},{"key":"11_CR50","doi-asserted-by":"crossref","unstructured":"Verdickt, T., Dhoedt, B., Turck, F.D., Demeester, P.: Hybrid Performance Modeling Approach for Network Intensive Distributed Software. In: Workshop on Software and Performance (WOSP 07), Buenos Aires (Feb. 2007)","DOI":"10.1145\/1216993.1217026"},{"issue":"2-3","key":"11_CR51","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0166-5316(01)00033-5","volume":"45","author":"M. Woodside","year":"2001","unstructured":"Woodside, M., Hrischuk, C., Selic, B., Bayarov, S.: Automated Performance Modeling of Software Generated by a Design Environment. Performance Evaluation\u00a045(2-3), 107\u2013124 (2001)","journal-title":"Performance Evaluation"},{"issue":"4","key":"11_CR52","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1142\/S0218194001000608","volume":"11","author":"C.M. Woodside","year":"2001","unstructured":"Woodside, C.M.: Software Resource Architecture. Int. Journal on Software Engineering and Knowledge Engineering (IJSEKE)\u00a011(4), 407\u2013429 (2001)","journal-title":"Int. Journal on Software Engineering and Knowledge Engineering (IJSEKE)"},{"key":"11_CR53","doi-asserted-by":"crossref","unstructured":"Woodside, M., Petriu, D., Siddiqui, K.H.: Performance-related Completions for Software Specifications. In: Proc. 24th Int. Conf. on Software Engineering (May 2002)","DOI":"10.1145\/581344.581346"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72522-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T06:16:14Z","timestamp":1683872174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72522-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724827","9783540725220"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72522-0_11","relation":{},"subject":[]}}