Washing Machine Model A+B+C (class similarity threshold = 0.75)
Feature Model:
Class Diagram:
fA annotates class name Wash; class name Dryer; and attribute name dryer;
fB annotates class name HeatedWash; attribute name wtrLevel; and elements colored in blue;
fC annotates class name DoubleRinseWash; attribute name waterLevel; attribute temp; class name Beeper; and attribute name beeper;
Controller State Machine:
fA annotates elements colored in red; a solid blue transition; "<=5kg" guard; and ">5kg" guard;
fB annotates elements colored in blue; a solid green transition; "<=5kg" guard; and ">5kg" guard;
fC annotates elements colored in green; a solid red transition; "<=6kg" guard; and ">6kg" guard;
Wash/HeatedWash/DoubleRinseWash State Machine:
fA annotates elements colored in red;
fB annotates elements colored in blue; trigger "filled to wtrLevel"; trigger "heated to 30C"; and solid red transition;
fC annotates elements colored in green and solid blue; trigger "filled to waterLevel"; trigger "heated to temp"; and guard "repRinse not pressed"
Dryer/Beeper State Machine:
fA annotates state name Spinning and trigger "45 mins over";
fC annotates state name Beeping and trigger "1 min over";
Timer State Machine:
fB annotates all elements;