{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T12:45:35Z","timestamp":1759063535393},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030231811"},{"type":"electronic","value":"9783030231828"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-23182-8_3","type":"book-chapter","created":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T19:10:01Z","timestamp":1561317001000},"page":"27-41","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Graph-Based Variability Modelling: Towards a Classification of Existing Formalisms"],"prefix":"10.1007","author":[{"given":"Jessie","family":"Carbonnel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Delahaye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Huchard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e9mentine","family":"Nebut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,19]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Acher, M., Baudry, B., Heymans, P., Cleve, A., Hainaut, J.: Support for reverse engineering and maintaining feature models. In: Proceedings of the 7th International Workshop on Variability Modelling of Software-intensive Systems, pp. 20:1\u201320:8 (2013)","DOI":"10.1145\/2430502.2430530"},{"issue":"6","key":"3_CR2","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"3_CR3","unstructured":"Bontemps, Y., Heymans, P., Schobbens, P., Trigaux, J.: Generic semantics of feature diagrams variants. In: Feature Interactions in Telecommunications and Software Systems VIII, pp. 58\u201377 (2005)"},{"issue":"8","key":"3_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Carbonnel, J., Huchard, M., Miralles, A., Nebut, C.: Feature model composition assisted by formal concept analysis. In: Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 27\u201337 (2017)","DOI":"10.5220\/0006276600270037"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Carbonnel, J., Huchard, M., Nebut, C.: Analyzing variability in product families through canonical feature diagrams. In: Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, pp. 185\u2013190 (2017)","DOI":"10.18293\/SEKE2017-087"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: Proceedings of the 11th International Software Product Line Conference, pp. 23\u201334 (2007)","DOI":"10.1109\/SPLINE.2007.4339252"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Davril, J., Delfosse, E., Hariri, N., Acher, M., Cleland-Huang, J., Heymans, P.: Feature model extraction from large collections of informal product descriptions. In: Proceedings of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 290\u2013300 (2013)","DOI":"10.1145\/2491411.2491455"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31881-1","volume-title":"Formal Concept Analysis","year":"2005","unstructured":"Ganter, B., Stumme, G., Wille, R. (eds.): Formal Concept Analysis. LNCS (LNAI), vol. 3626. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/978-3-540-31881-1"},{"key":"3_CR10","unstructured":"Kn\u00fcppel, A.: The role of complex constraints in feature modeling. Master\u2019s thesis, Institute of Software Engineering and Automotive Informatics, Technische Universit\u00e4t Carolo-Wilhelmina zu Braunschweig (2016)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45652-X_11","volume-title":"Software Product Lines","author":"M Mannion","year":"2002","unstructured":"Mannion, M.: Using first-order logic for product line model validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176\u2013187. Springer, Heidelberg (2002). \n                      https:\/\/doi.org\/10.1007\/3-540-45652-X_11"},{"issue":"2","key":"3_CR12","first-page":"33","volume":"3","author":"R Mazo","year":"2012","unstructured":"Mazo, R., Salinesi, C., Diaz, D., Djebbi, O., Lora-Michiels, A.: Constraints: the heart of domain and application engineering in the product lines engineering strategy. IJISMD 3(2), 33\u201368 (2012)","journal-title":"IJISMD"},{"key":"3_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005). \n                      https:\/\/doi.org\/10.1007\/3-540-28901-1"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Ryssel, U., Ploennigs, J., Kabitzsch, K.: Extraction of feature models from formal contexts. In: Workshop Proceedings of the 15th International Conference on Software Product Lines, vol. 2, pp. 4:1\u20134:8 (2011)","DOI":"10.1145\/2019136.2019141"},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.comnet.2006.08.008","volume":"51","author":"P Schobbens","year":"2007","unstructured":"Schobbens, P., Heymans, P., Trigaux, J., Bontemps, Y.: Generic semantics of feature diagrams. Comput. Netw. 51(2), 456\u2013479 (2007)","journal-title":"Comput. Netw."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"She, S., Lotufo, R., Berger, T., Wasowski, A., Czarnecki, K.: Reverse engineering feature models. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 461\u2013470 (2011)","DOI":"10.1145\/1985793.1985856"},{"issue":"9","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1122","DOI":"10.1016\/j.infsof.2014.01.012","volume":"56","author":"S She","year":"2014","unstructured":"She, S., Ryssel, U., Andersen, N., Wasowski, A., Czarnecki, K.: Efficient synthesis of feature models. Inf. Softw. Technol. 56(9), 1122\u20131143 (2014)","journal-title":"Inf. Softw. Technol."}],"container-title":["Lecture Notes in Computer Science","Graph-Based Representation and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23182-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T19:12:20Z","timestamp":1561317140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23182-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030231811","9783030231828"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23182-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"19 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccs-conceptstruct2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iccs-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}