Please enable JavaScript.
Coggle requires JavaScript to display documents.
Abstract Machines - Coggle Diagram
Abstract Machines
Sections
Invariant
Declares the properties of the variables
Initialisation
Initializes the state variables
Variables
State variables
Operations
Lists possible operations
Machine
Names the machine
End
Finishes description
Consistency
Each section must be coherent to one another
Invariant must be feasible
Initialization must respect the invariant
States after operations must respect the invariant
Note: Invariants must be carefully chosen to in order to specify the system correctly
Description of the behavior (what can be done through interaction)