Schema: Verification_and_validation_arm



SCHEMA Verification_and_validation_arm;

USE FROM Analysis_assignment_arm;    -- ISO/WD 10303-1474

USE FROM Analysis_characterized_arm;    -- ISO/WD 10303-1475

USE FROM Requirement_assignment_arm;    -- ISO/TS 10303-1233


TYPE verification_evidence_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;

ENTITY Verification;
  verifies : Requirement_assignment;
INVERSE
  verified_by : SET[1:?] OF Verification_evidence FOR for_verification;
END_ENTITY;

ENTITY Verification_evidence;
  for_verification : Verification;
  items : SET[1:?] OF verification_evidence_item;
END_ENTITY;

ENTITY Verification_relationship;
  relating : Verification;
  related : Verification;
END_ENTITY;

END_SCHEMA;  -- Verification_and_validation_arm