TerminateSpecification
: TerminateSpecification (architecture_autodiagram)
Figure 158 : TerminateSpecification (architecture_autodiagram)
TerminateSpecificationExecutionOccurenceSpecification