AP scope | AP module | AP contents | AP index | |
Application module: Verification and validation | ISO/WD 10303-1488 |
(*
ISO TC184/SC4/WG12 N4427 - ISO/WD 10303-1488 Verification and validation - EXPRESS 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
© ISO — All rights reserved