Template:MathematicalSemanticModel

! Denotational Cognitive Model ([[{{{name}}}]]) Abstract Specification [[{{{name}}}/Context|Context]] {{:{{{name}}}/Context}} [[{{{name}}}/Goal|Goal]] {{:{{{name}}}/Goal}} [[{{{name}}}/Criteria|Success Criteria (Liveness) ]] {{:{{{name}}}/Criteria}}

Concrete Implementation(s) [[{{{name}}}/Output|Outputs]] [[{{{name}}}/Process|Process]] [[{{{name}}}/Input|Inputs]] {{:{{{name}}}/Output}} {{:{{{name}}}/Process}} {{:{{{name}}}/Input}}

[[{{{name}}}/Boundary|Boundary Conditions of {{{name}}}/(Safety Conditions)]] {{:{{{name}}}/Boundary}}