|
Compiling Abstract Redesign Plans
- Example Plan:
If the goal is to decrease the temperature of RCE-Bearing
then consider the following actions, in the following order:
increase the bearing-width of RCE-Bearing;
increase the thickness of Bottom-RWA-Casing-Wall;
increase the thermal-constant of Bottom-RWA-Casing-Wall;
increase the body-width of RCE-body;
increase the thermal-constant of RCE-body;
-
Transform model into
-
Quantitative behaviour model
-
Qualitative behaviour model
-
Causal behaviour model
-
Redesign Goal Tree :
root is if and leaves are
then
-
Prune Redesign Goal Tree
-
Order remaining leaves/goals
|