|
|
Application module:
Representation with uncertainty |
ISO/TS 10303-1228:2004(E)
© ISO
|
This clause specifies the EXPRESS schema derived from the mapping
table.
It uses elements from the common resources or from other application
modules and defines the EXPRESS constructs that are specific to this
part of ISO 10303.
This clause constitutes the Module Interpreted Module (MIM) of the
application module.
This clause also
specifies the modifications that apply to the constructs
imported from the common resources.
The following restrictions apply to the use, in this schema, of constructs defined in common resources or in application
modules:
-
use of a supertype entity does not make applicable any of its
specializations, unless the specialization is also imported in the
MIM schema;
-
use of a SELECT type does not make applicable any of its listed types
unless the listed type is also imported in the MIM schema.
EXPRESS specification:
*)
SCHEMA Representation_with_uncertainty_mim;
USE FROM
Foundation_representation_mim;
--
ISO/TS 10303-1006
USE FROM
qualified_measure_schema
--
ISO 10303-45
(qualified_representation_item,
standard_uncertainty,
uncertainty_qualifier);
USE FROM
representation_schema
--
ISO 10303-43
(uncertainty_assigned_representation);
USE FROM
Value_with_unit_mim;
--
ISO/TS 10303-1054
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Foundation_representation_mim |
ISO/TS 10303-1006 |
| qualified_measure_schema |
ISO 10303-45 |
| representation_schema |
ISO 10303-43 |
| Value_with_unit_mim |
ISO/TS 10303-1054 |
NOTE 2
See Annex D,
Figure
D.1
for a graphical representation of this schema.
This subclause specifies the MIM rule for
this module. The MIM rule and definition is
specified below.
The consistent_uncertainty rule specifies that any instance of global_uncertainty_assigned_context or uncertainty_assigned_representation shall not contain two instances of uncertainty_measure_with_unit with the same name in their respective uncertainty set.
It also specifies that any qualified_representation_item shall not have any two instances of uncertainty_qualifier with the same measure_name in its set of qualifiers.
EXPRESS specification:
*)
RULE consistent_uncertainty FOR
(global_uncertainty_assigned_context,qualified_representation_item,uncertainty_assigned_representation);
WHERE
WR1: SIZEOF ( QUERY ( guac <* global_uncertainty_assigned_context | SIZEOF ( QUERY ( u1 <* guac.uncertainty | SIZEOF
( QUERY ( u2 <* guac.uncertainty | u2.name = u1.name ) ) >1 ) ) >0 ) ) = 0 ;
WR2: SIZEOF ( QUERY ( uar <* uncertainty_assigned_representation | SIZEOF ( QUERY ( u1<* uar.uncertainty | SIZEOF ( QUERY
( u2 <* uar.uncertainty | u2.name = u1.name ) ) >1 ) ) >0 ) ) = 0;
WR3: SIZEOF ( QUERY ( qri <* qualified_representation_item | SIZEOF ( QUERY ( u1 <* qri.qualifiers | ('REPRESENTATION_WITH_UNCERTAINTY_MIM'
+ '.UNCERTAINTY_QUALIFIER' IN TYPEOF ( u1 ) ) AND ( SIZEOF ( QUERY ( u2 <* qri.qualifiers | ( 'REPRESENTATION_WITH_UNCERTAINTY_MIM'
+ '.UNCERTAINTY_QUALIFIER' IN TYPEOF ( u2 ) ) AND ( u2\uncertainty_qualifier.measure_name = u1\uncertainty_qualifier.measure_name
) ) ) >1 ) ) ) >0 ) ) = 0;
END_RULE;
(*
Argument definitions:
global_uncertainty_assigned_context :
the set of all instances of
global_uncertainty_assigned_context.
qualified_representation_item :
the set of all instances of
qualified_representation_item.
uncertainty_assigned_representation :
the set of all instances of
uncertainty_assigned_representation.
Formal propositions:
WR1:
Each instance of global_uncertainty_assigned_context shall not contain two instances of uncertainty_measure_with_unit with the same name in its uncertainty set.
WR2:
Each instance of uncertainty_assigned_representation shall not contain two instances of uncertainty_measure_with_unit with the same name in its uncertainty set.
WR3:
Each instance of qualified_representation_item shall not have any two instances of uncertainty_qualifier with the same measure_name in its set of qualifiers.
*)
END_SCHEMA; -- Representation_with_uncertainty_mim
(*
© ISO 2004 — All rights reserved
