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