The Supplementary Materials for Fixing Inconsistencies in Feature Models
We have developed a java library (FMFixer)
to support our idea of fixing inconsistent feature models. FMFixer
is a prototypical implementation
and we are developing it using java. The implementation is a prototype one and
we are fixing some existing bugs in it.
Our java library contains interfaces for
all the feature modelling operations, including create/delete features, create/delete
constrains, recommending
solutions etc. These interfaces are in the
"cn.edu.pku.sei.featuremodel.java". So you can integrate it in your
own feature modelling tool. You can download the tool here.
We have integrated it into our own feature
mdoeling tool in order to support fixing inconsistent feature models, please
see the snapshot of our tool . If you want
to buy the feature modeling tool or FMFixer, please contact Wei Zhang, zhangw@sei.pku.edu.cn.
A example of generating methods for composite-constraints over feature-sets is shown as following:
Given a composite constraint All-Set(A,B)
composite-excludes Alternative-Set(C,D), methods are generated through
combination of the states of
the "certain" features in the two sets. The four derived methods are
{Unbind(A)}, {Unbind(B)}, {Unbind{C},Unbind(D)}, {Bind{C},Bind{D}}.
Please refer Table 1 and Table 2 for the detailed mapping rules.
The details of generating methods for cosntraitns/composite-constraints
in feature mdoels are in the "cn.edu.pku.sei.featuremodel.constraint
cn.edu.pku.sei.featuremodel.method" and
"cn.edu.pku.sei.featuremodel.predication" packages.
TABLE 1
TABLE2
A snapshot of out feature modeling tool and FMFixer
