Table 2 Success and error outcomes of the schemas for an appliance entity
From: A formal specification framework for smart grid components
Schema | Pre-condition for success | Condition for error |
|---|---|---|
PluggedInAppliance | Appliance is disconnected \(appState=disconnected\) | Already connected \(appState=connected\) |
InUseAppliance | Appliance is connected \(appState=connected\) | Already in running state \(appState=running\) |
UnPluggedAppliance | Appliance is connected \(appState=connected\) | Already in disconnected state \(appState=disconnected\) |
NotInUseAppliance | Appliance is running \(appState = running\) | Already not in not running state \(appState\ne running\) |