AP scope | AP module | AP contents | AP index | |
Application module: Characterizable object | ISO/TS 10303-1765:2006(E) © ISO |
This clause specifies the information requirements for the Characterizable object 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 Characterizable object schema.
EXPRESS specification:
*)
SCHEMA Characterizable_object_arm;
(*
This subclause specifies the ARM entity for this module. The ARM entity is an atomic element that embodies a unique application concept and contains attributes specifying the data elements of the entity. The ARM entity and definition is specified below.
A Characterizable_object is an object that may be characterized with properties but that cannot be considered as a product or an activity.
EXAMPLE 1 An orbit of a satellite is an example of Characterizable_object.
NOTE A Characterizable_object may be used as an environmental condition under which the properties of a product are measured.
EXAMPLE 2 If a product has a set of properties that are measured within a particular atmosphere, the atmosphere may be described with an instance of the entity data type Characterizable_object.
EXPRESS specification:
*)
ENTITY Characterizable_object;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
(*
Attribute definitions:
name: the words by which the Characterizable_object is known.
description: the text that provides further information about the Characterizable_object. The value of this attribute need not be specified.
This subclause specifies the ARM function for this module. The ARM function and definition is specified below.
It returns the Set containing all elements of specified Bag.
EXPRESS specification:
*)
FUNCTION bag_to_set (the_bag : BAG[0:?] OF GENERIC) :SET[0:?] OF GENERIC;
LOCAL the_set : SET OF GENERIC : intype := []; i : INTEGER; END_LOCAL; IF SIZEOF(the_bag) > 0 THEN REPEAT i := 1 TO HIINDEX(the_bag); the_set := the_set + the_bag[i]; END_REPEAT; END_IF; RETURN(the_set);
END_FUNCTION;
(*
Argument definitions:
the_bag: the bag that needs to be converted.
*)
END_SCHEMA; -- Characterizable_object_arm
(*
© ISO 2006 — All rights reserved