{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:48Z","timestamp":1774602228935,"version":"3.50.1"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,10,7]],"date-time":"2009-10-07T00:00:00Z","timestamp":1254873600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s10270-009-0131-6","type":"journal-article","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T07:46:06Z","timestamp":1254815166000},"page":"359-373","source":"Crossref","is-referenced-by-count":4,"title":["Lifting transformational models of product lines: a case study"],"prefix":"10.1007","volume":"9","author":[{"given":"Greg","family":"Freeman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Lavender","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob Neal","family":"Sarvela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,10,7]]},"reference":[{"key":"131_CR1","doi-asserted-by":"crossref","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: True separate compilation of Java classes. In: Principles and Practice of Declarative Programming (PPDP\u201902), pp. 189\u2013200. Pittsburgh (2002)","DOI":"10.1145\/571157.571177"},{"key":"131_CR2","unstructured":"Anastaspoulos, M., Forster, T., Muthig, D.: Optimizing model driven development by deriving code generation patterns from product line architectures. In: Hirschfeld, R., Kowalczyk, R., Polze, A., Weske, M. (eds.) Net ObjectDays, pp. 425\u2013438. Erfurt (2005)"},{"key":"131_CR3","doi-asserted-by":"crossref","unstructured":"Anfurrutia, F.I., Diaz, O., Trujillo, S.: On refining XML artifacts. In: International Conference on Web Engineering, pp. 473\u2013478. Como (2007)","DOI":"10.1007\/978-3-540-73597-7_39"},{"key":"131_CR4","doi-asserted-by":"crossref","unstructured":"Avila-Garcia, O., Garcia, A.E., Rebull, E.V.S.: Using software product lines to manage model families in model-driven engineering. In: ACM Symposium on Applied Computing, pp. 1006\u20131011. Seoul (2007)","DOI":"10.1145\/1244002.1244221"},{"key":"131_CR5","doi-asserted-by":"crossref","unstructured":"Batory, D., Lofaso, B., Smaragdakis, Y.: JTS: tools for implementing domain-specific languages. In: International Conference on Software Reuse, pp. 143\u2013153. Victoria (1998)","DOI":"10.1109\/ICSR.1998.685739"},{"key":"131_CR6","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Software Product Line Conference (SPLC), pp. 7\u201320. Rennes (2005)","DOI":"10.1007\/11554844_3"},{"key":"131_CR7","doi-asserted-by":"crossref","unstructured":"Batory, D., Robertson, E., Chen, G., Wang, T.: Design wizards and visual programming environments for genvoca generators. IEEE Trans. Softw. Eng. doi: 10.1109\/32.846301 (2000)","DOI":"10.1109\/32.846301"},{"issue":"4","key":"131_CR8","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/136586.136587","volume":"1","author":"D. Batory","year":"1992","unstructured":"Batory D., O\u2019Malley S.: The design and implementation of hierarchical software systems with Reusable Components. ACM Trans. Softw. Eng. Methodol. 1(4), 355\u2013398 (1992)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"131_CR9","unstructured":"Batory, D., Sarvela, J.N.: The AHEAD Tool Suite (ATS). Website: Department of Computer Sciences, The University of Texas at Austin. http:\/\/www.cs.utexas.edu\/users\/schwartz\/index.html (2003\u20132009). Accessed 24 July 2009"},{"key":"131_CR10","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step wise refinement. IEEE Trans. Softw. Eng. doi: 10.1109\/TSE.2004.23 (2004)","DOI":"10.1109\/TSE.2004.23"},{"key":"131_CR11","doi-asserted-by":"crossref","unstructured":"Baxter, I.: Design maintenance systems, Commun. of the ACM. doi: 10.1145\/129852.129859 (1992)","DOI":"10.1145\/129852.129859"},{"key":"131_CR12","doi-asserted-by":"crossref","unstructured":"Bezivin, J.: Model driven engineering: an emerging technical space. Generative and transformational techniques in software engineering. LNCS volume 4143\/2006, pp. 36\u201344","DOI":"10.1007\/11877028_2"},{"key":"131_CR13","unstructured":"Booch, G., Brown, A., Iyengar, S., Rumbaugh, J., Selic, B.: An MDA Manifesto. MDA J. 2\u20139 (2004)"},{"key":"131_CR14","unstructured":"Colyer, A., Rashid, A., Blair, G.: On the separation of concerns in program families. Technical report COMP-001-2004, Computing Department, Lancaster University. http:\/\/www.comp.lancs.ac.uk\/computing\/aose\/papers\/COMP-001-2004.pdf (2004). Accessed 27 July 2009"},{"key":"131_CR15","doi-asserted-by":"crossref","unstructured":"Cuadrado, J., Molina, J.: Approaches for model transformation reuse: factorization and composition. In: International Conference on Theory and Practice of Model Transformations, pp. 168\u2013182. Zurich (2008)","DOI":"10.1007\/978-3-540-69927-9_12"},{"key":"131_CR16","volume-title":"Generative Programming Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki K., Eisenecker U.: Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston (2000)"},{"key":"131_CR17","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: a template approach based on superimposed variants. In: International Conference on Generative Programming and Component Engineering (GPCE), pp. 422\u2013437. Tallinn (2005)","DOI":"10.1007\/11561347_28"},{"issue":"3","key":"131_CR18","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki K., Helsen S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"131_CR19","unstructured":"Deelstra, S., Sinnema, M., van Gurp, J., Bosch, J.: Model driven architecture as approach to manage variability in software product families. In: Model Driven Architecture Foundations and Applications (MDAFA) Workshop (2003)"},{"key":"131_CR20","unstructured":"Drossopoulou, S., Eisenbach, S., Wragg, D.: A fragment calculus towards a model of separate compilation, linking and binary compatibility. In: Symposium on Logic in Computer Science (1999)"},{"issue":"2","key":"131_CR21","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/362007.362035","volume":"13","author":"J. Earley","year":"1970","unstructured":"Earley J.: An efficient context-free parsing algorithm. Commun. ACM 13(2), 92\u2013104 (1970)","journal-title":"Commun. ACM"},{"key":"131_CR22","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Fundamental Approaches to Software Engineering (FASE), pp. 72\u201386 (2007)","DOI":"10.1007\/978-3-540-71289-3_7"},{"key":"131_CR23","unstructured":"Gonzlez-Baixauli, B., Laguna, M.A., Crespo, Y.: Product lines, features, and MDD. In: European Workshop on Model Transformations (EWMT) (2005)"},{"key":"131_CR24","doi-asserted-by":"crossref","unstructured":"Gray, J., et\u00a0al.: Model driven program transformation of a large avionics framework. In: International Conference on Generative Programming and Component Engineering (GPCE), pp. 361\u2013378 (2004)","DOI":"10.1007\/978-3-540-30175-2_19"},{"key":"131_CR25","doi-asserted-by":"crossref","unstructured":"Gronmo, R., Sorensen, F., Moller-Pedersen, B., Krogdahl, S.: Semantics-based weaving of UML sequence diagrams. In: International Conference on Model Transformations (ICMT), pp. 122\u2013136 (2008)","DOI":"10.1007\/978-3-540-69927-9_9"},{"key":"131_CR26","doi-asserted-by":"crossref","unstructured":"Hemel, Z., Kats, L., Visser, E.: Code generation by model transformation: a case study in transformation modularity. In: International Conference on Model Transformations (ICMT), pp. 183\u2013198 (2008)","DOI":"10.1007\/978-3-540-69927-9_13"},{"key":"131_CR27","unstructured":"JavaCC. https:\/\/javacc.dev.java.net . Accessed 23 July 2009"},{"key":"131_CR28","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Model Transformations in Practice Workshop at Model Driven Engineering, Languages and Systems (MODELS) (2005)"},{"key":"131_CR29","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. TR. CMU\/SEI-90TR-21 (1990)","DOI":"10.21236\/ADA235785"},{"key":"131_CR30","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe A., Warmer J., Bast W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Boston (2003)"},{"key":"131_CR31","unstructured":"Kolbly, D.: Extensible language implementation. Ph.D. Department of Computer Sciences, University of Texas at Austin (2002)"},{"key":"131_CR32","doi-asserted-by":"crossref","unstructured":"Kurtev, I., van den Berg, K.: Building adaptable and reusable XML applications with model transformations. In: International World Wide Web (WWW) Conference (2005)","DOI":"10.1145\/1060745.1060772"},{"key":"131_CR33","unstructured":"Khurshid, S., Uzuncaova, E., Garcia, D., Batory, D.: Testing software product lines using incremental test generation. In: International Symposium on Software Reliability Engineering (ISSRE) (2008), pp. 249\u2013258"},{"key":"131_CR34","unstructured":"Lagorio, G.: Type systems for Java separate compilation and selective recompilation. PhD thesis, University of Genova (2004)"},{"key":"131_CR35","unstructured":"Lopez-Herrejon, R., Batory, D.: Using hyper\/J to implement product lines: a case study. Department of Computer Sciences, University of Texas at Austin (2002)"},{"key":"131_CR36","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon, R., Batory, D., Lengauer, C.: A disciplined approach to aspect composition. In: Partial Evaluation and Program Manipulation (PEPM), pp. 68\u201377 (2006)","DOI":"10.1145\/1111542.1111554"},{"key":"131_CR37","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Pollack, M.E., Soffa, M.L.: Using a goal-driven approach to generate test Cases for GUIs. In: International Conference on Software Engineering (ICSE), pp. 257\u2013266 (1999)","DOI":"10.1145\/302405.302632"},{"key":"131_CR38","doi-asserted-by":"crossref","unstructured":"Mens, T., Czarnecki, K., van Gorp, P.: A taxonomy of model transformations. In: International Workshop on Graph and Model Transformations (GraMoT). doi: 10.1016\/j.entcs.2005.10.021 (2005)","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"131_CR39","unstructured":"Neuman, A.: US Population 2000: Ethnic structure and age distribution. http:\/\/www.carto.net\/papers\/svg\/samples . Accessed April 2006"},{"key":"131_CR40","volume-title":"Multi-Dimensional Separation of Concerns and the Hyperspace Approach: Software Architecture and Component Technology","author":"H. Ossher","year":"2002","unstructured":"Ossher H., Tarr P.: Multi-Dimensional Separation of Concerns and the Hyperspace Approach: Software Architecture and Component Technology. Kluwer, Boston (2002)"},{"key":"131_CR41","doi-asserted-by":"crossref","unstructured":"Rath, I., Bergmann, G., Okros, A., Varro, D.: Live model transformations driven by incremental pattern matching. In: International Conference on Model Transformation (ICMT), doi: 10.1007\/978-3-540-69927-9_8 (2008)","DOI":"10.1007\/978-3-540-69927-9_8"},{"key":"131_CR42","doi-asserted-by":"crossref","unstructured":"Rivera, J., Vallecillo, A.: Representing and operating with model differences. In: International Conference Objects, Models, Components, Patters (TOOLS EUROPE). doi: 10.1007\/978-3-540-69824-1_9 (2008)","DOI":"10.1007\/978-3-540-69824-1_9"},{"key":"131_CR43","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Easterbrook, S.M.: Analysis of inconsistency in graph-based viewpoints: a category-theoretic approach. In: Automated Software Engineering (ASE), p. 12 (2003)","DOI":"10.1109\/ASE.2003.1240290"},{"key":"131_CR44","unstructured":"Schmidt, D., Nechypurenko, A., Wuchner, E.: MDD for software product lines: fact or fiction? Workshop 8\u00a0at MODELS (2005)"},{"key":"131_CR45","doi-asserted-by":"crossref","unstructured":"Selinger, P., et\u00a0al.: Access path selection in a relational database system. In: ACM Special Interest Group On Management of Data (SIGMOD), pp. 23\u201334 (1979)","DOI":"10.1145\/582095.582099"},{"key":"131_CR46","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Batory, D.: Scoping constructs for program generators. In: Generative and Component-Based Software Engineering (GPCE) (1999)","DOI":"10.1007\/3-540-40048-6_6"},{"key":"131_CR47","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In: Generative Programming and Component Engineering (GPCE), pp. 95\u2013104 (2007)","DOI":"10.1145\/1289971.1289989"},{"key":"131_CR48","volume-title":"Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems","author":"M. Tomita","year":"1985","unstructured":"Tomita M.: Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems. Kluwer, Boston (1985)"},{"key":"131_CR49","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Azanza, W., Diaz, O.: Generative metaprogramming. In: Generative Programming and Component Engineering (GPCE), pp. 105\u2013114 (2007)","DOI":"10.1145\/1289971.1289990"},{"key":"131_CR50","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Batory, D., Diaz, O.: Feature oriented model driven development: a case study for portlets. In: International Conference on Software Engineering (ICSE), pp. 44\u201353 (2007)","DOI":"10.1109\/ICSE.2007.36"},{"key":"131_CR51","unstructured":"Trujullo, S.: Feature oriented model driven product lines. PhD thesis, The University of the Basque Country (2007)"},{"key":"131_CR52","doi-asserted-by":"crossref","unstructured":"Wagelaar, D.: Composition techniques for rule-based model transformation languages. In: International Conference on Model Transformations (ICMT). doi: 10.1007\/978-3-540-69927-9_11 (2008)","DOI":"10.1007\/978-3-540-69927-9_11"},{"issue":"4","key":"131_CR53","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth N.: Program development by stepwise refinement. Commun. ACM 14(4), 221\u2013227 (1971)","journal-title":"Commun. ACM"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0131-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0131-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0131-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T15:46:24Z","timestamp":1739375184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0131-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,7]]},"references-count":53,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["131"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0131-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,7]]}}}