{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T22:10:12Z","timestamp":1736460612265,"version":"3.32.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T00:00:00Z","timestamp":1152662400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T00:00:00Z","timestamp":1152662400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s10270-006-0024-x","type":"journal-article","created":{"date-parts":[[2006,7,11]],"date-time":"2006-07-11T15:39:34Z","timestamp":1152632374000},"page":"185-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Tool Support for Refinement of Non-functional Specifications"],"prefix":"10.1007","volume":"6","author":[{"given":"Simone","family":"R\u00f6ttger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Zschaler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,7,12]]},"reference":[{"key":"24_CR1","unstructured":"Aagedal J.O. Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)"},{"key":"24_CR2","unstructured":"Aigner, R., Pohlack, M., R\u00f6ttger, S., Zschaler, S.: Towards pervasive treatment of non-functional properties at design and run-time. In: 16th International Conference on Software and Systems Engineering and their Applications (ICSSEA\u201903). Paris, CNAM-CMSL, 2\u20134 December 2003"},{"key":"24_CR3","unstructured":"ArgoUML website. http:\/\/argouml.tigris.org\/"},{"key":"24_CR4","unstructured":"Bandelow D. Entwicklung einer CQML+-Basisbibliothek(in German) Diplomarbeit. Department of Computer Science, Technische Universit\u00e4t Dresden (2004)"},{"key":"24_CR5","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: Extensible markup language (XML) 1.0 (2nd edition) . W3C Recommendation (2000)"},{"key":"24_CR6","unstructured":"Bruel, J.-M. (ed) Proc Leading of the 1st international Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France. C\u00e9padu\u00e8s-\u00c9ditions (2003)"},{"key":"24_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements In Software Engineering","author":"L. Chung","year":"2000","unstructured":"Chung L., Nixon B.A., Yu E., Mylopoulos J. (2000) Non-Functional Requirements In Software Engineering. Kluwer, Dordrecht"},{"key":"24_CR8","unstructured":"Clark, T., Evans, A., Sammut, P., Willans, J.: Applied Metamodelling \u2013 A Foundation for Language Driven Development. version 0.1, published on-line at http:\/\/www. xactium.com\/ (2004)"},{"key":"24_CR9","unstructured":"Demairy, E., Anceaume, E., Issarny, V.: On the correctness of multimedia applications. In: 11th EuroMicro Conference. on Real Time Systems. IEEE, June 1999"},{"key":"24_CR10","unstructured":"Dirckze, R.: Java metadata interface(JMI) specification, version 1.0. Java Community Process JSR 040 Final Specification, June 2002. http:\/\/www.jcp.org\/"},{"key":"24_CR11","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma E., Helm R., Johnson R., Vlissides J. (1995) Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading"},{"key":"24_CR12","unstructured":"Gokhale, A., Natarajan, B., Schmidt, D.C., Nechypurenko, A., Gray, J., Wang, N., Neema, S., Bapty, T., Parsons, J.: Cosmic: an MDA generative tool for distributed real-time and embedded component middleware and applications. In: Proceedings. ACM OOPSLA 2002 Workshop on Generative Techniques in the Context of MDA. Seattle, WA, November 2002"},{"key":"24_CR13","unstructured":"H\u00e4rtig, H., Zschaler, S., Aigner, R., G\u00f6bel, S., Pohlack, M., Pohl, C., R\u00f6ttger, S.: Enforceable component-based realtime contracts \u2013 supporting realtime properties from software development to execution. Real Time Systems (to appear)"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. In: Evans, A., Kent, S., Selic, B. (eds) Proceedings of. 3rd International UML Conference. 2000 - The Unified Modeling Language. Advancing the Standard. volume 1939 of LNCS, pp. 278\u2013293. Springer, Berlin Heidelberg Newyork (2000)","DOI":"10.1007\/3-540-40011-7_20"},{"key":"24_CR15","unstructured":"Information technology \u2013 Quality of Service: Framework. ISO\/IEC 13236:1998, ITU-T X.641, 1998"},{"key":"24_CR16","unstructured":"Issarny, V., Bidan, C.: Aster: a framework for sound customization of distributed runtime systems. In: International Conference on Distributed Computing Systems. pp. 586\u2013593. IEEE Computer Society, 1996"},{"key":"24_CR17","unstructured":"J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Weis, T., Geihs, K.: From contracts to aspects in UML designs. In: AOSD Workshop on Aspect-Oriented Modeling with UML. Enschede, The Netherlands (2002)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) 11th European Conference. on Object-Oriented Programming, vol. 1241 of LNCS, pp. 220\u2013242. Springer, Berlin Heidelberg Newyork (1997)","DOI":"10.1007\/BFb0053381"},{"key":"24_CR19","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe A., Warmer J., Bast W.(2003) MDA Explained: The Model Driven Architecture: Practice and Promise. Addison Wesley, Reading"},{"key":"24_CR20","unstructured":"Malan, R., Bredemeyer, D., Defining non-functional requirements. Bredemeyer Consulting, White Paper. http:\/\/www. bredemeyer.com\/papers.htm, 2001"},{"key":"24_CR21","unstructured":"Matula, M.: Netbeans metadata repository, March 2003. http:\/\/mdr.netbeans.org\/MDR-whitepaper.pdf"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.N.: A framework for classifying and comparing architecture description languages. In: Proceedings of. 6th European Software Engineering Conf. together with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE97). pp. 60\u201376, Zurich, Switzerland, September 1997","DOI":"10.1145\/267896.267903"},{"key":"24_CR23","unstructured":"Meyer, L.: Werkzeugunterst\u00fctzung f\u00fcr Verfeinerungen nicht-funktionaler Eigenschaften In German. Gro\u00dfer Beleg, Department of Computer Science, Technische Universit\u00e4t Dresden, August 2004."},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"Meyerh\u00f6fer, M., Neumann, C.: TESTEJB \u2013 a measurement framework for EJBs. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) Proceedings. 7th International Symposium on Component-Based Software Engineering (CBSE\u201904). number 3054 in LNCS, pp. 294\u2013301. Springer, Berlin Heidelberg New York (2004)","DOI":"10.1007\/978-3-540-24774-6_26"},{"key":"24_CR25","unstructured":"NSUML and NSMDF website. http:\/\/nsuml.sourceforge.net\/"},{"key":"24_CR26","unstructured":"Object Management Group. MOF 2.0 query, views, transformations request for proposals. OMG Document, April 2002. URL http:\/\/www.omg.org\/docs\/ad\/02-04-10.pdf"},{"key":"24_CR27","unstructured":"Object Management Group. UML 2.0 OCL specification. OMG Document, October 2003. URL http:\/\/www.omg.org\/ cgi-bin\/doc?ptc\/03-10-14"},{"key":"24_CR28","unstructured":"Object Management Group. Meta object facility specification. OMG Document, October 2003. URL http:\/\/www. omg.org\/cgi-bin\/doc?ptc\/03-10-04"},{"key":"24_CR29","unstructured":"Object Management Group. Unified modeling language: Superstructure version 2.0. OMG Document, July 2003. URL http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/03-07-06.pdf"},{"key":"24_CR30","unstructured":".Object Management Group. UML profile for modeling quality of service and fault tolerance characteristics and mechanisms. OMG Document, June 2004 URL http:\/\/www.omg.org\/docs\/ptc\/04-06-01.pdf."},{"key":"24_CR31","unstructured":"R\u00f6ttger, S., Zschaler, S.: CQML+: Enhancements to CQML. In Bruel [6], pp. 43\u201356"},{"key":"24_CR32","unstructured":"R\u00f6ttger, S., Zschaler, S.: A software development process supporting non-functional properties. In: Proceedings of. IASTED International Conference. on Software Engineering (IASTED SE 2004). ACTA Press (2004)"},{"key":"24_CR33","doi-asserted-by":"crossref","unstructured":"R\u00f6ttger, S., Zschaler, S.: Model-driven development for non-functional properties: Refinement through model transformation. In: Proceedings of . \u00a0<\u00a0\u00a0<\u00a0UML\u00a0>\u00a0\u00a0>\u00a0 Conference, Lisbon, Portugal, 2004. volume 3273 of LNCS, pp. 275\u2013289. Springer, Berlin heidelberg Newyork (2004)","DOI":"10.1007\/978-3-540-30187-5_20"},{"key":"24_CR34","unstructured":"Sassen, A.-M., Amor\u00f3s, G., Donth, P., Geihs, K., J\u00e9z\u00e9quel, J.-M., Odent, K., Plouzeau, N., Weis, T.: QCCS: a methodology for the development of contract-aware components based on aspect oriented design. In: AOSD Early Aspects Workshop. Enschede, The Netherlands, (2002)"},{"key":"24_CR35","unstructured":"Shaw, M., DeLine, R., Zelesnik, G.: Abstractions and implementations for architectural connections. In: 3rd International Conference. on Configurable Distributed Systems. IEEE Press (1996)"},{"key":"24_CR36","unstructured":"Simmonds, D.M., Ghosh, S., France, R.: An MDA framework for middleware transparent software development & quality of service. In Bruel [6], pp. 1\u20137"},{"key":"24_CR37","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville I. (2001) Software Engineering. Addison-Wesley, Reading"},{"key":"24_CR38","doi-asserted-by":"crossref","unstructured":"Stankovic, J.A., Zhu, R., Poornalingam, R., Lu, C.: Yu, Z., Humphrey, M., Ellis, B.: VEST: An aspect-based composition tool for real-time systems. In: Proceedings of the. 9th Real-Time and Embedded Technology and Applications Symposium (RTAS\u201903), Toronto, Canada, pp. 58\u201369. IEEE Press (2003)","DOI":"10.1109\/RTTAS.2003.1203037"},{"key":"24_CR39","unstructured":"Tannh\u00e4user, F.: Konzeption und prototypische Umsetzung eines Spezifikationswerkzeugs f\u00fcr CQML+-Spezifikationen. Diplomarbeit, Department of Computer Science, Technische Universit\u00e4t Dresden, December 2003 (In German)"},{"key":"24_CR40","doi-asserted-by":"crossref","unstructured":"Zschaler, S.: Towards a semantic framework for non-functional specifications of component-based systems. In: Steinmetz, R., Mauthe, A. (eds) Proceedings of. EUROMICRO Conference. 2004, Rennes IEEE Computer Society (2004)","DOI":"10.1109\/EURMIC.2004.1333360"}],"container-title":["Software &amp; Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0024-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-006-0024-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0024-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0024-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T21:36:06Z","timestamp":1736458566000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-006-0024-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,12]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["24"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0024-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2006,7,12]]},"assertion":[{"value":"15 February 2005","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 November 2005","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 July 2006","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}