Washing Machine Model A+B+C (class similarity threshold = 0.78)

Feature Model:

Feature Model

Class Diagram:

Class Diagram
fA annotates class name Wash; and elements colored in red;
fB annotates class name HeatedWash; attribute name wtrLevel; and elements colored in blue;
fC annotates class name DoubleRinseWash; attribute name waterLevel; attribute temp; and elements colored in green;

Controller State Machine:

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:

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 State Machine:

Dryer State Machine
fA annotates all elements;

Timer State Machine:

Timer State Machine
fB annotates all elements;

Beeper State Machine:

Beeper State Machine
fC annotates all elements;