AP scope | AP module | AP contents | AP index | |
Application module: Verification and validation | ISO/WD 10303-1488 |
This clause specifies the information requirements for the Verification and validation application module. The information requirements are specified as the Application Reference Model (ARM) of this application module.
NOTE 1 A graphical representation of the information requirements is given in Annex C.
NOTE 2 The mapping specification is specified in 5.1. It shows how the information requirements are met by using common resources and constructs defined or imported in the MIM schema of this application module.
The following EXPRESS specification begins the Verification_and_validation_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Verification_and_validation_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
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
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Analysis_assignment_arm ISO/WD 10303-1474 Analysis_characterized_arm ISO/WD 10303-1475 Requirement_assignment_arm ISO/TS 10303-1233
NOTE 2 See Annex C, Figures C.1and C.2 for a graphical representation of this schema.
This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.
The verification_evidence_item type is an extensible list of alternate data types. Additional alternate data types are specified in select data types that extend the verification_evidence_item type.
NOTE This empty extensible select requires extension in a further module to ensure that entities that refer to it have at least one valid instantiation.
It is used to identify the data which can be used as evidence in a validation or verification.EXPRESS specification:
*)
TYPE
verification_evidence_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT;
END_TYPE;
(*
This subclause specifies the ARM entities for this module. Each ARM application entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entities and definitions are specified below.
EXPRESS specification:
*)
ENTITY Verification;
verifies : Requirement_assignment;
INVERSE
verified_by : SET[1:?] OF Verification_evidence FOR for_verification;
END_ENTITY;
(*
Attribute definitions:
verifies: the requirement assigned to a particular item which has been verified.
verified_by: the non-empty collection of evidence used in this verification.
EXPRESS specification:
*)
ENTITY Verification_evidence;
for_verification : Verification;
items : SET[1:?] OF verification_evidence_item;
END_ENTITY;
(*
Attribute definitions:
for_verification: identifies the verification for which this evidence has been related.
items: the component data items used to support this evidence.
NOTE This relationship may be classified in other modules to provide more specific meanings.
EXPRESS specification:
*)
ENTITY Verification_relationship;
relating : Verification;
related : Verification;
END_ENTITY;
(*
Attribute definitions:
relating: the first verification in this relationship.
related: the other verification in this relationship.
*)
END_SCHEMA; -- Verification_and_validation_arm
(*
© ISO — All rights reserved