FormalRequirementGroup (Model)

Inheritance

Ancestors

FormalRequirementContainer, FormalRequirementType

FormalRequirementGroup

Remarks

A collection of Formal Requirements and other Formal Requirement Groups.

Aspects

All: AggregatePort, DesignContainer, DesignElement, TestBench, TestBenchType, Workflow

Containment

Parents: Component, ComponentType, FormalRequirementContainer, TestComponent

Formal Specification

Structural Semantics: CyPhyML.4ml