Changes between Version 32 and Version 33 of tutorial

Show
Ignore:
Timestamp:
11/08/10 15:46:39 (7 years ago)
Author:
acher
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • tutorial

    v32 v33  
    135135=== Inter-relate feature models === 
    136136 
    137 Another form of composition can be applied using declarative constraints between 
    138 features so that separated feature models are inter-related.  
    139  
    140 [[Image(wiki:tutorial:interrelate.png)]] 
    141  
    142  
    143 Constraints usually reduce the sets of valid configurations. It has an 
    144 impact on various operations ([wiki:counting counting], [wiki:isvalid isValid], [wiki:removeFeature removeFeature], etc.) which should compute values consistent with the set of constraint dependencies. 
    145  
     137Another form of composition can be applied using cross-tree constraints between features so that separated FMs are  
     138inter-related. The operator aggregate is used for producing a new FM in which a synthetic root relates a set of FMs  
     139and integrates a set of propositional constraints. All reasoning operations (e.g., counting, isValid) can be similarly  
     140performed on the new FM resulting from the aggregation.  
    146141 
    147142== Modularization mechanisms ==