{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:14:39Z","timestamp":1762917279881,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T00:00:00Z","timestamp":1284940800000},"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":[[2010,9,20]]},"DOI":"10.1145\/1858996.1859009","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T12:04:33Z","timestamp":1285157073000},"page":"63-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["Flexible and scalable consistency checking on product line variability models"],"prefix":"10.1145","author":[{"given":"Michael","family":"Vierhauser","sequence":"first","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}]},{"given":"Paul","family":"Gr\u00fcnbacher","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]},{"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]},{"given":"Wolfgang","family":"Heider","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]}],"member":"320","published-online":{"date-parts":[[2010,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_2_1","first-page":"66","volume-title":"A meta-model for representing variability in product family development","author":"Bachmann F.","year":"2003","unstructured":"}} F. Bachmann , M. Goedicke , J. Leite , R. Nord , K. Pohl , B. Ramesh , and A. Vilbig . A meta-model for representing variability in product family development . In F. van der Linden, editor, 5th Int'l WS on Sw. Product-Family Engineering, volume LNCS 3014 , pages 66 -- 80 , Siena, Italy, 2003 . Springer . }}F. Bachmann, M. Goedicke, J. Leite, R. Nord, K. Pohl, B. Ramesh, and A. Vilbig. A meta-model for representing variability in product family development. In F. van der Linden, editor, 5th Int'l WS on Sw. Product-Family Engineering, volume LNCS 3014, pages 66--80, Siena, Italy, 2003. Springer."},{"key":"e_1_3_2_1_3_1","volume-title":"Feature and class models in Clafer: Mixed, specialized, and coupled. Technical report","author":"Bak K.","year":"2010","unstructured":"}} K. Bak , K. Czarnecki , and A. Wasowski . Feature and class models in Clafer: Mixed, specialized, and coupled. Technical report , University of Waterloo , 2010 . }}K. Bak, K. Czarnecki, and A. Wasowski. Feature and class models in Clafer: Mixed, specialized, and coupled. Technical report, University of Waterloo, 2010."},{"key":"e_1_3_2_1_4_1","first-page":"158","volume-title":"Int'l Conf. on Software Engineering (ICSE)","author":"Balzer R.","year":"1991","unstructured":"}} R. Balzer . Tolerating inconsistency . In Int'l Conf. on Software Engineering (ICSE) , pages 158 -- 165 , 1991 . }}R. Balzer. Tolerating inconsistency. In Int'l Conf. on Software Engineering (ICSE), pages 158--165, 1991."},{"key":"e_1_3_2_1_5_1","first-page":"528","volume-title":"Encyclopedia of Sw. Eng.","author":"Basili V.","year":"1994","unstructured":"}} V. Basili , G. Caldiera , and D. Rombach . Goal\/question\/metric paradigm . In J. Marciniak, editor, Encyclopedia of Sw. Eng. , pages 528 -- 532 , New York, 1994 . John Wiley and Sons . }}V. Basili, G. Caldiera, and D. Rombach. Goal\/question\/metric paradigm. In J. Marciniak, editor, Encyclopedia of Sw. Eng., pages 528--532, New York, 1994. John Wiley and Sons."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243637"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368158"},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction to Synthesis. Technical report","author":"Campbell G. H.","year":"1990","unstructured":"}} G. H. Campbell , S. R. Faulk , and D. M. Weiss . Introduction to Synthesis. Technical report , Software Productivity Consortium , Herndon, VA, USA , 1990 . }}G. H. Campbell, S. R. Faulk, and D. M. Weiss. Introduction to Synthesis. Technical report, Software Productivity Consortium, Herndon, VA, USA, 1990."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007660200020"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.1994.346517"},{"key":"e_1_3_2_1_13_1","first-page":"11","volume-title":"Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010","author":"Czarnecki K.","year":"2010","unstructured":"}} K. Czarnecki . Variability modeling : State of the art and future directions (keynote presentation) . In Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010 ), page 11 , Linz, Austria , 2010 . ICB-Research Report 37, Univ. of Duisburg Essen. }}K. Czarnecki. Variability modeling: State of the art and future directions (keynote presentation). In Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010), page 11, Linz, Austria, 2010. ICB-Research Report 37, Univ. of Duisburg Essen."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595733"},{"key":"e_1_3_2_1_15_1","first-page":"1280","volume-title":"Designing software-intensive systems","author":"Deng G.","year":"2008","unstructured":"}} G. Deng , J. Gray , D. Schmidt , Y. Lin , A. Gokhale , and G. Lenz . Evolution in model-driven software product-line architectures . In P. Tiako, editor, Designing software-intensive systems , pages 1280 -- 1312 . Idea Group Inc (IGI) , 2008 . }}G. Deng, J. Gray, D. Schmidt, Y. Lin, A. Gokhale, and G. Lenz. Evolution in model-driven software product-line architectures. In P. Tiako, editor, Designing software-intensive systems, pages 1280--1312. Idea Group Inc (IGI), 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.02.018"},{"key":"e_1_3_2_1_17_1","first-page":"29","volume-title":"Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010","author":"Dhungana D.","year":"2010","unstructured":"}} D. Dhungana , P. Heymans , and R. Rabiser . A formal semantics for decision-oriented variability modeling with DOPLER . In Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010 ), pages 29 -- 35 , Linz, Austria , 2010 . ICB-Research Report 37, Univ. of Duisburg Essen. }}D. Dhungana, P. Heymans, and R. Rabiser. A formal semantics for decision-oriented variability modeling with DOPLER. In Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010), pages 29--35, Linz, Austria, 2010. ICB-Research Report 37, Univ. of Duisburg Essen."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321730"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.20"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.48"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.11"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629716.1629730"},{"key":"e_1_3_2_1_24_1","first-page":"59","volume-title":"Proc. (vol 2) of the 13th Int'l Software Product Line Conf. (SPLC 2009","author":"Heider W.","year":"2009","unstructured":"}} W. Heider , R. Rabiser , D. Dhungana , and P. Gr\u00fcnbacher . Tracking evolution in model-based product lines. In 1st Int'l WS on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009) , Proc. (vol 2) of the 13th Int'l Software Product Line Conf. (SPLC 2009 ), pages 59 -- 63 , San Francisco, CA, USA , 2009 . SEI CMU. }}W. Heider, R. Rabiser, D. Dhungana, and P. Gr\u00fcnbacher. Tracking evolution in model-based product lines. In 1st Int'l WS on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), Proc. (vol 2) of the 13th Int'l Software Product Line Conf. (SPLC 2009), pages 59--63, San Francisco, CA, USA, 2009. SEI CMU."},{"key":"e_1_3_2_1_25_1","volume-title":"USA","author":"Kang K.","year":"1990","unstructured":"}} K. Kang , S. Cohen , J. Hess , W. Nowak , and S. Peterson . Feature-oriented domain analysis (FODA) feasibility study. Technical report, SEI-CMU , USA , 1990 . }}K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical report, SEI-CMU, USA, 1990."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.36"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2008.4493311"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.16"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/514183.514186"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095605"},{"key":"e_1_3_2_1_31_1","unstructured":"}}J. Robins etal ArgoUml http:\/\/argouml.tigris.org\/. Technical report.  }}J. Robins et al. ArgoUml http:\/\/argouml.tigris.org\/. Technical report."},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. 6th Int'l UML Conf.","author":"Straeten R. V. D.","year":"2003","unstructured":"}} R. V. D. Straeten , T. Mens , J. Simmonds , and V. Jonckers . Using description logic to maintain consistency between UML models . In Proc. 6th Int'l UML Conf. , San Francisco, CA, USA, pages 326--340 , 2003 . }}R. V. D. Straeten, T. Mens, J. Simmonds, and V. Jonckers. Using description logic to maintain consistency between UML models. In Proc. 6th Int'l UML Conf., San Francisco, CA, USA, pages 326--340, 2003."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.50"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. of the Graph Transformation and Graph Grammars (GRATA)","author":"Tsiolakis A.","year":"2000","unstructured":"}} A. Tsiolakis and H. Ehrig . Consistency analysis of UML class and sequence diagrams using attributed graph grammars . In Proc. of the Graph Transformation and Graph Grammars (GRATA) , Berlin, Germany, pages 77--86 , 2000 . }}A. Tsiolakis and H. Ehrig. Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In Proc. of the Graph Transformation and Graph Grammars (GRATA), Berlin, Germany, pages 77--86, 2000."},{"key":"e_1_3_2_1_35_1","first-page":"171","volume-title":"Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010","author":"Vierhauser M.","year":"2010","unstructured":"}} M. Vierhauser , D. Dhungana , W. Heider , R. Rabiser , and A. Egyed . Tool support for incremental consistency checking on variability models . In Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010 ), pages 171 -- 174 , Linz, Austria , 2010 . ICB-Research Report 37, Univ. of Duisburg Essen. }}M. Vierhauser, D. Dhungana, W. Heider, R. Rabiser, and A. Egyed. Tool support for incremental consistency checking on variability models. In Proc. 4th Int'l WS on Variability Modelling of Software-intensive Systems (VaMoS 2010), pages 171--174, Linz, Austria, 2010. ICB-Research Report 37, Univ. of Duisburg Essen."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872525"}],"event":{"name":"ASE10: IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Antwerp Belgium","acronym":"ASE10"},"container-title":["Proceedings of the IEEE\/ACM international conference on Automated software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859009","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1858996.1859009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:27Z","timestamp":1750248507000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1858996.1859009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,20]]},"references-count":36,"alternative-id":["10.1145\/1858996.1859009","10.1145\/1858996"],"URL":"https:\/\/doi.org\/10.1145\/1858996.1859009","relation":{},"subject":[],"published":{"date-parts":[[2010,9,20]]},"assertion":[{"value":"2010-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}