{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:20:47Z","timestamp":1747887647347,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319165769"},{"type":"electronic","value":"9783319165776"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16577-6_8","type":"book-chapter","created":{"date-parts":[[2015,3,29]],"date-time":"2015-03-29T02:05:04Z","timestamp":1427594704000},"page":"173-202","source":"Crossref","is-referenced-by-count":3,"title":["A Model-Based Approach for User Requirements Decomposition and Component Selection"],"prefix":"10.1007","author":[{"given":"Mahin","family":"Abbasipour","sequence":"first","affiliation":[]},{"given":"Margarete","family":"Sackmann","sequence":"additional","affiliation":[]},{"given":"Ferhat","family":"Khendek","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Toeroe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Service Availability Forum, http:\/\/www.saforum.org"},{"key":"8_CR2","unstructured":"Service Availability Forum: Application Interface Specification, Availability Management Framework. SAI-AIS-AMF-B.04.01"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-21652-7_8","volume-title":"System Analysis and Modeling: About Models","author":"P. Salehi","year":"2011","unstructured":"Salehi, P., Colombo, P., Hamou-Lhadj, A., Khendek, F.: A model driven approach for AMF configuration generation. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol.\u00a06598, pp. 124\u2013143. Springer, Heidelberg (2011)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Colombo, P.: Bridging the gap between high level user requirements and availability management framework configurations. In: 17th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 13\u201322 (2012)","DOI":"10.1109\/ICECCS20050.2012.6299200"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Abbasipour, M.: Ontology-based User Requirements Decomposition for Component Selection for Highly Available Systems. In: 15th IEEE International Conference on Information Reuse and Integration, IRI2014 (2014)","DOI":"10.1109\/IRI.2014.7051870"},{"key":"8_CR6","unstructured":"Service Availability Forum. Application Interface Specification, Software Management Framework, SAI-AIS-SMF-A.01.02"},{"key":"8_CR7","unstructured":"Gruber, T.: Encyclopedia of database systems. Springer (2009)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Jouault, F.: Transforming models with ATL. In: Proceedings of the Model Transformations in Practice Workshop at MoDELS, vol.\u00a0225, pp. 128\u2013138 (2006)","DOI":"10.1007\/11663430_14"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Becha, H.: Non-Functional Properties in Service Oriented Architecture\u2013A Consumer\u2019s Perspective, pp. 575\u2013587 (2012)","DOI":"10.4304\/jsw.7.3.575-587"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Mazmanov, D.: Handling Performance Sensitive Native Cloud Applications with Distributed Cloud Computing and SLA Management. In: 6th International Conference on Utility and Cloud Computing (UCC), pp. 470\u2013475 (2013)","DOI":"10.1109\/UCC.2013.92"},{"key":"8_CR11","unstructured":"OMG Unified Modeling Language (OMG UML) Infrastructure, version 2.4.1"},{"key":"8_CR12","unstructured":"OMG Object Constraint Language (OCL), version 2.3.1 (January 2012), http:\/\/www.omg.org\/spec\/OCL\/2.3.1"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Toeroe, M.: Service Availability: Principles and Practice. John Wiley & Sons (2012)","DOI":"10.1002\/9781119941378"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.entcs.2006.01.015","volume":"152","author":"J.. Bezivin","year":"2006","unstructured":"Bezivin, J.: Using ATL for checking models. Electronic Notes in Theoretical Computer Science\u00a0152, 69\u201381 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-28630-1_17","volume-title":"Software Product Lines","author":"K. Czarnecki","year":"2004","unstructured":"Czarnecki, K., Helsen, S.: Staged configuration using feature models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol.\u00a03154, pp. 266\u2013283. Springer, Heidelberg (2004)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Chung, L., Requirements, W.: Elicitation through model-driven evaluation of software components. In: 5th International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, pp. 187\u2013196 (2006)","DOI":"10.1109\/ICCBSS.2006.24"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Oster, Z.J.: Decomposing the Service Composition Problem. In: 8th IEEE European Conference on Web Services, pp. 163\u2013170 (2010)","DOI":"10.1109\/ECOWS.2010.15"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Oster, Z.J.: Identifying Optimal Composite Services by De-composing the Service Composition Problem. In: IEEE European Conference on Web Services, pp. 267\u2013274 (2011)","DOI":"10.1109\/ICWS.2011.110"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Lin, J.: A requirement ontology for engineering design. In: Third ISPE International Conference on Concurrent Engineering, pp. 279\u2013271 (1996)","DOI":"10.1177\/1063293X9600400307"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Bartsch, C.: Decomposition of IT service processes and alternative service identification using ontologies. In: Network Operations and Management Symposium (NOMS 2008), pp. 714\u2013717 (2008)","DOI":"10.1109\/NOMS.2008.4575196"},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MS.2003.1159027","volume":"20","author":"X.. Franch","year":"2003","unstructured":"Franch, X.: Using quality models in software package selection. IEEE Software\u00a020, 34\u201341 (2003)","journal-title":"IEEE Software"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Ameller, D.: Dealing with non-functional requirements in model-driven development. In: 18th IEEE Requirements Engineering Conference (RE), pp. 189\u2013198 (2010)","DOI":"10.1109\/RE.2010.32"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Wada, H.: Modeling non-functional aspects in service oriented architecture. In: IEEE International Conference on Services Computing SCC 2006, pp. 222\u2013229 (2006)","DOI":"10.1109\/SCC.2006.74"},{"key":"8_CR24","unstructured":"Heckel, R.: Towards a UML profile for service-oriented architec-tures. In: Model Driven Architecture: Foundations and Applications (2003)"},{"key":"8_CR25","unstructured":"Cysneiros, L.: Using UML to reflect non-functional requirements. In: Proceedings of the Conference of the Centre for Advanced Studies on Collaborative Research (2001)"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-38911-5_12","volume-title":"SDL 2013: Model-Driven Dependability Engineering","author":"M. Alhaj","year":"2013","unstructured":"Alhaj, M., Petriu, D.C.: Traceability links in model transformations between software and performance models. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds.) SDL 2013. LNCS, vol.\u00a07916, pp. 203\u2013221. Springer, Heidelberg (2013)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Galvao, I.: Survey of traceability approaches in model-driven engineering (2007)","DOI":"10.1109\/EDOC.2007.42"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Gotel, O.: An analysis of the requirements traceability problem, pp. 94\u2013101 (1994)","DOI":"10.1109\/ICRE.1994.292398"},{"issue":"8","key":"8_CR29","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1016\/j.is.2012.05.003","volume":"37","author":"A. Mat\u00e9","year":"2012","unstructured":"Mat\u00e9, A.: A trace metamodel proposal based on the model driven architecture framework for the traceability of user requirements in data warehouses. Information Systems\u00a037(8), 753\u2013766 (2012)","journal-title":"Information Systems"},{"key":"8_CR30","unstructured":"Del Fabro, M.: Applying Generic Model Management to Data Mapping. In: BDA (2005)"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Alhaj, M.: Approach for generating performance models from UML models of SOA systems. In: Proceedings of CASCON 2010, Toronto (2010)","DOI":"10.1145\/1923947.1923975"}],"container-title":["Advances in Intelligent Systems and Computing","Formalisms for Reuse and Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16577-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T18:18:49Z","timestamp":1747851529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16577-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319165769","9783319165776"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16577-6_8","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}