id author title date pages extension mime words sentences flesch summary cache txt work_ykea5tf5gbc27c57bssvjhynl4 Jianmei Guo Consistency maintenance for evolving feature models 2012 12 .pdf application/pdf 9499 970 64 FMs are subject to change since the set of features and their relationships can change along an SPL lifecycle. kinds of consistency constraints and the primitive operations we define, the experiments present a significant improvement in performance results in those cases where they are applicable. Consistent FMs are needed to any further steps in SPL engineering such as verifying product derivation (Lutz, 2008) or checking for the consistency of product requirements (Lauenroth & Pohl, Section 7 evaluates our approach by experiments on randomly generated FMs with thousands of features. 1997; Rundensteiner, Leem, & Ra, 1998), we suggest a set of primitive operations on FMs in Table 2 (Guo & Wang, 2010). Take the FM shown in Fig. 1 for example, to remove the non-terminal feature ''f1'' from the FM, the change RevNF has only one primitive operations (defined in Table 2) randomly on the generated FMs. Based on the dependency matrix, a set of additional ./cache/work_ykea5tf5gbc27c57bssvjhynl4.pdf ./txt/work_ykea5tf5gbc27c57bssvjhynl4.txt