{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:30:21Z","timestamp":1759638621651},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_22","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"352-369","source":"Crossref","is-referenced-by-count":15,"title":["Composing Your Compositions of Variability Models"],"prefix":"10.1007","author":[{"given":"Mathieu","family":"Acher","sequence":"first","affiliation":[]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Collet","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Lahire","sequence":"additional","affiliation":[]},{"given":"Robert B.","family":"France","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"22_CR1","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1002\/spe.652","volume":"35","author":"M. Svahnberg","year":"2005","unstructured":"Svahnberg, M., van Gurp, J., Bosch, J.: A taxonomy of variability realization techniques: Research articles. Softw. Pract. Exper.\u00a035(8), 705\u2013754 (2005)","journal-title":"Softw. Pract. Exper."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer (2005)","DOI":"10.1007\/3-540-28901-1"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Morin, B., Barais, O., Nain, G., J\u00e9z\u00e9quel, J.M.: Taming dynamically adaptive systems using models and aspects. In: ICSE 2009, pp. 122\u2013132. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070514"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/MS.2010.32","volume":"27","author":"J. Bosch","year":"2010","unstructured":"Bosch, J.: Toward compositional software product lines. IEEE Software\u00a027, 29\u201334 (2010)","journal-title":"IEEE Software"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Buhne, S., Lauenroth, K., Pohl, K.: Modelling requirements variability across product lines. In: RE 2005: Proceedings of the 13th International Conference on Requirements Engineering, pp. 41\u201352. IEEE (2005)","DOI":"10.1109\/RE.2005.45"},{"issue":"2","key":"22_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s00766-007-0046-0","volume":"12","author":"M.O. Reiser","year":"2007","unstructured":"Reiser, M.O., Weber, M.: Multi-level feature trees: A pragmatic approach to managing highly complex product families. Requir. Eng.\u00a012(2), 57\u201375 (2007)","journal-title":"Requir. Eng."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Hartmann, H., Trew, T.: Using feature diagrams with context variability to model multiple product lines for software supply chains. In: SPLC 2008, pp. 12\u201321. IEEE (2008)","DOI":"10.1109\/SPLC.2008.15"},{"key":"22_CR8","unstructured":"Hartmann, H., Trew, T., Matsinger, A.: Supplier independent feature modelling. In: SPLC 2009, pp. 191\u2013200. IEEE (2009)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-21210-9_11","volume-title":"Models in Software Engineering","author":"M. Bo\u0161kovi\u0107","year":"2011","unstructured":"Bo\u0161kovi\u0107, M., Mussbacher, G., Bagheri, E., Amyot, D., Ga\u0161evi\u0107, D., Hatala, M.: Aspect-oriented feature models. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 110\u2013124. Springer, Heidelberg (2011)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Hubaux, A., Heymans, P., Schobbens, P.Y., Deridder, D., Abbasi, E.K.: Supporting multiple perspectives in feature-based configuration. In: Software and Systems Modeling, pp. 1\u201323 (2011)","DOI":"10.1007\/s10270-011-0220-1"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Th\u00fcm, T., Saake, G.: Multi-dimensional variability modeling. In: VaMoS 2011, pp. 11\u201320. ACM (2011)","DOI":"10.1145\/1944892.1944894"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Acher, M., Cleve, A., Perrouin, G., Heymans, P., Vanbeneden, C., Collet, P., Lahire, P.: On extracting feature models from product descriptions. In: VaMoS 2012, pp. 45\u201354. ACM (2012)","DOI":"10.1145\/2110147.2110153"},{"key":"22_CR13","unstructured":"Clarke, D., Proen\u00e7a, J.: Towards a Theory of Views for Feature Models. In: Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010), pp. 91\u2013100 (2010)"},{"issue":"8","key":"22_CR14","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.infsof.2012.02.002","volume":"54","author":"G. Holl","year":"2012","unstructured":"Holl, G., Gr\u00fcnbacher, P., Rabiser, R.: A systematic review and an expert survey on capabilities supporting multi product lines. Information and Software Technology\u00a054(8), 828\u2013852 (2012)","journal-title":"Information and Software Technology"},{"issue":"6","key":"22_CR15","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1016\/j.scico.2012.12.004","volume":"78","author":"M. Acher","year":"2013","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Familiar: A domain-specific language for large scale management of feature models. Science of Computer Programming (SCP) Special Issue on Programming Languages\u00a078(6), 657\u2013681 (2013)","journal-title":"Science of Computer Programming (SCP) Special Issue on Programming Languages"},{"issue":"2","key":"22_CR16","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P.Y. Schobbens","year":"2007","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C., Bontemps, Y.: Generic semantics of feature diagrams. Comput. Netw.\u00a051(2), 456\u2013479 (2007)","journal-title":"Comput. Netw."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: Reverse engineering feature models. In: ICSE 2011, pp. 461\u2013470. ACM (2011)","DOI":"10.1145\/1985793.1985856"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-37057-1_5","volume-title":"Fundamental Approaches to Software Engineering","author":"E.N. Haslinger","year":"2013","unstructured":"Haslinger, E.N., Lopez-Herrejon, R.E., Egyed, A.: On extracting feature models from sets of valid feature combinations. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol.\u00a07793, pp. 53\u201367. Springer, Heidelberg (2013)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Acher, M., Heymans, P., Cleve, A., Hainaut, J.L., Baudry, B.: Support for reverse engineering and maintaining feature models. In: VaMoS 2013. ACM (2013)","DOI":"10.1145\/2430502.2430530"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Hubaux, A., Acher, M., Tun, T.T., Heymans, P., Collet, P., Lahire, P.: Separating Concerns in Feature Models: Retrospective and Multi-View Support. In: Domain Engineering: Product Lines, Conceptual Models, and Languages. Springer (2013)","DOI":"10.1007\/978-3-642-36654-3_1"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-642-33666-9_17","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Schroeter","year":"2012","unstructured":"Schroeter, J., Lochau, M., Winkelmann, T.: Multi-perspectives on feature models. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 252\u2013268. Springer, Heidelberg (2012)"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Mannion, M., Savolainen, J., Asikainen, T.: Viewpoint-oriented variability modeling. In: Proceedings of the 33rd International Computer Software and Applications Conference (COMPSAC 2009), pp. 67\u201372. IEEE (2009)","DOI":"10.1109\/COMPSAC.2009.19"},{"issue":"5","key":"22_CR23","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.scico.2009.12.004","volume":"75","author":"M. Mendonca","year":"2010","unstructured":"Mendonca, M., Cowan, D.: Decision-making coordination and efficient reasoning techniques for feature-based configuration. Science of Computer Programming\u00a075(5), 311\u2013332 (2010)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"22_CR24","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/spip.225","volume":"10","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration through specialization and multilevel configuration of feature models. Software Process: Improvement and Practice\u00a010(2), 143\u2013169 (2005)","journal-title":"Software Process: Improvement and Practice"},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-13595-8_3","volume-title":"Modelling Foundations and Applications","author":"M. Acher","year":"2010","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.: Comparing approaches to implement feature model composition. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 3\u201319. Springer, Heidelberg (2010)"},{"key":"22_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-16373-9_17","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"L. Abo Zaid","year":"2010","unstructured":"Abo Zaid, L., Kleinermann, F., De Troyer, O.: Feature assembly: A new feature modeling technique. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol.\u00a06412, pp. 233\u2013246. Springer, Heidelberg (2010)"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Gr\u00fcnbacher, P., Rabiser, R., Schmid, K., W\u0105sowski, A.: Cool features and tough decisions: a comparison of variability modeling approaches. In: Proceedings of VaMoS 2012, pp. 173\u2013182. ACM (2012)","DOI":"10.1145\/2110147.2110167"},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Berger, T., Rublack, R., Nair, D., Atlee, J.M., Becker, M., Czarnecki, K., W\u0105sowski, A.: A survey of variability modeling in industrial practice. In: Proceedings of VaMoS 2013. ACM (2013)","DOI":"10.1145\/2430502.2430513"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: There and back again. In: SPLC 2007, pp. 23\u201334. IEEE (2007)","DOI":"10.1109\/SPLINE.2007.24"},{"issue":"4","key":"22_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1978802.1978807","volume":"43","author":"M. Wimmer","year":"2011","unstructured":"Wimmer, M., Schauerhuber, A., Kappel, G., Retschitzegger, W., Schwinger, W., Kapsammer, E.: A survey on uml-based aspect-oriented design modeling. ACM Comput. Surv.\u00a043(4), 28:1\u201328:33 (2011)","journal-title":"ACM Comput. Surv."},{"key":"22_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1404920.1404921","volume-title":"AOM 2008: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling","author":"C. Jeanneret","year":"2008","unstructured":"Jeanneret, C., France, R., Baudry, B.: A reference process for model composition. In: AOM 2008: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, pp. 1\u20136. ACM, New York (2008)"},{"key":"22_CR32","unstructured":"Andersen, N., Czarnecki, K., She, S., Wasowski, A.: Efficient synthesis of feature models. In: Proceedings of SPLC 2012, pp. 97\u2013106. ACM Press (2012)"},{"issue":"4","key":"22_CR33","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1002\/net.3230090403","volume":"9","author":"P.M. Camerini","year":"1979","unstructured":"Camerini, P.M., Fratta, L., Maffioli, F.: A note on finding optimum branchings. Networks\u00a09(4), 309\u2013312 (1979)","journal-title":"Networks"},{"key":"22_CR34","unstructured":"Companion web page, \n                    \n                      https:\/\/github.com\/FAMILIAR-project\/familiar-documentation\/blob\/master\/manual\/composition.md"},{"key":"22_CR35","doi-asserted-by":"crossref","unstructured":"Benavides, D., Segura, S., Ruiz-Cortes, A.: Automated analysis of feature models 20 years later: a literature review. Information Systems\u00a035(6) (2010)","DOI":"10.1016\/j.is.2010.01.001"},{"key":"22_CR36","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T., Batory, D., K\u00e4stner, C.: Reasoning about edits to feature models. In: ICSE 2009, pp. 254\u2013264. ACM (2009)","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"22_CR37","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res (JAIR)\u00a017, 229\u2013264 (2002)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"22_CR38","doi-asserted-by":"crossref","unstructured":"Classen, A., Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A., Raskin, J.F.: Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Software Eng, TSE (2012)","DOI":"10.1109\/TSE.2012.86"},{"key":"22_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-28872-2_12","volume-title":"Fundamental Approaches to Software Engineering","author":"Z. Diskin","year":"2012","unstructured":"Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 163\u2013177. Springer, Heidelberg (2012)"},{"key":"22_CR40","doi-asserted-by":"crossref","unstructured":"Filho, J.B.F., Barais, O., Acher, M., Le Noir, J., Baudry, B.: Generating counterexamples of model-based software product lines: An exploratory study. In: 17th International Conference on Software Product Lines (SPLC 2013) (2013)","DOI":"10.1007\/s10009-014-0341-2"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:29:53Z","timestamp":1558078193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}