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