AP scope  |  AP module  |  AP contents  |  AP index
Application module: Verification and validation ISO/WD 10303-1488

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definition
   4.3 ARM entity definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

(*
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