Some other template/Process

Mathematical Semantic Model (A Special Process)
Abstract Specification Context A Special Process/Context Goal A Special Process/Goal Success Criteria (Liveness) A Special Process/Criteria
Concrete Implementation(s) Outputs Process Inputs A Special Process/Output A Special Process/Process A Special Process/Input
Boundary Conditions of A Special Process/(Safety Conditions) A Special Process/Boundary