-
General template
:optional preconditions
optional trigger
thesystem name
shallsystem response
. -
Normal behavior
: Thesystem name
shallsystem response
. -
Unwanted behavior
: Ifoptional preconditions
trigger
, then thesystem name
shallsystem response
. -
Event-driven, When
: Whentrigger
thesystem name
shallsystem response
. -
State-driven, While
: Whilein a specific state
thesystem name
shallsystem response
. -
Option, Where
: Wherefeature is included
thesystem name
shallsystem response