Template:MathematicalSemanticModel

	Mathematical Semantic 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}}