{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:01:59Z","timestamp":1725566519756},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233077"},{"type":"electronic","value":"9783540301875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30187-5_11","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T19:50:15Z","timestamp":1285185015000},"page":"143-157","source":"Crossref","is-referenced-by-count":8,"title":["Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time"],"prefix":"10.1007","author":[{"given":"Andrew J.","family":"Bennett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. J.","family":"Field","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. Murray","family":"Woodside","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Performance Engineering of Software Systems","author":"C.U. Smith","year":"1990","unstructured":"Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)"},{"key":"11_CR2","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley and Sons, Chichester (1999)"},{"key":"11_CR3","unstructured":"Ayles, T., Field, T., Magee, J., Bennett, A.J.: Adding performance evaluation to the LTSA tool. Technical report, Department of Computing, Imperial College London (2003)"},{"key":"11_CR4","unstructured":"Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with UML and stochastic process algebras. In: 18th UK Performance Engineering Workshop, Glasgow, Scotland (2002)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-45221-8_7","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"D.N. Jansen","year":"2003","unstructured":"Jansen, D.N., Hermanns, H., Katoen, J.P.: A QoS-oriented extension of UML statecharts. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 76\u201391. Springer, Heidelberg (2003)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Merseguer, J., Campos, J., Bernardi, S., Donatelli, S.: A compositional semantics for UML state machines aimed at performance evaluation. In: 6th International Workshop on Discrete Event Systems, pp. 295\u2013302 (2002)","DOI":"10.1109\/WODES.2002.1167702"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri net models. In: WOSP 2002: Third International Workshop on Software and Performance, Rome, Italy (2002)","DOI":"10.1145\/584369.584376"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Tsiolakis, A.: Intergating model information in UML sequence diagrams. Electronic Notes in Theoretical Computer Science\u00a050 (2001)","DOI":"10.1016\/S1571-0661(04)00178-1"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: 8th European Software Engineering Conference, Vienna, Austria, pp. 74\u201382 (2001)","DOI":"10.1145\/503209.503220"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-46029-2_9","volume-title":"Computer Performance Evaluation","author":"D. Petriu","year":"2002","unstructured":"Petriu, D., Woodside, 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, pp. 141\u2013158. Springer, Heidelberg (2002)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: 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\u2013310. Springer, Heidelberg (2003)"},{"key":"11_CR12","unstructured":"Object Management Group: UML profile for schedulability, performance and time specification (2002)"},{"key":"11_CR13","unstructured":"Bennett, A.J.: Software performance engineering with the UML profile for schedulability, performance and time. MSc dissertation, Centre for Systems Engineering, University College London (2004)"},{"key":"11_CR14","unstructured":"ITU Telecommunication Standardisation Sector: ITU-T Recommendation Z.120 Message Sequence Charts (1996)"}],"container-title":["Lecture Notes in Computer Science","<\u2009<UML>\u2009> 2004 - The Unified Modeling Language. Modelling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30187-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:46:22Z","timestamp":1605761182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30187-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233077","9783540301875"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30187-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}