Difference between revisions of "Template:MathematicalSemanticModel"

Revision as of 07:41, 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 2: / Line 2: @@
 {| class="wikitable margin-left: 10px;" style="width: 95%; border-width: 5px; margin: auto;"
 |-
-|! Denotational Cognitive Model ([[{{{name}}}]])
+|
+! Mathematical Semantic Model ([[{{{name}}}]])
 {{Template:AbstractSpecification
 |name={{{name}}}