Please enable JavaScript.
Coggle requires JavaScript to display documents.
Abstract Machines, Machine consistency, We achieve machine consistency by…
Abstract Machines
Sections
Machine
Variables
Invariant
Initialisation
Operations
Name
Input parameters
Output parameters
State restrictions
Changes to state
Output generation
Composed by
States
State invariant
Initialisation
Interface
What are they?
Describes the system behaviour
Machine consistency
What does it mean to say that a machine is consistent?
How can one guarantee that a machine in consistent?
What support do we have to achieve consistency?
We achieve machine consistency by guaranteeing that the clauses are coherent and consistent
The
invariant
must be feasible
After the
initialisation
the state must respect the invariant
After the execution of the
operations
, the state has to respect the invariant