requirement_specification - hqdmTop/hqdmFramework GitHub Wiki

Requirement Specification

A class_of_spatio_temporal_extent that is the intersection_of one or more class_of_state.

Attributes

  • intersection_of: A subtype_of relationship type where each requirement_specification is the intersection_of one or more class_of_state.
    • Note: The requirement_specification is a subtype of each of the related class_of_state.

EXPRESS Specification

Diagram 46

Schema

ENTITY requirement_specification
  SUBTYPE OF(class_of_spatio_temporal_extent);
    intersection_of : SET [1:?] OF class_of_state;
END_ENTITY;
Inheritance Graph 

ENTITY requirement_specification;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY requirement_specification;
    intersection_of       : SET [1:?] OF class_of_state;
END_ENTITY;
⚠️ **GitHub.com Fallback** ⚠️