{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:22:15Z","timestamp":1745986935270,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367564"},{"type":"electronic","value":"9783642367571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36757-1_11","type":"book-chapter","created":{"date-parts":[[2013,2,7]],"date-time":"2013-02-07T05:07:21Z","timestamp":1360213641000},"page":"179-197","source":"Crossref","is-referenced-by-count":7,"title":["Towards Correct Product Derivation in Model-Driven Product Lines"],"prefix":"10.1007","author":[{"given":"Xiaorui","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Birger","family":"M\u00f8ller-Pedersen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Clements, P., Northrop, L.: Software Product Lines \u2013 Practices and Patterns. Addison-Wesley Longman Publishing (2001)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: Model-Driven Software Product Lines. In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 126\u2013127. ACM Press (2005)","DOI":"10.1145\/1094855.1094896"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe Composition of Product Lines. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE 2007). ACM Press (2007)","DOI":"10.1145\/1289971.1289989"},{"issue":"3","key":"11_CR4","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/2211616.2211617","volume":"21","author":"C. K\u00e4stner","year":"2012","unstructured":"K\u00e4stner, C., Apel, S., Thum, T., Saake, G.: Type Checking Annotation-Based Product Lines. ACM Transactions on Software Engineering and Methodology\u00a021(3), Article 14 (2012)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"11_CR5","unstructured":"Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Olsen, G.K., Svendsen, A., Zhang, X.: A Generic Language and Tool for Variability Modeling. SINTEF, Oslo (2009)"},{"key":"11_CR6","volume-title":"13th International Software Product Line Conference","author":"\u00f8. Haugen","year":"2008","unstructured":"Haugen, \u00d8., M\u00f8ller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: 13th International Software Product Line Conference. Limerick, Ireland (2008)"},{"key":"11_CR7","unstructured":"CVL, http:\/\/www.omgwiki.org\/variability\/doku.php"},{"key":"11_CR8","unstructured":"Object Management Group (OMG): Meta Object Facility (MOF) Core Specification Version 2.0 (Available Specification). OMG Document Formal\/06-01-01 (2006)"},{"key":"11_CR9","unstructured":"CVL Resources (2012), http:\/\/www.omgwiki.org\/variability\/doku.php?id=cvl_tool_from_sintef"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-15579-6_8","volume-title":"Software Product Lines: Going Beyond","author":"A. Svendsen","year":"2010","unstructured":"Svendsen, A., Zhang, X., Lind-Tviberg, R., Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Olsen, G.K.: Developing a Software Product Line for Train Control: A Case Study of CVL. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 106\u2013120. Springer, Heidelberg (2010)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-87875-9_9","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Svendsen","year":"2008","unstructured":"Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E., Alme, K.-J., Haugen, \u00d8.: The Future of Train Signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 128\u2013142. Springer, Heidelberg (2008)"},{"key":"11_CR12","unstructured":"Ousterhout, J.K., Jones, K.: Tcl and the Tk Toolkit, 2nd edn. Addison Wesley (2006)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Zhang, X., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Model Comparison to Synthesize a Model-Driven Software Product Line. In: Proceedings of the 2011 15th International Software Product Line Conference (SPLC 2011), pp. 90\u201399. IEEE Computer Society (2011)","DOI":"10.1109\/SPLC.2011.24"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-00593-0_3","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Oldevik","year":"2009","unstructured":"Oldevik, J., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Confluence in Domain-Independent Product Line Transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 34\u201348. Springer, Heidelberg (2009)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-29645-1_8","volume-title":"Models in Software Engineering","author":"A. Svendsen","year":"2012","unstructured":"Svendsen, A., Zhang, X., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Towards Evolution of Generic Variability Models. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol.\u00a07167, pp. 53\u201367. Springer, Heidelberg (2012)"},{"key":"11_CR16","unstructured":"Zest, http:\/\/www.eclipse.org\/gef\/zest\/"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy \u2013 A Lightweight Object Modelling Notation. ACM Transactions on Transactions on Software Engineering and Methodology\u00a011, 256\u2013290 (2002)","journal-title":"ACM Transactions on Transactions on Software Engineering and Methodology"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Jing, S., Hongyu, Z., Hai, W.: Formal Semantics and Verification for Feature Modeling. In: 10th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society (2005)","DOI":"10.1109\/ICECCS.2005.48"},{"key":"11_CR19","unstructured":"MIT: Download for Alloy Analyzer, http:\/\/alloy.mit.edu\/alloy\/download.html ."},{"key":"11_CR20","unstructured":"Svendsen, A., Haugen, \u00d8., M\u00f8ller-Pedersen, B.: Optimizing Alloy Models. SINTEF, Oslo (2011)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying Feature-Based Model Templates against Well-Formedness Ocl Constraints. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering. ACM Press (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Satyananda, T.K., Lee, D., Kang, S.: Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line. In: Proceedings of the International Conference on Software Engineering Advances, p. 10. IEEE Computer Society (2007)","DOI":"10.1109\/ICSEA.2007.33"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Mussbacher, G., Whittle, J., Amyot, D.: Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. In: 17th IEEE International Requirements Engineering Conference (RE 2009), pp. 203\u2013212. IEEE Computer Society (2009)","DOI":"10.1109\/RE.2009.13"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36757-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T20:11:53Z","timestamp":1745957513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36757-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367564","9783642367571"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36757-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}