Oven Controller Design Decisions:
1. Reuse LCP State Model Interpreter to simulate five Active Classes (5 AC, 5 SM) and fifteen Active Instances (AI) (paired with OP, OC, 5 TI’s, 4 LT, 4 PT).
2. One generic Operator (OP) supplies one test file command script, on which events for multiple Ovens are interleaved, to one Oven Controller OC.
3. Use Cases manually defined, not auto-generated.
4. One OvenController (OC) controls Ovens OV1-4.
5. Each Oven OV is a passive container for two AI’s (one PowerTube PT and one Light LT).
6. Each Oven has one DoorStatus data member.
7. Five instances TI[1..5] of TimerActive Class:
OP is client of one TI for WAIT commands;
OC is client of four TI’s to control OV cook times.