{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T11:47:04Z","timestamp":1773834424158,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s11390-016-1674-y","type":"journal-article","created":{"date-parts":[[2016,9,5]],"date-time":"2016-09-05T02:14:38Z","timestamp":1473041678000},"page":"951-986","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A Feature Model Based Framework for Refactoring Software Product Line Architecture"],"prefix":"10.1007","volume":"31","author":[{"given":"Mohammad","family":"Tanhaei","sequence":"first","affiliation":[]},{"given":"Jafar","family":"Habibi","sequence":"additional","affiliation":[]},{"given":"Seyed-Hassan","family":"Mirian-Hosseinabadi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,9]]},"reference":[{"key":"1674_CR1","doi-asserted-by":"crossref","unstructured":"Tseng M M, Hu S J. Mass customization. In CIRP Encyclopedia of Production Engineering, Laperri\u00e8re L, Reinhart G (eds.), Springer Berlin Heidelberg, 2014, pp.836-843.","DOI":"10.1007\/978-3-642-20617-7_16701"},{"key":"1674_CR2","doi-asserted-by":"crossref","unstructured":"van der Linden F J, Schmid K, Rommes E. Software Product Lines in Action. Springer-Verlag Berlin Heidelberg, 2007.","DOI":"10.1007\/978-3-540-71437-8"},{"key":"1674_CR3","unstructured":"Clements P C, Northrop L. Software Product Lines: Practices and Patterns (3rd edition). Addison-Wesley Professional, 2001."},{"key":"1674_CR4","doi-asserted-by":"crossref","unstructured":"Schulze S, Th\u00fcm T, Kuhlemann M, Saake G. Variantpreserving refactoring in feature-oriented software product lines. In Proc. the 6th Int. Workshop on Variability Modeling of Software-Intensive Systems, Jan. 2012, pp.73-81.","DOI":"10.1145\/2110147.2110156"},{"key":"1674_CR5","unstructured":"Fowler M, Brant J, Opdyke W et al. Refactoring: Improving the Design of Existing Code. Pearson Education India, 2009."},{"key":"1674_CR6","doi-asserted-by":"crossref","unstructured":"Alves V, Gheyi R, Massoni T, Kulesza U, Borba P, Lucena C. Refactoring product lines. In Proc. the 5th Int. Conf. Generative Programming and Component Engineering, Oct. 2006, pp.201-210.","DOI":"10.1145\/1173706.1173737"},{"issue":"2","key":"1674_CR7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MS.2015.37","volume":"32","author":"O Zimmermann","year":"2015","unstructured":"Zimmermann O. Architectural refactoring: A task-centric view on software evolution. IEEE Software, 2015, 32(2): 26-29.","journal-title":"IEEE Software"},{"key":"1674_CR8","doi-asserted-by":"crossref","unstructured":"Krueger C. Easing the transition to software mass customization. In Lecture Notes in Computer Science 2290, van der Linden F (ed.), Springer Berlin Heidelberg, 2002, pp.282-293.","DOI":"10.1007\/3-540-47833-7_25"},{"key":"1674_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering","author":"K Pohl","year":"2005","unstructured":"Pohl K, B\u00f6ckle G, van der Linden F. Software Product Line Engineering. Springer-Verlag Berlin Heidelberg, 2005."},{"key":"1674_CR10","doi-asserted-by":"crossref","unstructured":"Batory D. Feature models, grammars, and propositional formulas. In Proc. the 9th SPLC, Sept. 2005, pp.7-20.","DOI":"10.1007\/11554844_3"},{"key":"1674_CR11","doi-asserted-by":"crossref","unstructured":"Pohl K, B\u00f6ckle G, Linden F J. Software Product Line Engineering: Foundations, Principles and Techniques. Springer Science & Business Media, 2005.","DOI":"10.1007\/3-540-28901-1"},{"issue":"8","key":"1674_CR12","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/2.303623","volume":"27","author":"D Coleman","year":"1994","unstructured":"Coleman D, Ash D, Lowther B, Oman P. Using metrics to evaluate software system maintainability. Computer, 1994, 27(8): 44-49.","journal-title":"Computer"},{"issue":"10","key":"1674_CR13","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1145\/358413.358421","volume":"26","author":"T Guimaraes","year":"1983","unstructured":"Guimaraes T. Managing application program maintenance expenditures. Communications of the ACM, 1983, 26(10): 739-746.","journal-title":"Communications of the ACM"},{"key":"1674_CR14","doi-asserted-by":"crossref","unstructured":"Borba P. An introduction to software product line refactoring. In Lecture Notes in Computer Science 6491, Fernandes J M, Lammel R, Visser J, Saraiva J (eds.), Springer Berlin Heidelberg, 2011, pp.1-6.","DOI":"10.1007\/978-3-642-18023-1_1"},{"issue":"5","key":"1674_CR15","first-page":"684","volume":"17","author":"R Gheyi","year":"2011","unstructured":"Gheyi R, Massoni T, Borba P. Automatically checking feature model refactorings. J. UCS, 2011, 17(5): 684-711.","journal-title":"J. UCS"},{"key":"1674_CR16","doi-asserted-by":"crossref","unstructured":"Fenske W, Th\u00fcm T, Saake G. A taxonomy of software product line reengineering. In Proc. the 8th Int. Workshop on Variability Modelling of Software-Intensive Systems, Jan. 2014, Article No. 4.","DOI":"10.1145\/2556624.2556643"},{"key":"1674_CR17","unstructured":"Hemakumar A. Finding contradictions in feature models. In Proc. the 12th Int. Software Product Line Conf. (SPLC), Sept. 2008, pp.183-190."},{"key":"1674_CR18","doi-asserted-by":"crossref","unstructured":"Kang K C, Cohen S G, Hess J A, Novak W E, Peterson A S. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Nov. 1990.","DOI":"10.21236\/ADA235785"},{"key":"1674_CR19","doi-asserted-by":"crossref","unstructured":"Lopez-Herrejon R E, Batory D. A standard problem for evaluating product-line methodologies. In Proc. the Int. Conf. Generative and Component-Based Software Engineering, Sept. 2001, pp.10-24.","DOI":"10.1007\/3-540-44800-4_2"},{"key":"1674_CR20","doi-asserted-by":"crossref","unstructured":"Schobbens P, Heymans P, Trigaux J C. Feature diagrams: A survey and a formal semantics. In Proc. the 14th IEEE Int. Conf. Requirements Engineering, Sept. 2006, pp.139-148.","DOI":"10.1109\/RE.2006.23"},{"key":"1674_CR21","doi-asserted-by":"crossref","unstructured":"Th\u00fcm T, K\u00e4stner C, Erdweg S, Siegmund N. Abstract features in feature modeling. In Proc. the 15th Int. Software Product Line Conf. (SPLC), Aug. 2011, pp.191-200.","DOI":"10.1109\/SPLC.2011.53"},{"issue":"12","key":"1674_CR22","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1183236.1183264","volume":"49","author":"D Batory","year":"2006","unstructured":"Batory D, Benavides D, Ruiz-Cortes A. Automated analysis of feature models: Challenges ahead. Communications of the ACM, 2006, 49(12): 45-47.","journal-title":"Communications of the ACM"},{"issue":"12","key":"1674_CR23","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/1183236.1183273","volume":"49","author":"HP In","year":"2006","unstructured":"In H P, Baik J, Kim S, Yang Y, Boehm B. A quality-based cost estimation model for the product line life cycle. Communications of the ACM, 2006, 49(12): 85-88.","journal-title":"Communications of the ACM"},{"issue":"2","key":"1674_CR24","doi-asserted-by":"crossref","first-page":"69","DOI":"10.4304\/jsw.3.2.69-82","volume":"3","author":"M Mendon\u00e7a","year":"2008","unstructured":"Mendon\u00e7a M, Cowan D, Malyk W, Oliveira T. Collaborative product configuration: Formalization and efficient algorithms for dependency analysis. Journal of Software, 2008, 3(2): 69-82.","journal-title":"Journal of Software"},{"issue":"6","key":"1674_CR25","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/773473.178256","volume":"29","author":"J Knoop","year":"1994","unstructured":"Knoop J, R\u00fcthing O, Steffen B. Partial dead code elimination. SIGPLAN Not., 1994, 29(6): 147-158.","journal-title":"SIGPLAN Not."},{"issue":"6","key":"1674_CR26","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MS.2012.167","volume":"29","author":"P Kruchten","year":"2012","unstructured":"Kruchten P, Nord R L, Ozkaya I. Technical debt: From metaphor to theory and practice. IEEE Software, 2012, 29(6): 18-21.","journal-title":"IEEE Software"},{"key":"1674_CR27","doi-asserted-by":"crossref","unstructured":"Dubinsky Y, Rubin J, Berger T, Duszynski S, Becker M, Czarnecki K. An exploratory study of cloning in industrial software product lines. In Proc. the 17th European Conf. Software Maintenance and Reengineering (CSMR), Mar. 2013, pp.25-34.","DOI":"10.1109\/CSMR.2013.13"},{"key":"1674_CR28","unstructured":"Benavides D, Segura S, Trinidad P, Ruiz-Cort\u00e9s A. FAMA: Tooling a framework for the automated analysis of feature models. In Proc. the 1st Int. Workshop on Variability Modelling of Software Intensive Systems, Jan. 2007."},{"key":"1674_CR29","unstructured":"Mendon\u00e7a M, Branco M, Cowan D. SPLOT: Software product lines online tools. In Proc. the 24th ACM SIGPLAN Conf. Companion on Object Oriented Programming Systems Languages and Applications, Oct. 2009, pp.761-762."},{"key":"1674_CR30","doi-asserted-by":"crossref","unstructured":"Easterbrook S, Singer J, Storey M A, Damian D. Selecting empirical methods for software engineering research. In Guide to Advanced Empirical Software Engineering, Shull F, Singer J, Si\u00f8berg D (eds.), Springer London, 2008, pp.285-311.","DOI":"10.1007\/978-1-84800-044-5_11"},{"key":"1674_CR31","unstructured":"Yin R. Case Study Research: Design and Methods. SAGE Publications, 2009."},{"key":"1674_CR32","doi-asserted-by":"crossref","unstructured":"Batory D. A tutorial on feature oriented programming and the ahead tool suite. In Lecture Notes in Computer Science 4143, L\u00e4mmel R, Saraiva J, Visser J (eds.), Springer Berlin Heidelberg, 2006, pp.3-5.","DOI":"10.1007\/11877028_1"},{"key":"1674_CR33","unstructured":"Benavides D, Segura S, Trinidad P, Ruiz-Cort\u00e8s A. A first step towards a framework for the automated analysis of feature models. In Proc. Managing Variability for Software Product Lines: Working With Variability Mechanisms, Aug. 2006, pp.39-47."},{"key":"1674_CR34","unstructured":"Segura S. Automated analysis of feature models using atomic sets. In Proc. the 12th Int. Software Product Line Conf. (SPLC), Sept. 2008, pp.201-207."},{"key":"1674_CR35","doi-asserted-by":"crossref","unstructured":"Th\u00fcm T, Batory D, Kastner C. Reasoning about edits to feature models. In Proc. the 31st IEEE Int. Conf. Software Engineering (ICSE), May 2009, pp.254-264.","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"1674_CR36","unstructured":"Mendon\u00e7a M, Wasowski A, Czarnecki K. SATbased analysis of feature models is easy. In Proc. the 13th Int. Software Product Line Conf. (SPLC), Aug. 2009, pp.231-240."},{"key":"1674_CR37","doi-asserted-by":"crossref","unstructured":"Czarnecki K, Wasowski A. Feature diagrams and logics: There and back again. In Proc. the 11th Int. Conf. Software Product Line Conf. (SPLC), Sept. 2007, pp.23-34.","DOI":"10.1109\/SPLINE.2007.24"},{"key":"1674_CR38","doi-asserted-by":"crossref","unstructured":"Fontoura M, Sadanandan S, Shanmugasundaram J, Vassilvitskii S, Vee E, Venkatesan S, Zien J. Efficiently evaluating complex Boolean expressions. In Proc. the 2010 ACM SIGMOD Int. Conf. Management of Data, Jun. 2010, pp.3-14.","DOI":"10.1145\/1807167.1807171"},{"issue":"1","key":"1674_CR39","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"KC Kang","year":"1998","unstructured":"Kang K C, Kim S, Lee J, Kim K, Shin E, Huh M. FORM: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering, 1998, 5(1): 143-168.","journal-title":"Annals of Software Engineering"},{"key":"1674_CR40","doi-asserted-by":"crossref","unstructured":"Griss M L, Favaro J, d\u2019Alessandro M. Integrating feature modeling with the RSEB. In Proc. the 5th Int. Conf. Software Reuse, Jun. 1998, pp.76-85.","DOI":"10.1109\/ICSR.1998.685732"},{"key":"1674_CR41","doi-asserted-by":"crossref","unstructured":"Eriksson M, B\u00f6rstler J, Borg K. The PLUSS approachdomain modeling with features, use cases and use case realizations. In Lecture Notes in Computer Science 3714, Obbink H, Pohl K (eds.), Springer Berlin Heidelberg, 2005, pp.33-44.","DOI":"10.1007\/11554844_5"},{"key":"1674_CR42","doi-asserted-by":"crossref","unstructured":"Pe\u00f1a J, Hinchey M G, Ruiz-Cort\u00e9s A, Trinidad P. Building the core architecture of a NASA multiagent system product line. In Lecture Notes in Computer Science 4405, Padgham L, Iambonell F (eds.), Springer Berlin Heidelberg, 2006, pp.208-224.","DOI":"10.1007\/978-3-540-70945-9_13"},{"key":"1674_CR43","unstructured":"Czarnecki K, Kim C H P. Cardinality-based feature modeling and constraints: A progress report. In Proc. Int. Workshop on Software Factories, Oct. 2005, pp.16-20."},{"issue":"6","key":"1674_CR44","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1016\/j.jss.2007.10.030","volume":"81","author":"P Trinidad","year":"2008","unstructured":"Trinidad P, Benavides D, Dur\u00e1n A, Ruiz-Cort\u00e9s A, Toro M. Automated error analysis for the agilization of feature modeling. Journal of Systems and Software, 2008, 81(6): 883-896.","journal-title":"Journal of Systems and Software"},{"key":"1674_CR45","unstructured":"Von Der Ma\u03b2en T, Lichter H. Deficiencies in feature models. In Proc. the Workshop on Software Variability Management for Product Derivation \u2014 Towards Tool Support, Aug. 30-Sept. 2, 2004, pp.59-62."},{"key":"1674_CR46","doi-asserted-by":"crossref","unstructured":"Heidenreich F, Kopcsek J, Wende C. FeatureMapper: Mapping features to models. In Proc. the 30th Int. Conf. Software Engineering, May 2008, pp.943-944.","DOI":"10.1145\/1370175.1370199"},{"key":"1674_CR47","doi-asserted-by":"crossref","unstructured":"Seidl C, Heidenreich F, A\u03b2mann U. Co-evolution of models and feature mapping in software product lines. In Proc. the 16th Int. Conf. Software Product Line Conf. (SPLC), Sept. 2012, pp.76-85.","DOI":"10.1145\/2362536.2362550"},{"key":"1674_CR48","doi-asserted-by":"crossref","unstructured":"Schulze S, Richers O, Schaefer I. Refactoring deltaoriented software product lines. In Proc. the 12th Annual Int. Conf. Aspect-Oriented Software Development, Mar. 2013, pp.73-84.","DOI":"10.1145\/2451436.2451446"},{"key":"1674_CR49","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.tcs.2012.01.031","volume":"455","author":"P Borba","year":"2012","unstructured":"Borba P, Teixeira L, Gheyi R. A theory of software product line refinement. Theoretical Computer Science, 2012, 455: 2-30.","journal-title":"Theoretical Computer Science"},{"key":"1674_CR50","doi-asserted-by":"crossref","unstructured":"Wimmer M, Perez S M, Jouault F, Cabot J. A catalogue of refactorings for model-to-model transformations. Journal of Object Technology, 2012, 11(2): 2:1-2:40.","DOI":"10.5381\/jot.2012.11.2.a2"},{"issue":"3","key":"1674_CR51","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0020-0190(79)90002-4","volume":"8","author":"B Aspvall","year":"1979","unstructured":"Aspvall B, Plass M F, Tarjan R E. A linear-time algorithm for testing the truth of certain quantified Boolean formulas. Information Processing Letters, 1979, 8(3): 121-123.","journal-title":"Information Processing Letters"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-016-1674-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-016-1674-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-016-1674-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T02:03:51Z","timestamp":1568340231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-016-1674-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":51,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["1674"],"URL":"https:\/\/doi.org\/10.1007\/s11390-016-1674-y","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}