EventsHost_status- DOWN- UNREACHABLE- OK

Host_control-CRITICAL- UNKNOWN- OK

Host_status Host_control SDV flag

DOWN Yes

OK Yes

UNREACHABLE No

Host_status transitions

Host_status- DOWN

Host_status- OK

Host_status- UNREACHABLE

Host_control SDV flag- Yes

Host_control SDV flag- No

update

default

A)

B)

C)

Possible initial conditions

Host_status DOWN transitions

Host_status- DOWN

Host_status- OK

Host_status- UNREACHABLE

Host_control SDV flag- Yes

Host_control SDV flag- No

update

Default (no action)

A)

A to B

A to C

update

Host_status OK transitions

Host_status- OK

Host_status- DOWN

Host_status- UNREACHABLE

Host_control SDV flag- Yes

Host_control SDV flag- No

update

Default (no action)

B)

new

new

B to A

B to C

Host_status UNREACHABLE transitions

Host_status- UNREACHABLE

Host_status- OK

Host_status- DOWN

Host_control SDV flag- Yes

updateC)

C to B

C to A

update

t

Flag = Yes

Flag = YesHost1 – Param2

Host1 – Param1

Host1 - UNREACHABLE

t

Host1 – Param2

Host1 – Param1 Flag = No

Flag = No

Flag = Yes

update

Host1 – Param3

Host1 - UNREACHABLE

tHost1 – Param4

Host1 – Param2

Host1 – Param1 Flag = No

Flag = No

Flag = Yes

Flag = No

Flag = No

Host1 – Param3

Host1 - UNREACHABLE

tHost1 – Param4

Host1 – Param2

Host1 – Param1 Flag = Yes

Flag = Yes

Flag = Yes

Flag = Yes

Flag = Yes

update

update