{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:51:17Z","timestamp":1762458677887},"reference-count":82,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,2,15]],"date-time":"2009-02-15T00:00:00Z","timestamp":1234656000000},"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":[[2010,4]]},"DOI":"10.1007\/s10270-009-0115-6","type":"journal-article","created":{"date-parts":[[2009,2,16]],"date-time":"2009-02-16T10:47:35Z","timestamp":1234781255000},"page":"161-201","source":"Crossref","is-referenced-by-count":22,"title":["Formal specification of non-functional properties of component-based software systems"],"prefix":"10.1007","volume":"9","author":[{"given":"Steffen","family":"Zschaler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,2,15]]},"reference":[{"key":"115_CR1","unstructured":"Aagedal, J.\u00d8.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)"},{"issue":"2","key":"115_CR2","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"Abadi M., Lamport L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253\u2013284 (1991)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"115_CR3","doi-asserted-by":"crossref","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"Abadi M., Lamport L.: An old-fashioned recipe for real time. ACM ToPLaS 16(5), 1543\u20131571 (1994)","journal-title":"ACM ToPLaS"},{"issue":"3","key":"115_CR4","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi M., Lamport L.: Conjoining specifications. ACM ToPLaS 17(3), 507\u2013534 (1995)","journal-title":"ACM ToPLaS"},{"key":"115_CR5","unstructured":"Aigner, R., Pohl, C., Pohlack, M., Zschaler, S.: Tailor-made containers: Modeling non-functional middleware service. In: Bruel, J.-M., Georg, G., Hussmann, H., Ober, I., Pohl, C., Whittle, J., Zschaler, S. (eds.) Workshop on Models for Non-functional Aspects of Component-Based Software (NfC\u201904) at UML conference 2004, September 2004. Technical Report TUD-FI04-12 Sept.2004\u00a0at Technische Universit\u00e4t Dresden"},{"key":"115_CR6","unstructured":"Amundsen, S., Lund, K., Eliassen, F., Staehli, R.: QuA: platform-managed QoS for component architectures. In: Proceedings of the Norwegian Informatics Conference (NIK), Stavanger, Norway. Tapir Akademisk Forlag, Trondheim, Norway, November (2004)"},{"key":"115_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/MC.2003.1193228","volume":"36","author":"F. Balarin","year":"2003","unstructured":"Balarin F., Watanabe Y., Hsieh H., Lavagno L., Passerone C., Sangiovanni-Vincentelli A.: Metropolis: an integrated electronic system design environment. IEEE Comput. 36, 45\u201352 (2003)","journal-title":"IEEE Comput."},{"issue":"7","key":"115_CR8","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard A., J\u00e9z\u00e9quel J.-M., Plouzeau N., Watkins D.: Making components contract aware. IEEE Comput. 32(7), 38\u201345 (1999)","journal-title":"IEEE Comput."},{"key":"115_CR9","unstructured":"B\u00e9zivin, J., G\u00e9rard S., Muller P.-A., Rioux, L.: MDA components: Challenges and opportunities. In: Evans, A., Sammut, P., Willans, J.S. (eds.) Proceedings of First International Workshop Metamodelling for MDA, pp. 23\u201341, York (2003)"},{"issue":"2\u20133","key":"115_CR10","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s00165-003-0012-7","volume":"15","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger E.: The ASM refinement method. Formal Aspects Comput. 15(2\u20133), 237\u2013257 (2003)","journal-title":"Formal Aspects Comput."},{"key":"115_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines\u2013A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger E., St\u00e4rk R.: Abstract State Machines\u2013A Method for High-Level System Design and Analysis. Springer, Berlin (2003)"},{"issue":"1","key":"115_CR12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s003780050007","volume":"19","author":"M. Broy","year":"1998","unstructured":"Broy M., Deimel A., Henn J., Koskimies K., Pl\u00e1\u0161il F., Pomberger G., Pree W., Stal M., Szyperski C.: What characterizes a (software) component?. Softw. Concepts Tools 19(1), 49\u201356 (1998)","journal-title":"Softw. Concepts Tools"},{"key":"115_CR13","unstructured":"Bruel, J.-M. (ed.): Proceedings of First International Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France. C\u00e9padu\u00e8s-\u00c9ditions, June (2003)"},{"key":"115_CR14","volume-title":"UML Components: A Simple Process for Specifying Component-Based Software","author":"J. Cheesman","year":"2001","unstructured":"Cheesman J., Daniels J.: UML Components: A Simple Process for Specifying Component-Based Software. Addison-Wesley, Reading (2001)"},{"key":"115_CR15","unstructured":"Chen, S., Gorton, I., Liu, A., Liu, Y.: Performance prediction of COTS component-based enterprise applications. In: Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K. (eds.) Proceedings of Fifth ICSE Workshop on Component-Based Software Engineering (CBSE\u20192002): Benchmarks for Predictable Assembly, May (2002)"},{"key":"115_CR16","doi-asserted-by":"crossref","unstructured":"Chimaris, A., Papadopoulos, G.A.: Implementing QoS aware component-based applications. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, LNCS, vol. 3291, pp. 1173\u20131189. Springer, Agia Napa (2004)","DOI":"10.1007\/978-3-540-30469-2_24"},{"issue":"9","key":"115_CR17","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1109\/12.57057","volume":"39","author":"J.-Y. Chung","year":"1990","unstructured":"Chung J.-Y., Liu J.W.S., Lin K.-J.: Scheduling periodic jobs that allow imprecise results. IEEE Trans. Comput. 39(9), 1156\u20131174 (1990)","journal-title":"IEEE Trans. Comput."},{"key":"115_CR18","doi-asserted-by":"crossref","unstructured":"Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. The Kluwer international series in software engineering. Kluwer, Dordrecht (1999)","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"115_CR19","unstructured":"Ciao website: http:\/\/www.cs.wustl.edu\/~schmidt\/CIAO.html"},{"key":"115_CR20","unstructured":"Ciupke, O., Schmidt, R.: Components as context-independent units of software. In: WCOP 96, Special Issues in Object-Oriented Programming, Workshop Reader of the Tenth European Conference on Object-Oriented Programming ECOOP96, pp. 139\u2013143. d.punkt.verlag, Heidelberg (1996)"},{"key":"115_CR21","doi-asserted-by":"crossref","unstructured":"Clark, T., Evans, A., Kent, S.: Engineering modelling languages: A precise meta-modelling approach. In: Kutsche, R.-D., Weber, H. (eds.) Proceedings of Fifth International Conference on Fundamental Approaches to Software Engineering (FASE 2002), LNCS, vol. 2306, pp. 159\u2013173. Springer, Grenoble (2002)","DOI":"10.1007\/3-540-45923-5_11"},{"key":"115_CR22","doi-asserted-by":"crossref","unstructured":"Cottenier, T., van den Berg, A., Elrad, T.: Joinpoint inference from behavioral specification to implementation. In: Ernst, E. (ed.) 21st European Conference on Object-Oriented Programming (ECOOP\u201907), LNCS, vol. 4609, pp. 476\u2013500. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73589-2_23"},{"key":"115_CR23","first-page":"5","volume-title":"Component-Based Software Engineering\u2014Putting the Pieces Together","author":"W.T. Councill","year":"2001","unstructured":"Councill W.T., Heinemann G.T.: Definition of a software component and its elements. In: Heinemann, G.T., Councill, W.T. (eds) Component-Based Software Engineering\u2014Putting the Pieces Together, pp. 5\u201320. Addison-Wesley, Reading (2001)"},{"key":"115_CR24","doi-asserted-by":"crossref","unstructured":"Crnkovic, I., Larsson, M., Preiss, O.: Concerning predictability in dependable component-based systems: Classification of quality attributes. In: de Lemos, R., et\u00a0al. (eds.), Architecting Dependable Systems III, LNCS, vol. 3549, pp. 257\u2013278. Springer, Berlin (2005)","DOI":"10.1007\/11556169_12"},{"key":"115_CR25","volume-title":"Aspect-Oriented Software Development","author":"R.E. Filman","year":"2004","unstructured":"Filman R.E., Elrad T., Clarke S., Ak\u015fit M.: Aspect-Oriented Software Development. Addison-Wesley, Reading (2004)"},{"issue":"2","key":"115_CR26","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/S0304-3975(98)00277-1","volume":"217","author":"P. Fishburn","year":"1999","unstructured":"Fishburn P.: Preference structures and their numerical representations. Theor. Comput. Sci. 217(2), 359\u2013383 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"115_CR27","unstructured":"Ford, G.: Measurement theory for software engineers. In: Lecture Notes on Engineering Measurement for Software Engineers. Carnegie Mellon University. CMU\/SEI report CMU\/SEI-93-EM-9 (1993)"},{"key":"115_CR28","doi-asserted-by":"crossref","unstructured":"Franch, X.: Systematic formulation of non-functional characteristics of software. In: Proceedings of Third International Conference on Requirements Engineering, IEEE Computer Society, pp. 174\u2013181 (1998)","DOI":"10.1109\/ICRE.1998.667823"},{"key":"115_CR29","unstructured":"Fr\u00f8lund, S., Koistinen, J.: Qml: A language for quality of service specification. Technical report, Hewlett-Packard Software Technology Laboratory. Technical Report No. HPL-98-10 (1998)"},{"key":"115_CR30","volume-title":"Distributed Operating Systems: The logical design","author":"A. Go\u015bci\u0144ski","year":"1991","unstructured":"Go\u015bci\u0144ski A.: Distributed Operating Systems: The logical design. Addison-Wesley, Reading (1991)"},{"key":"115_CR31","volume-title":"Componentware","author":"F. Griffel","year":"1998","unstructured":"Griffel F.: Componentware. dpunkt.verlag, Heidelberg (1998)"},{"key":"115_CR32","doi-asserted-by":"crossref","unstructured":"Hamann, C.-J.: On the quantitative specification of jitter constrained periodic streams. In: Proceedings of Fifth International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS\u201997). IEEE Computer Society (1997)","DOI":"10.1109\/MASCOT.1997.567607"},{"key":"115_CR33","doi-asserted-by":"crossref","unstructured":"Hamann, C.-J., Zschaler, S.: Scheduling real-time components using jitter-constrained streams. In: Proceedings of Workshop on Advances in Quality of Service Management (AQuSerM\u201906) (2006)","DOI":"10.1109\/EDOCW.2006.60"},{"key":"115_CR34","doi-asserted-by":"crossref","unstructured":"H\u00e4rtig, H., Zschaler, S., Pohlack, M., Aigner, R., G\u00f6bel, S., Pohl, C., R\u00f6ttger, S.: Enforceable component-based realtime contracts\u2014supporting realtime properties from software development to execution. Springer Real Time Syst. J. 35(1), January (2007)","DOI":"10.1007\/s11241-006-9002-1"},{"key":"115_CR35","doi-asserted-by":"crossref","unstructured":"Hissam, S.A., Moreno, G.A., Stafford, J.A., Wallnau, K.C.: Packaging predictable assembly. In: Bishop, J. (ed.) Proceedings of IFIP\/ACM Working Conference on Component Deployment (CD 2002), LNCS, vol. 2370, pp. 108\u2013126. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45440-3_8"},{"key":"115_CR36","doi-asserted-by":"crossref","unstructured":"Hofmeister, C., Nord, R.L., Soni, D.: Describing software architecture with UML. In: Donohoe, P. (ed.) Software Architecture. Proceedings of First Working IFIP Conference on Software Architecture (WICSA1), pp. 145\u2013159 (1999)","DOI":"10.1007\/978-0-387-35563-4_9"},{"key":"115_CR37","unstructured":"Hu, T., Marcus, L.: Semantic foundations of an adaptive security infrastructure: Delegation. Unpublished (2005)"},{"key":"115_CR38","unstructured":"Information technology\u2013quality of service: Framework. ISO\/IEC 13236:1998, ITU-T X.641 (1998)"},{"key":"115_CR39","volume-title":"Software Reuse\u2013Architecture, Process and Organization for Business Success","author":"I. Jacobson","year":"1997","unstructured":"Jacobson I., Griss M., Jonsson P.: Software Reuse\u2013Architecture, Process and Organization for Business Success. ACM Press, London (1997)"},{"key":"115_CR40","unstructured":"Jones, C.B.: Specification and design of (parallel) programs. In: Manson, R.E.A. (ed.) Proceedings of IFIP \u201983, IFIP, pp. 321\u2013332. North-Holland, Amsterdam (1983)"},{"key":"115_CR41","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 (ECOOP\u201997), LNCS, vol. 1241, pp. 220\u2013242. Springer, Berlin (1997)","DOI":"10.1007\/BFb0053381"},{"key":"115_CR42","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe A., Warmer J., Bast W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)"},{"key":"115_CR43","unstructured":"Kr\u00fcger, I.H.: Service specification with MSCs and roles. In: Proceedings of IASTED International Conference on Software Engineering (IASTED SE\u201904), IASTED, ACTA Press, Innsbruck (2004)"},{"key":"115_CR44","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2002)"},{"key":"115_CR45","unstructured":"Lee, C.: On Quality of Service Management. PhD thesis, Carnegie Mellon University, August (1999)"},{"key":"115_CR46","unstructured":"Leue, S.: QoS specification based on SDL\/MSC and temporal logic. In: Bochmann, G.v., de Meer, J., Vogel, A. (eds.) Workshop on Multimedia Applications and Quality of Service Verification, Montreal (1994)"},{"key":"115_CR47","volume-title":"Real-Time Systems","author":"J.W.S. Liu","year":"2000","unstructured":"Liu J.W.S.: Real-Time Systems. Prentice-Hall, New Jersey (2000)"},{"key":"115_CR48","unstructured":"Liu, J.W.S., Nahrstedt, K., Hull, D., Chen, S., Li, B.: EPIQ QoS characterization. ARPA Report, Quorum Meeting, July (1997)"},{"key":"115_CR49","unstructured":"Lund, M.S., den Braber, F., St\u00f8len, K.: A component-oriented approach to security risk analysis. In: Bruel [13], pp. 99\u2013110"},{"key":"115_CR50","unstructured":"Malan, R., Bredemeyer, D.: Defining non-functional requirements. Bredemeyer Consulting, White Paper. http:\/\/www.bredemeyer.com\/papers.htm , 2001"},{"issue":"1","key":"115_CR51","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic N., Taylor R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26(1), 70\u201393 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"115_CR52","doi-asserted-by":"crossref","unstructured":"Naumovich, G., Clarke, L.A.: Classifying properties: An alternative to the safety\u2013liveness classification. In: Proceedings of the eighth ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 159\u2013168. ACM Press, New York (2000)","DOI":"10.1145\/355045.355066"},{"key":"115_CR53","unstructured":"Nothnagel, J.: Ressourcenverwaltung in drops. Diplomarbeit, Technische Universit\u00e4t Dresden, July 2002. In German"},{"key":"115_CR54","unstructured":"Object Management Group. Real-time CORBA joint revised submission. OMG Document, March 1999. URL http:\/\/cgi.omg.org\/cgi-bin\/doc?orbos\/99-02-12 or http:\/\/cgi.omg.org\/cgi-bin\/doc?orbos\/99-03-29"},{"key":"115_CR55","unstructured":"Object Management Group. UML profile for schedulability, performance, and time specification. OMG Document, March (2002). URL http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/02-03-02"},{"key":"115_CR56","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":"115_CR57","unstructured":"Object Management Group. MDA guide version 1.0.1. OMG Document, June (2003). URL http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"key":"115_CR58","unstructured":"Object Management Group. Request for proposals: MDA tool component. OMG Document, July (2006) URL http:\/\/www.omg.org\/cgi-bin\/doc?ad\/2006-06-09"},{"key":"115_CR59","unstructured":"Rajkumar, R., Lee, C., Lehoczky, J., Siewiorek, D.: Practical solutions for QoS-based resource allocation problems. In: Proceedings of IEEE Real-Time Systems Symposium, December (1998)"},{"key":"115_CR60","unstructured":"Reussner, R.H.: Parametrisierte Vertr\u00e4ge zur Protokolladaption bei Software-Komponenten. Logos Verlag, Berlin (2001) (In German)"},{"key":"115_CR61","doi-asserted-by":"crossref","unstructured":"Reussner, R.H., Poernomo, I.H., Schmidt, H.W.: Reasoning about software architectures with contractually specified components. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality: Methods and Techniques, LNCS, vol. 2693, pp. 287\u2013325. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-45064-1_14"},{"key":"115_CR62","unstructured":"R\u00f6ttger, S., Aigner, R.: Modeling of non-functional contracts in component-based systems using a layered architecture. In: Component Based Software Engineering and Modeling Non-functional Aspects (SIVOES-MONA), Workshop at UML, October 2002"},{"key":"115_CR63","unstructured":"R\u00f6ttger, S., Zschaler, S.: CQML+: Enhancements to CQML. In: Bruel [13], pp. 43\u201356"},{"key":"115_CR64","doi-asserted-by":"crossref","unstructured":"R\u00f6ttger, S., Zschaler, S.: Tool support for refinement of non-functional specifications. Softw. Syst. Model. J. (SoSyM), 6(2), June (2007)","DOI":"10.1007\/s10270-006-0024-x"},{"key":"115_CR65","doi-asserted-by":"crossref","unstructured":"Sabata, B., Chatterjee, S., Davis, M., Sydir, J.J., Lawrence, T.F.: Taxonomy for QoS specifications. In: Proceedings of Third International Workshop on Object-oriented Real-Time Dependable Systems (WORDS\u201997). Newport Beach, California (1997)","DOI":"10.1109\/WORDS.1997.609931"},{"key":"115_CR66","unstructured":"Salzmann, C., Sch\u00e4tz, B.: Service-based software specification. In: Proceedings of International Workshop on Test and Analysis of Component-Based Systems (TACOS) ETAPS 2003, Electronic Notes in Theoretical Computer Science. Elsevier, Warsaw (2003)"},{"key":"115_CR67","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C., Kuhns, F.: An overview of the real-time CORBA specification. IEEE Comput. 56\u201363 (2000)","DOI":"10.1109\/2.846319"},{"key":"115_CR68","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C., Levine, D.L., Mungee, S.: The design of the TAO real-time object request broker. Comput. Commun. 21(4), April (1998)","DOI":"10.1016\/S0140-3664(97)00165-5"},{"issue":"6","key":"115_CR69","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 Comput. 33(6), 64\u201369 (2000)","journal-title":"IEEE Comput."},{"key":"115_CR70","doi-asserted-by":"crossref","unstructured":"Skene, J., Lamanna, D.D., Emmerich, W.: Precise service level agreements. In: Proceedings of 26th International Conference on Software Engineering (ICSE\u201904), pp. 179\u2013188. IEEE Computer Society, Edinburgh (2004)","DOI":"10.1109\/ICSE.2004.1317440"},{"key":"115_CR71","unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Object-Technology Series. Addison-Wesley, Reading (2002)"},{"key":"115_CR72","volume-title":"Software Engineering","author":"I. Sommerville","year":"1996","unstructured":"Sommerville I.: Software Engineering. Addison-Wesley, Reading (1996)"},{"key":"115_CR73","unstructured":"Staehli, R., Eliassen, F., Aagedal, J.\u00d8., Blair, G.: Quality of service semantics for component-based systems. In: Middleware 2003 Companion, Second International Workshop on Reflective and Adaptive Middleware Systems (2003)"},{"key":"115_CR74","doi-asserted-by":"crossref","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Texts in Computer Science. Springer, Berlin (2001)","DOI":"10.1007\/978-1-4757-3550-5"},{"key":"115_CR75","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Component Software Series. Addison-Wesley, Reading (2002)"},{"key":"115_CR76","volume-title":"Modern Operating Systems","author":"A.S. Tanenbaum","year":"2002","unstructured":"Tanenbaum A.S.: Modern Operating Systems, 2nd edn. Prentice-Hall, Englewood Cliffs (2002)","edition":"2"},{"key":"115_CR77","unstructured":"V\u00f6lter, M.: A generative component infrastructure for embedded systems. In: Voelter, M., Kircher, M., Schwanninger, C., Zdun, U., Schmid, A. (eds.) Proceedings of Workshop on Reuse in Constrained Environments at OOPSLA\u201903, October (2003)"},{"key":"115_CR78","unstructured":"V\u00f6lter, M.: Model-driven development of component infrastructures for embedded systems. In: Klein, T., Rumpe, B., Sch\u00e4tz, B. (eds.) Proceedings of Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2005), Dagstuhl, Germany, 2005. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2005\/31"},{"key":"115_CR79","unstructured":"Werner, M., Richling, J.: Komponierbarkeit nichtfunktionaler Eigenschaften\u2013Versuch einer Definition. In: Fachtagung, G.I. Betriebssysteme 2002 Gesellschaft f\u00fcr Informatik, Berlin (2002) (In German)"},{"key":"115_CR80","doi-asserted-by":"crossref","unstructured":"Zhang, C., Jacobsen, H.-A.: Resolving feature convolution in middleware systems. In: Vlissides, J.M., Schmidt, D.C. (eds.) Proceedings of 19th Annual ACM SIGPLAN Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004), pp. 188\u2013205. ACM, Vancouver","DOI":"10.1145\/1028976.1028992"},{"key":"115_CR81","unstructured":"Zschaler, S.: A Semantic Framework for Non-functional Specifications of Component-Based Systems. PhD thesis, Technische Universit\u00e4t Dresden, Germany, April (2007)"},{"key":"115_CR82","unstructured":"Zschaler, S.: Example specifications of non-functional properties of a simple counter application. Technical Report COMP-006-2008, Computing Department, Lancaster University (2008)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0115-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0115-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0115-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:26Z","timestamp":1559130926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0115-6"}},"subtitle":["A semantic framework and some applications thereof"],"short-title":[],"issued":{"date-parts":[[2009,2,15]]},"references-count":82,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["115"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0115-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2,15]]}}}