Difference between revisions of "Template:MathematicalSemanticModel"

Revision as of 07:44, 4 December 2021

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

@@ Line 4: / Line 4: @@
 |
 !Mathematical Semantic Model ([[{{{name}}}]])
 {{Template:AbstractSpecification
 |name={{{name}}}