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

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

Wash State Machine
fA annotates elements colored in red;
fB annotates elements colored in blue;

DoubleRinseWash State Machine:

Wash State Machine
fC annotates all elements;

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;