requirement

Requirement

A spatio_temporal_extent that is part_of_plan at least one plan and is defined_by exactly one requirement_specification.

Attributes

• defined_by: A member_of relationship type where a requirement is defined_by exactly one requirement_specification.
• part_of_plan: A part_of relationship type where a requirement must be part_of one or more plan.

EXPRESS Specification

Schema

ENTITY requirement
  SUBTYPE OF(spatio_temporal_extent);
    defined_by   : SET [1:1] OF requirement_specification;
    part_of_plan : SET [1:?] OF plan;
END_ENTITY;

Inheritance Graph

ENTITY requirement;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY spatio_temporal_extent;
    part__of               : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    beginning              : OPTIONAL event;
    ending                 : OPTIONAL event;
    part_of_possible_world : SET [1:?] OF possible_world;
    member_of              : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
    temporal__part_of      : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    aggregated_into        : OPTIONAL SET [1:?] OF spatio_temporal_extent;
  INVERSE
    consists__of           : SET OF spatio_temporal_extent FOR part__of;
  ENTITY requirement;
    defined_by             : SET [1:1] OF requirement_specification;
    part_of_plan           : SET [1:?] OF plan;
END_ENTITY;