Feature models have been widely adopted to reuse the requirements of a set of similar products in a domain. In feature models＇ construction, one basic task is to ensure the consistency of feature models, which often ...Feature models have been widely adopted to reuse the requirements of a set of similar products in a domain. In feature models＇ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. While many approaches have been proposed, most of them focus on detecting inconsistencies rather than fixing inconsistencies. In this paper, we propose a novel dynamic-priority based approach to interactively fixing inconsistencies in feature models, and report an implementation of a system that not only automatically recommends a solution to fixing inconsistencies but also supports domain analysts to gradually reach the desirable solution by dynamically adjusting priorities of constraints. The key technical contribution is, as far as we are aware, the first application of the constraint hierarchy theory to feature modeling, where the degree of domain analysts＇ confidence on constraints is expressed by using priority and inconsistencies are resolved by deleting one or more lower-priority constraints. Two case studies demonstrate the usability and scalability （efficiency） of our new approach.展开更多
The discovery of neutrino oscillation indicates that neutrinos have masses and each flavor state is actually a superposition of three mass states with masses m1,m2,and m3.However,the neutrino oscillation experiments a...The discovery of neutrino oscillation indicates that neutrinos have masses and each flavor state is actually a superposition of three mass states with masses m1,m2,and m3.However,the neutrino oscillation experiments are not able to measure the absolute masses of neutrinos,but can only measure the squared mass differences between the neutrino mass eigenstates—The solar and reactor experiments gave展开更多
基金supported by the National High Technology Research and Development 863 Program of China under Grant No.2013AA01A605the National Basic Research 973 Program of China under Grant No.2011CB302604+1 种基金the National Natural Science Foundation of China under Grant Nos.61121063,U1201252,61272163,61202071,and 60528006the Japan MEXT Grant-in-Aid for Scientific Research(A)under Grant No.25240009
文摘Feature models have been widely adopted to reuse the requirements of a set of similar products in a domain. In feature models＇ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. While many approaches have been proposed, most of them focus on detecting inconsistencies rather than fixing inconsistencies. In this paper, we propose a novel dynamic-priority based approach to interactively fixing inconsistencies in feature models, and report an implementation of a system that not only automatically recommends a solution to fixing inconsistencies but also supports domain analysts to gradually reach the desirable solution by dynamically adjusting priorities of constraints. The key technical contribution is, as far as we are aware, the first application of the constraint hierarchy theory to feature modeling, where the degree of domain analysts＇ confidence on constraints is expressed by using priority and inconsistencies are resolved by deleting one or more lower-priority constraints. Two case studies demonstrate the usability and scalability （efficiency） of our new approach.
基金supported by the National Natural Science Foundation of China (Grant Nos. 11522540, and 11690021)the Top-Notch Young Talents Program of China, and the Provincial Department of Education of Liaoning (Grant No. L2012087)
文摘The discovery of neutrino oscillation indicates that neutrinos have masses and each flavor state is actually a superposition of three mass states with masses m1,m2,and m3.However,the neutrino oscillation experiments are not able to measure the absolute masses of neutrinos,but can only measure the squared mass differences between the neutrino mass eigenstates—The solar and reactor experiments gave
