Name | Description | Pseudo-code | Metadata | URN Links |
checkTime | Checks that TeenLine is active, i.e. that the connection is in the pre-defined time range | |||
checkPIN | Checks whether the PIN is valid | |||
deny | Denies the connection |
Guard Conditions | Metadata |
[TLnotActive] ==> !TLactive(1.0) [TLactive] ==> TLactive(1.0) | |
[PINvalid] ==> PINvalid(1.0) [PINinvalid] ==> !PINvalid(1.0) |