{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:23:56Z","timestamp":1791231836015,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:00:00Z","timestamp":1567987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,9]]},"DOI":"10.1145\/3336294.3336300","type":"proceedings-article","created":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:38:04Z","timestamp":1565267884000},"page":"245-255","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Semantic Evolution Analysis of Feature Models"],"prefix":"10.1145","author":[{"given":"Imke","family":"Drave","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oliver","family":"Kautz","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Judith","family":"Michael","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12107-4_6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_41"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Marcus Alanen and Ivan Porres. 2003. Difference and Union of Models. In \u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications.  Marcus Alanen and Ivan Porres. 2003. Difference and Union of Models. In \u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications .","DOI":"10.1007\/978-3-540-45221-8_2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.5.c5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceeding of the First International Workshop on Variability Modelling of Softwareintensive Systems (VAMOS).","author":"Benavides David","year":"2007","unstructured":"David Benavides , Sergio Segura , Pablo Trinidad , and Antonio Ruiz-Cort\u00e9s . 2007 . FAMA: Tooling a Framework for the Automated Analysis of Feature Models . In Proceeding of the First International Workshop on Variability Modelling of Softwareintensive Systems (VAMOS). David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cort\u00e9s. 2007. FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In Proceeding of the First International Workshop on Variability Modelling of Softwareintensive Systems (VAMOS)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_9_1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"Pohl G\u00fcnter","unstructured":"B\u00f6ckle, G\u00fcnter and Pohl , Klaus and van der Linden , Frank. 2005. A Framework for Software Product Line Engineering . In Software Product Line Engineering: Foundations, Principles, and Techniques . Springer Berlin Heidelberg , 19--38. B\u00f6ckle, G\u00fcnter and Pohl, Klaus and van der Linden, Frank. 2005. A Framework for Software Product Line Engineering. In Software Product Line Engineering: Foundations, Principles, and Techniques. Springer Berlin Heidelberg, 19--38."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-015-0185-3"},{"key":"e_1_3_2_1_12_1","volume-title":"Semantic Differencing for Message-Driven Component & Connector Architectures. In International Conference on Software Architecture.","author":"Butting Arvid","year":"2017","unstructured":"Arvid Butting , Oliver Kautz , Bernhard Rumpe , and Andreas Wortmann . 2017 . Semantic Differencing for Message-Driven Component & Connector Architectures. In International Conference on Software Architecture. Arvid Butting, Oliver Kautz, Bernhard Rumpe, and Andreas Wortmann. 2017. Semantic Differencing for Message-Driven Component & Connector Architectures. In International Conference on Software Architecture."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.12.038"},{"key":"e_1_3_2_1_14_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements Paul","unstructured":"Paul Clements and Linda Northrop . 2007. Software Product Lines: Practices and Patterns . Addison-Wesley . Paul Clements and Linda Northrop. 2007. Software Product Lines: Practices and Patterns. Addison-Wesley."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.213"},{"key":"e_1_3_2_1_16_1","volume-title":"Feature Diagrams and Logics: There and Back Again. In Software Product Line Conference (SPLC","author":"Czarnecki Krzysztof","year":"2007","unstructured":"Krzysztof Czarnecki and Andrzej Wasowski . 2007 . Feature Diagrams and Logics: There and Back Again. In Software Product Line Conference (SPLC 2007). Krzysztof Czarnecki and Andrzej Wasowski. 2007. Feature Diagrams and Logics: There and Back Again. In Software Product Line Conference (SPLC 2007)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371401.2371403"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_5"},{"key":"e_1_3_2_1_19_1","volume-title":"Vision Paper: Make a Difference! (Semantically). In Model Driven Engineering Languages and Systems.","author":"Fahrenberg Uli","year":"2011","unstructured":"Uli Fahrenberg , Axel Legay , and Andrzej Wasowski . 2011 . Vision Paper: Make a Difference! (Semantically). In Model Driven Engineering Languages and Systems. Uli Fahrenberg, Axel Legay, and Andrzej Wasowski. 2011. Vision Paper: Make a Difference! (Semantically). In Model Driven Engineering Languages and Systems."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Christian Gerth Jochen M. K\u00fcster Markus Luckey and Gregor Engels. 2010. Precise Detection of Conflicting Change Operations Using Process Model Terms. In Model Driven Engineering Languages and Systems.   Christian Gerth Jochen M. K\u00fcster Markus Luckey and Gregor Engels. 2010. Precise Detection of Conflicting Change Operations Using Process Model Terms. In Model Driven Engineering Languages and Systems .","DOI":"10.1007\/978-3-642-16129-2_8"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of Workshop Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen (MBEFF).","author":"Gr\u00f6nniger Hans","year":"2008","unstructured":"Hans Gr\u00f6nniger , Holger Krahn , Claas Pinkernell , and Bernhard Rumpe . 2008 . Modeling Variants of Automotive Systems using Views . In Proceedings of Workshop Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen (MBEFF). Hans Gr\u00f6nniger, Holger Krahn, Claas Pinkernell, and Bernhard Rumpe. 2008. Modeling Variants of Automotive Systems using Views. In Proceedings of Workshop Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen (MBEFF)."},{"key":"e_1_3_2_1_23_1","unstructured":"Christoph Herrmann Holger Krahn Bernhard Rumpe Martin Schindler and Steven V\u00f6lkel. 2007. An Algebraic View on the Semantics of Model Composition. In Model Driven Architecture- Foundations and Applications.   Christoph Herrmann Holger Krahn Bernhard Rumpe Martin Schindler and Steven V\u00f6lkel. 2007. An Algebraic View on the Semantics of Model Composition. In Model Driven Architecture- Foundations and Applications ."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/590631.590645"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239384"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934468"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100050"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693079"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_12"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85758-7_19"},{"key":"e_1_3_2_1_32_1","volume-title":"PSRC@MoDELs (CEUR Workshop Proceedings)","author":"Langer Philip","unstructured":"Philip Langer , Tanja Mayerhofer , and Gerti Kappel . 2014. A Generic Framework for Realizing Semantic Model Differencing Operators . In PSRC@MoDELs (CEUR Workshop Proceedings) , Vol. 1258 . CEUR-WS. org. Philip Langer, Tanja Mayerhofer, and Gerti Kappel. 2014. A Generic Framework for Realizing Semantic Model Differencing Operators. In PSRC@MoDELs (CEUR Workshop Proceedings), Vol. 1258. CEUR-WS.org."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Philip Langer Tanja Mayerhofer and Gerti Kappel. 2014. Semantic Model Differencing Utilizing Behavioral Semantics Specifications. In Model-Driven Engineering Languages and Systems.  Philip Langer Tanja Mayerhofer and Gerti Kappel. 2014. Semantic Model Differencing Utilizing Behavioral Semantics Specifications. In Model-Driven Engineering Languages and Systems .","DOI":"10.1007\/978-3-319-11653-2_8"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0552-y"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings Int. Workshop on Models and Evolution (ME'10)","author":"Maoz Shahar","year":"2010","unstructured":"Shahar Maoz , Jan Oliver Ringert , and Bernhard Rumpe . 2010 . A Manifesto for Semantic Model Differencing . In Proceedings Int. Workshop on Models and Evolution (ME'10) (LNCS 6627). Springer, 194--203. Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2010. A Manifesto for Semantic Model Differencing. In Proceedings Int. Workshop on Models and Evolution (ME'10) (LNCS 6627). Springer, 194--203."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025140"},{"key":"e_1_3_2_1_37_1","volume-title":"CDDiff: Semantic Differencing for Class Diagrams. In ECOOP 2011 - Object-Oriented Programming.","author":"Maoz Shahar","year":"2011","unstructured":"Shahar Maoz , Jan Oliver Ringert , and Bernhard Rumpe . 2011 . CDDiff: Semantic Differencing for Class Diagrams. In ECOOP 2011 - Object-Oriented Programming. Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe. 2011. CDDiff: Semantic Differencing for Class Diagrams. In ECOOP 2011 - Object-Oriented Programming."},{"key":"e_1_3_2_1_38_1","unstructured":"Tanja Mayerhofer Philip Langer and Gerti Kappel. 2015. Semantic Model Differencing Based on Execution Traces. In Software Engineering & Management.  Tanja Mayerhofer Philip Langer and Gerti Kappel. 2015. Semantic Model Differencing Based on Execution Traces. In Software Engineering & Management ."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.3.2.69-82"},{"key":"e_1_3_2_1_40_1","volume-title":"Software Product Line Engineering","author":"Pohl Klaus","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank van der Linden . 2005. Software Product Line Engineering . Springer Berlin Heidelberg , Berlin, Heidelberg . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank van der Linden. 2005. Software Product Line Engineering. Springer Berlin Heidelberg, Berlin, Heidelberg."},{"key":"e_1_3_2_1_41_1","volume-title":"Logic and Data Bases","author":"Reiter Raymond","unstructured":"Raymond Reiter . 1978. On Closed World Data Bases . In Logic and Data Bases . Springer US. Raymond Reiter. 1978. On Closed World Data Bases. In Logic and Data Bases. Springer US."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Camille Salinesi and Ra\u00fal Mazo. 2012. Defects in Product Line Models and how to Identify them. In Software Product Line - Advanced Topic. InTech editions.  Camille Salinesi and Ra\u00fal Mazo. 2012. Defects in Product Line Models and how to Identify them. In Software Product Line - Advanced Topic . InTech editions.","DOI":"10.5772\/35662"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28630-1_3"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0248-x"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.10.030"},{"key":"e_1_3_2_1_49_1","volume-title":"Third International Workshop on Variability Modelling of Software-Intensive Systems.","author":"Trinidad Pablo","year":"2009","unstructured":"Pablo Trinidad and Antonio Ruiz Cort\u00e9s . 2009 . Abductive Reasoning and Automated Analysis of Feature Models: How are they connected? . In Third International Workshop on Variability Modelling of Software-Intensive Systems. Pablo Trinidad and Antonio Ruiz Cort\u00e9s. 2009. Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?. In Third International Workshop on Variability Modelling of Software-Intensive Systems."},{"key":"e_1_3_2_1_50_1","volume-title":"Foundations of Constraint Satisfaction","author":"Tsang Edward","unstructured":"Edward Tsang . 1993. Foundations of Constraint Satisfaction . Academic Press . Edward Tsang. 1993. Foundations of Constraint Satisfaction. Academic Press."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364423"},{"key":"e_1_3_2_1_52_1","volume-title":"Merging Feature Models. In Software Product Line Conference (SPLC' 10)","author":"van den Broek Pim","year":"2010","unstructured":"Pim van den Broek , Ism\u00eania Galv\u00e3o , and Joost Noppen . 2010 . Merging Feature Models. In Software Product Line Conference (SPLC' 10) . Pim van den Broek, Ism\u00eania Galv\u00e3o, and Joost Noppen. 2010. Merging Feature Models. In Software Product Line Conference (SPLC' 10)."},{"key":"e_1_3_2_1_53_1","volume-title":"Deficiencies in Feature Models. In Workshop on Software Variability Management for Product Derication.","author":"von der Ma\u00dfen Thomas","year":"2004","unstructured":"Thomas von der Ma\u00dfen and Horst Lichter . 2004 . Deficiencies in Feature Models. In Workshop on Software Variability Management for Product Derication. Thomas von der Ma\u00dfen and Horst Lichter. 2004. Deficiencies in Feature Models. In Workshop on Software Variability Management for Product Derication."},{"key":"e_1_3_2_1_54_1","volume-title":"Workshop on Semantic Web Enabled Software Engineering (SWESE'05)","author":"Wang Hai","year":"2005","unstructured":"Hai Wang , Yuan Fang Li , Jing Sun , Hongyu Zhang , and Jeff Pan . 2005 . A Semantic Web Approach to Feature Modeling and Verification . In Workshop on Semantic Web Enabled Software Engineering (SWESE'05) . Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang, and Jeff Pan. 2005. A Semantic Web Approach to Feature Modeling and Verification. In Workshop on Semantic Web Enabled Software Engineering (SWESE'05)."},{"key":"e_1_3_2_1_55_1","volume-title":"Formal Methods and Software Engineering (FSE'04)","author":"Zhang Wei","unstructured":"Wei Zhang , Haiyan Zhao , and Hong Mei . 2004. A Propositional Logic-Based Method for Verification of Feature Models . In Formal Methods and Software Engineering (FSE'04) . Springer Berlin Heidelberg . Wei Zhang, Haiyan Zhao, and Hong Mei. 2004. A Propositional Logic-Based Method for Verification of Feature Models. In Formal Methods and Software Engineering (FSE'04). Springer Berlin Heidelberg."}],"event":{"name":"SPLC 2019: 23rd International Systems and Software Product Line Conference","location":"Paris France","acronym":"SPLC 2019"},"container-title":["Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336300","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3336294.3336300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:24Z","timestamp":1750273644000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,9]]},"references-count":54,"alternative-id":["10.1145\/3336294.3336300","10.1145\/3336294"],"URL":"https:\/\/doi.org\/10.1145\/3336294.3336300","relation":{},"subject":[],"published":{"date-parts":[[2019,9,9]]},"assertion":[{"value":"2019-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}