Changes between Version 1 and Version 2 of compare

Show
Ignore:
Timestamp:
05/17/10 07:00:40 (8 years ago)
Author:
acher
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • compare

    v1 v2  
    33The compare operation is used to determine whether a feature model is a refactoring, a generalization, a specialization or an arbitrary edit of another feature model.  
    44 
    5 Let f and g be feature models, and let [[f]] (resp. [[g]]) denote the set of configurations for f (resp. g); f is a specialization of g if [[f]] is included in [[g]]  ; f is a generalization of g if [[g]] is included in [[f]]  ; f is a refactoring of g if [[f]] is equal to [[g]]; otherwise, f is an arbitrary edit of g. 
     5Let f and g be feature models, andlet {{{[[f]]}}} (resp. {{{[[g]]}}}) denote the set of configurations for f (resp. g); 
     6f is a ''specialization'' of g if {{{[[f]]}}} is included in {{{[[g]]}}} ; f is a ''generalization'' of g if {{{[[g]]}}} is included in {{{[[f]]}}} ; f is a ''refactoring'' of g if {{{[[f]]}}} is equal to {{{[[g]]}}}; otherwise, f is an arbitrary edit of g. 
    67 
    78cmp = '''compare''' f g