{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:54:49Z","timestamp":1747810489610},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540317807"},{"type":"electronic","value":"9783540317814"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663430_9","type":"book-chapter","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T06:28:22Z","timestamp":1137565702000},"page":"79-90","source":"Crossref","is-referenced-by-count":31,"title":["Annotating UML Models with Non-functional Properties for Quantitative Analysis"],"prefix":"10.1007","author":[{"given":"Hu\u00e1scar","family":"Espinoza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio","family":"Medina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorina C.","family":"Petriu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murray","family":"Woodside","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"9_CR1","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 predic-tion in software development: a survey. IEEE Transactions on Software Engineering\u00a030(5), 295\u2013310 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and state-charts to analysable Petri net models. In: Proc. of 3rd Int. Workshop on Software and Per-formance (WOSP 2002), Rome, July 2002, pp. 35\u201345 (2002)","key":"9_CR2","DOI":"10.1145\/584369.584376"},{"unstructured":"CEA, I-Logix, Uppsala, OFFIS, PSA, MECEL, ICOM, UML based methodology for real time embedded systems, version 1.0, April 2003, Project IST 10069 AIT-WOODDES (2003)","key":"9_CR3"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1145\/974044.974076","volume-title":"Proc. 4th Int. Workshop on Software and Performance WOSP 2004","author":"V. Cortellessa","year":"2004","unstructured":"Cortellessa, V., Pompei, A.: Towards a UML profile for QoS: a contribution in the reli-ability domain. In: Proc. 4th Int. Workshop on Software and Performance WOSP 2004, pp. 197\u2013206. Redwood Shores, California (2004)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-45800-X_16","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"S. Flake","year":"2002","unstructured":"Flake, S., Mueller, W.: A UML Profile for Real-Time Constraints with the OCL. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 179\u2013195. Springer, Heidelberg (2002)"},{"key":"9_CR6","volume-title":"Int. Journal on Software Tools for Technology Transfer","author":"S. Graf","year":"2004","unstructured":"Graf, S., Ober, I., Ober, I.: Timed annotations in UML, accepted to STTT. In: Int. Journal on Software Tools for Technology Transfer. Springer, Heidelberg (2004)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-48480-6_25","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"A. Lanusse","year":"1999","unstructured":"Lanusse, A., G\u00e9rard, S., Terrier, F.: Real-time Modelling with UML: The ACCORD Ap-proach. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 319\u2013335. Springer, Heidelberg (1999)"},{"key":"9_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/b105972","volume-title":"UML for Real. Design of Embedded Real-Time Systems","author":"L. Lavagno","year":"2003","unstructured":"Lavagno, L., Martin, G., Selic, B.: UML for Real. Design of Embedded Real-Time Systems. Kluwer Academic Publishers, Dordrecht (2003)"},{"doi-asserted-by":"crossref","unstructured":"Lugato, D., Bigot, C., Valot, Y.: Validation and automatic test generation on UML models: the AGATHA approach. In: Proceedings of the Workshop FMICS. ENTCS, vol.\u00a066 n\u00b02 (2002)","key":"9_CR9","DOI":"10.1016\/S1571-0661(04)80402-X"},{"key":"9_CR10","first-page":"245","volume-title":"Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001)","author":"J.L. Medina","year":"2001","unstructured":"Medina, J.L., Gonz\u00e1lez Harbour, M., Drake, J.M.: MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, December 2001, pp. 245\u2013256. IEEE Computer Society Press, Los Alamitos (2001)"},{"unstructured":"Object Management Group, \u201cUML Profile for Schedulability, Performance, and Time\u201d, Version 1.1, OMG document: formal\/05-01-02 (2005)","key":"9_CR11"},{"unstructured":"Object Management Group, \u201cUML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)\u201d, RFP, OMG document: realtime\/05-02-06 (2005)","key":"9_CR12"},{"unstructured":"Object Management Group: \u201cUML Profile for Modeling Quality of Service and Fault Tol-erance Characteristics and Mechanisms\u201d, OMG document ptc\/04-09-01 (2004)","key":"9_CR13"},{"key":"9_CR14","first-page":"328","volume-title":"Proceedings of the 20th Real-Time Systems Symposium","author":"J.C. Palencia","year":"1999","unstructured":"Palencia, J.C., Harbour, M.G.: Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems. In: Proceedings of the 20th Real-Time Systems Symposium, December 1999, pp. 328\u2013339. IEEE Computer Society Press, Los Alamitos (1999)"},{"doi-asserted-by":"crossref","unstructured":"Phan, T.H., G\u00e9rard, S., Lugato, D.: Schedulability Validation for UML-modeled real-time systems with symbolic execution and jitter compensation. In: ERCT Workshop (2003)","key":"9_CR15","DOI":"10.1007\/0-306-48738-1_2"},{"key":"9_CR16","first-page":"205","volume-title":"Model-Driven Engineering for Distributed and Embedded Systems","author":"D.C. Petriu","year":"2005","unstructured":"Petriu, D.C.: Performance Analysis with the SPT Profile. In: Gerard, S., Babeau, J.P., Champeau, J. (eds.) Model-Driven Engineering for Distributed and Embedded Systems, pp. 205\u2013224. Hermes Science Publishing Ltd., London (2005)"},{"issue":"6","key":"9_CR17","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/2.846320","volume":"33","author":"B. Selic","year":"2000","unstructured":"Selic, B.: A Generic Framework for Modeling Resources with UML. IEEE Computer\u00a033(6), 64\u201369 (2000)","journal-title":"IEEE Computer"},{"issue":"2-3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/B:TIME.0000045315.61234.1e","volume":"28","author":"L. Sha","year":"2004","unstructured":"Sha, L., Abdelzaher, T., Arzen, K.E., Cervin, A., Baker, T., Burns, A., Buttazzo, G., Caccamo, M., Lehoczky, J., Mok, A.K.: Real Time Scheduling Theory: A Historical Per-spective. Real-Time Systems Journal\u00a028(2-3), 101\u2013155 (2004)","journal-title":"Real-Time Systems Journal"},{"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: Proc. of 5th Int. Workshop on Software and Per-formance WOSP 2005, Palma, Spain, July 2005, pp. 1\u201312 (2005)","key":"9_CR19","DOI":"10.1145\/1071021.1071022"}],"container-title":["Lecture Notes in Computer Science","Satellite Events at the MoDELS 2005 Conference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663430_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:26Z","timestamp":1605643466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663430_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317807","9783540317814"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11663430_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}