This is a page that describes how to fill up the empty fields of a logic model.
| Logic Model (Logic Model Explained) Template:LogicModel 12 7, 2022
|
Abstract Specification
| Context
|
The temporal and spatial environment of the operational system of interest. The spatial and temporal information can also be recursively encoded by hyperlinks or hash codes.
|
| Goal
|
An imperative statement to "break symmetry" in showing what action must be executed in the context presented above.
|
| Success Criteria
|
A collection of conditional statements, both pre and post-conditions of the execution process, to define the safe and liveness conditions that form the correct/successful criteria.
|
|
Concrete Implementation
| Given Inputs |
When Process is executed... |
Then, we get Outputs
|
| A collection of resources that are required to kick off an implementation process for the execution of the goal statement.
|
A specification of the implementation process that takes the inputs to generate prescribed outputs.
|
A collection of observable states or resources that are derived from the prescribed process mentioned in the same logic model.
|
|
Boundary/Safety Conditions of Logic Model Explained
| Information that is related to the execution of this logic model that is not captured by the previous six fields.
|
|