{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T03:24:56Z","timestamp":1774495496211,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662492239","type":"print"},{"value":"9783662492246","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-49224-6_19","type":"book-chapter","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T08:35:44Z","timestamp":1452501344000},"page":"228-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Fuzzy Description Logics for Component Selection in Software Design"],"prefix":"10.1007","author":[{"given":"Tommaso","family":"Di Noia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Mongiello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,12]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Ameller, D., Franch, X., Cabot, J.: Dealing with non-functional requirements in model-driven development. In: 2010 18th IEEE International Requirements Engineering Conference (RE), pp. 189\u2013198. IEEE (2010)","DOI":"10.1109\/RE.2010.32"},{"key":"19_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., Caporuscio, M., Ghezzi, C., Guinea, S.: Model-driven management of services. In: 2010 IEEE 8th European Conference on Web Services (ECOWS), pp. 147\u2013154. IEEE (2010)","DOI":"10.1109\/ECOWS.2010.10"},{"key":"19_CR4","unstructured":"Botella, P., Burgues, X., Franch, X., Huerta, M., Salazar, G.: Modeling non-functional requirements. In: Proceedings of Jornadas de Ingenieria de Requisitos Aplicada JIRA (2001)"},{"key":"19_CR5","unstructured":"Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture: A Pattern Language for Distributed Computing, vol. 4 (2007)"},{"key":"19_CR6","volume-title":"Pattern-Oriented Software Architecture: A System of Patterns","author":"F Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons Inc, New York, NY, USA (1996)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Caporuscio, M., Mirandola, R., Trubiani, C.: Qos-based feedback for service compositions. In: Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, pp. 37\u201342. ACM (2015)","DOI":"10.1145\/2737182.2737192"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-642-02463-4_19","volume-title":"Conceptual Modeling: Foundations and Applications","author":"L Chung","year":"2009","unstructured":"Chung, L., do Prado Leite, J.C.S.: On non-functional requirements in software engineering. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 363\u2013379. Springer, Heidelberg (2009)"},{"issue":"6","key":"19_CR9","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2004.40","volume":"21","author":"A Egyed","year":"2004","unstructured":"Egyed, A., Grunbacher, P.: Identifying requirements conflicts and cooperation: how quality attributes and automated traceability can help. IEEE Softw. 21(6), 50\u201358 (2004)","journal-title":"IEEE Softw."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Franch, X.: Systematic formulation of non-functional characteristics of software. In: 1998 Third International Conference on Requirements Engineering, pp. 174\u2013181. IEEE (1998)","DOI":"10.1109\/ICRE.1998.667823"},{"key":"19_CR11","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education, Massachusetts (1994)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Glinz, M.: On non-functional requirements. In: 15th IEEE International Requirements Engineering Conference, RE 2007, pp. 21\u201326. IEEE (2007)","DOI":"10.1109\/RE.2007.45"},{"issue":"10","key":"19_CR13","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.1016\/j.jss.2010.04.067","volume":"83","author":"NB Harrison","year":"2010","unstructured":"Harrison, N.B., Avgeriou, P.: How do architecture patterns and tactics interact? a model and annotation. J. Syst. Softw. 83(10), 1735\u20131758 (2010)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"19_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s13174-011-0021-3","volume":"2","author":"V Issarny","year":"2011","unstructured":"Issarny, V., Georgantas, N., Hachem, S., Zarras, A., Vassiliadist, P., Autili, M., Gerosa, M.A., Hamida, A.B.: Service-oriented middleware for the future internet: state of the art and research directions. J. Internet Serv. Appl. 2(1), 23\u201345 (2011)","journal-title":"J. Internet Serv. Appl."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Jansen, A., Bosch, J.: Software architecture as a set of architectural design decisions. In: 5th Working IEEE\/IFIP Conference on Software Architecture, WICSA 2005, pp. 109\u2013120. IEEE (2005)","DOI":"10.1109\/WICSA.2005.61"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Johnson, K., Calinescu, R.: Efficient re-resolution of smt specifications for evolving software architectures. In: Proceedings of the 10th International ACM Sigsoft Conference on Quality of Software Architectures, pp. 93\u2013102. ACM (2014)","DOI":"10.1145\/2602576.2602578"},{"key":"19_CR17","unstructured":"Li, F.-L., Horkoff, J., Mylopoulos, J., Liu, L., Borgida, A.: Non-functional requirements revisited. In: iStar, pp. 109\u2013114. Citeseer (2013)"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-319-05843-6_18","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"N Maiden","year":"2014","unstructured":"Maiden, N., Lockerbie, J., Zachos, K., Bertolino, A., De Angelis, G., Lonetti, F.: A requirements-led approach for specifying qos-aware service choreographies: an experience report. In: Weerd, I., Salinesi, C. (eds.) REFSQ 2014. LNCS, vol. 8396, pp. 239\u2013253. Springer, Heidelberg (2014)"},{"key":"19_CR19","unstructured":"Mairiza, D., Zowghi, D., Nurmuliani, N.: Managing conflicts among non-functional requirements (2009)"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Mikkonen, T.: Formalizing design patterns. In: Proceedings of the 20th International Conference on Software Engineering, pp. 115\u2013124. IEEE Computer Society (1998)","DOI":"10.1109\/ICSE.1998.671108"},{"issue":"6","key":"19_CR21","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/32.142871","volume":"18","author":"J Mylopoulos","year":"1992","unstructured":"Mylopoulos, J., Chung, L., Nixon, B.: Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans. Softw. Eng. 18(6), 483\u2013497 (1992)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"19_CR22","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14, 137\u2013166 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Straccia, U.: A fuzzy description logic for the semantic web. In: Sanchez, E., (ed.) Capturing Intelligence: Fuzzy Logic and the Semantic Web, Chapter 4, pp. 73\u201390. Elsevier (2006)","DOI":"10.1016\/S1574-9576(06)80006-7"},{"key":"19_CR24","series-title":"CRC Studies in Informatics Series","volume-title":"Foundations of Fuzzy Logic and Semantic Web Languages","author":"U Straccia","year":"2013","unstructured":"Straccia, U.: Foundations of Fuzzy Logic and Semantic Web Languages. CRC Studies in Informatics Series. Chapman & Hall, Boca Raton (2013)"},{"issue":"4","key":"19_CR25","doi-asserted-by":"publisher","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T Taibi","year":"2003","unstructured":"Taibi, T., Ngo, D.C.L.: Formal specification of design patterns - a balanced approach. J. Object Tech. 2(4), 127\u2013140 (2003)","journal-title":"J. Object Tech."},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Tichy, W.F.: A catalogue of general-purpose software design patterns. In: Proceedings on Technology of Object-Oriented Languages and Systems, TOOLS 23, pp. 330\u2013339. IEEE (1997)","DOI":"10.1109\/TOOLS.1997.654742"},{"issue":"8","key":"19_CR27","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1016\/j.infsof.2014.03.009","volume":"56","author":"D Tofan","year":"2014","unstructured":"Tofan, D., Galster, M., Avgeriou, P., Schuitema, W.: Past and future of software architectural decisions-a systematic mapping study. Inf. Softw. Tech. 56(8), 850\u2013872 (2014)","journal-title":"Inf. Softw. Tech."},{"key":"19_CR28","unstructured":"Xu, L., Ziv, H., Richardson, D., Liu, Z.: Towards modeling non-functional requirements in software architecture. In: Early Aspects (2005)"},{"issue":"3","key":"19_CR29","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965)","journal-title":"Inf. Control"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49224-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T03:00:05Z","timestamp":1748746805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49224-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662492239","9783662492246"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49224-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}