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

4 Information requirements

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

4.1 Required AM ARMs

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.

4.2 ARM type definition

This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.

4.2.1 verification_evidence_item   EXPRESS-G

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

4.3 ARM entity definitions

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.

4.3.1 Verification   EXPRESS-GMapping table

A Verification is an assertion that a requirement assigned to a particular item has been verified. The evidence used in this verification is identified by the inverse attribute verified_by.

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.

4.3.2 Verification_evidence   EXPRESS-GMapping table

A Verification_evidence is a collector of items used together to provide a single piece of evidence within a verification. For example a document and its approval by a customer may be used together to provide evidence of customer acceptance.

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.

4.3.3 Verification_relationship   EXPRESS-GMapping table

A Verification_relationship is an association between two verifications.

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