|
|
Application module:
Shape property assignment |
ISO/TS 10303-1032:2019(E)
© ISO
|
This clause specifies the information requirements for the
Shape property assignment
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.
This clause defines the information requirements to which implementations shall
conform using the EXPRESS language as defined in ISO 10303-11.
The following begins the
Shape_property_assignment_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Shape_property_assignment_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Assembly_structure_arm;
--
ISO/TS 10303-1026
USE FROM
External_model_arm;
--
ISO/TS 10303-1033
USE FROM
Geometric_model_relationship_arm;
--
ISO/TS 10303-1403
USE FROM
Property_assignment_arm;
--
ISO/TS 10303-1030
USE FROM
Product_view_definition_relationship_arm;
--
ISO/TS 10303-1041
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Assembly_structure_arm |
ISO/TS 10303-1026 |
| External_model_arm |
ISO/TS 10303-1033 |
| Geometric_model_relationship_arm |
ISO/TS 10303-1403 |
| Property_assignment_arm |
ISO/TS 10303-1030 |
| Product_view_definition_relationship_arm |
ISO/TS 10303-1041 |
NOTE 2
See Annex C,
Figures
C.1, C.2and C.3
for a graphical representation of this schema.
This subclause specifies the ARM types
for this application module. The ARM types and
definitions are specified below.
The assigned_shape_property_select type is an
extensible list of alternate data types
that allows for the designation of the data
types Product_occurrence_definition_relationship, Product_view_definition, View_definition_relationship, Shape_element, and Shape_element_relationship.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
assigned_shape_property_select =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Product_occurrence_definition_relationship,
Product_view_definition,
View_definition_relationship,
Shape_element,
Shape_element_relationship);
END_TYPE;
(*
The chained_geometric_model_link type allows for the designation of the data
types
Geometric_placement_operation, Geometric_coordinate_space, and Geometric_model_relationship.
EXPRESS specification:
*)
TYPE
chained_geometric_model_link =
SELECT
(Geometric_placement_operation,
Geometric_coordinate_space,
Geometric_model_relationship);
END_TYPE;
(*
The item_identified_representation_usage_definition type is an
extensible list of alternate data types
that allows for the designation of the data
types Assigned_property, Independent_property, Shape_element, and Shape_element_relationship.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
item_identified_representation_usage_definition =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Assigned_property,
Independent_property,
Shape_element,
Shape_element_relationship);
END_TYPE;
(*
The item_identified_representation_usage_select type allows for the designation of the data
types
Representation_item, list_representation_items, and set_representation_items.
EXPRESS specification:
*)
TYPE
item_identified_representation_usage_select =
SELECT
(Representation_item,
list_representation_items,
set_representation_items);
END_TYPE;
(*
The list_representation_items defines an ordered list of one to many
Representation_item.
EXPRESS specification:
*)
TYPE
list_representation_items =
LIST[1:?] OF Representation_item;
END_TYPE;
(*
The set_representation_items defines an unordered set of one to many
Representation_item.
EXPRESS specification:
*)
TYPE
set_representation_items =
SET[1:?] OF Representation_item;
END_TYPE;
(*
The shape_element_or_relationship_select type allows for the designation of the data
types
Shape_element and Shape_element_relationship.
EXPRESS specification:
*)
TYPE
shape_element_or_relationship_select =
SELECT
(Shape_element,
Shape_element_relationship);
END_TYPE;
(*
The shape_model type is an
extensible list of alternate data types
that allows for the designation of the data
types External_geometric_model and Geometric_model.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
shape_model =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(External_geometric_model,
Geometric_model);
END_TYPE;
(*
The shapeable_item type is an
extensible list of alternate data types
that allows for the designation of the data
types Product_occurrence_definition_relationship, Product_view_definition, and View_definition_relationship.
NOTE
The list of entity data types may be
extended in application modules that use the constructs of
this module.
EXPRESS specification:
*)
TYPE
shapeable_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
(Product_occurrence_definition_relationship,
Product_view_definition,
View_definition_relationship);
END_TYPE;
(*
The spa_property_assignment_select type is an extension
of the
property_assignment_select type.
It adds the data
types
Product_occurrence_definition_relationship, Shape_element, and Shape_element_relationship
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
spa_property_assignment_select =
SELECT
BASED_ON
property_assignment_select
WITH
(Product_occurrence_definition_relationship,
Shape_element,
Shape_element_relationship);
END_TYPE;
(*
The spa_represented_definition type is an extension
of the
represented_definition type.
It adds the data
types
Product_occurrence_definition_relationship, Product_view_definition, View_definition_relationship, Shape_element, and Shape_element_relationship
to the list of alternate data types.
EXPRESS specification:
*)
TYPE
spa_represented_definition =
SELECT
BASED_ON
represented_definition
WITH
(Product_occurrence_definition_relationship,
Product_view_definition,
View_definition_relationship,
Shape_element,
Shape_element_relationship);
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.
An Assigned_shape_property is a type of
Assigned_property
for identifying a shape property for an object.
EXPRESS specification:
*)
ENTITY Assigned_shape_property
SUBTYPE OF (Assigned_property);
SELF\Assigned_property.described_element : assigned_shape_property_select;
END_ENTITY;
(*
Attribute definitions:
described_element:
an inherited attribute that is constrained to be of type
assigned_shape_property_select.
An Item_identified_representation_usage is an identification of a single, list or set of
Representation_items
within a
Representation
as the element(s) that represent an identified target.
EXPRESS specification:
*)
ENTITY Item_identified_representation_usage;
name : STRING;
description :
OPTIONAL
STRING;
definition : item_identified_representation_usage_definition;
used_representation : Representation;
identified_item : item_identified_representation_usage_select;
nodes :
OPTIONAL
LIST[2:?] OF
UNIQUE
Geometric_model;
undirected_link :
OPTIONAL
LIST[1:?] OF
UNIQUE
chained_geometric_model_link;
UNIQUE
UR1: used_representation, identified_item;
UR2: used_representation, definition;
WHERE
WR1: EXISTS(nodes) = EXISTS(undirected_link);
END_ENTITY;
(*
Attribute definitions:
name:
the word or group of words by which the Item_identified_representation_usage is known.
description:
the text that provides further information about the Item_identified_representation_usage.
The value of this attribute need not be specified.
definition:
the target object that is represented through the identified_item.
used_representation:
the
Representation
that describes the property or aspect of which the definition is a part or component, and that contains the identified_item (directly or indirectly) as one of its
items.
identified_item:
the single, list or set of
Representation_items
that represent the target object.
nodes:
the list of two or more
Geometric_model
in the chain.
The value of this attribute need not be specified.
undirected_link:
the list of one or more items that relate nodes in the chain.
The value of this attribute need not be specified.
Formal propositions:
UR1:
The combination of used_representation, identified_item shall be unique.
UR2:
The combination of used_representation, definition shall be unique.
WR1:
For defining a chain of
Representations
to the used_representation both attributes undirected_link and nodes shall have values.
Otherwise both attributes shall have no value.
A Shape_dependent_property_representation is a type of
Property_definition_representation
that is the representation of a characteristic derived from or imposed to a
shapeable_item
or a Shape_element.
NOTE 1
The centre of mass may be represented by a cartesian point.
NOTE 2
The area and the volumes are represented by a measure value with unit.
NOTE 3
The present version of this application module does not enable the representation of whether the characteristics has been
imposed or was derived.
It is expected that a future version will add this capability.
EXPRESS specification:
*)
ENTITY Shape_dependent_property_representation
SUBTYPE OF (Property_definition_representation);
SELF\Property_definition_representation.definition : Assigned_shape_property;
END_ENTITY;
(*
Attribute definitions:
definition:
the
Assigned_shape_property
from which the characteristic has been derived or imposed.
A Shape_description_association is a type of
Property_definition_representation
that is an association of a geometric representation with a
shapeable_item.
EXPRESS specification:
*)
ENTITY Shape_description_association
SUBTYPE OF (Property_definition_representation);
SELF\Property_definition_representation.definition : shapeable_item;
SELF\Property_definition_representation.used_representation : shape_model;
END_ENTITY;
(*
Attribute definitions:
definition:
an inherited attribute that is constrained to be of type
shapeable_item.
used_representation:
an inherited attribute that is constrained to be of type
shape_model.
A Shape_element is a portion of a shape property of product data.
EXAMPLE
The threaded portion of the shape of a bolt may be represented as a Shape_element, so that other properties, such as surface finish, may be associated with it.
EXPRESS specification:
*)
ENTITY Shape_element;
id :
OPTIONAL
STRING;
element_name : STRING;
description :
OPTIONAL
STRING;
associated_definition : shapeable_item;
product_definitional :
OPTIONAL
BOOLEAN;
identified_item :
OPTIONAL
geometric_model_item;
nodes :
OPTIONAL
LIST[2:?] OF
UNIQUE
Geometric_model;
undirected_link :
OPTIONAL
LIST[1:?] OF
UNIQUE
chained_geometric_model_link;
UNIQUE
UR1: id, associated_definition;
WHERE
WR1: EXISTS(element_name) OR (TYPEOF(SELF\Shape_element) <> TYPEOF(SELF));
WR2: EXISTS(nodes) = EXISTS(undirected_link);
END_ENTITY;
(*
Attribute definitions:
id:
the identifier that distinguishes the Shape_element. The value of this attribute need not be specified.
element_name:
the name of the Shape_element.
description:
the text that provides further information about the Shape_element. The value of this attribute need not be specified.
associated_definition:
the Shape_element is an element of the object that is the associated_definition.
product_definitional:
an indication that the Shape_element is on the physical boundary of the associated_definition.
If the value of this attribute is TRUE, the Shape_element being identified is on such a boundary.
If the value is FALSE, the Shape_element being identified is not on such a boundary.
If the value is not provided, it is not known whether the Shape_element being identified is on such a boundary.
identified_item:
the
geometric_model_items
that represent the Shape_element.
The value of this attribute need not be specified.
nodes:
the list of two or more
Geometric_model
in the chain.
The value of this attribute need not be specified.
undirected_link:
the list of one or more items that relate nodes in the chain.
The value of this attribute need not be specified.
Formal propositions:
UR1:
In the case that an id is provided, it shall be unique within the scope of the referenced
shapeable_item.
WR1:
If SELF is exact instance of Shape_element, then element_name
shall be provided.
WR2:
For defining a chain of
Representations
to the primary_shape_representation of the associated_definition, both attributes undirected_link and nodes shall have values.
Otherwise both attributes shall have no value.
A Shape_element_description_association is a type of
Property_definition_representation
that is an association of a geometric representation of a
Shape_element
or a
Shape_element_relationship.
In case the Shape_element_description_association is associated to a
Shape_element_relationship,
the associated geometric model represents characteristic of the related
Shape_element
in the context of its relating
Shape_element.
EXPRESS specification:
*)
ENTITY Shape_element_description_association
SUBTYPE OF (Property_definition_representation);
SELF\Property_definition_representation.definition : shape_element_or_relationship_select;
SELF\Property_definition_representation.used_representation : shape_model;
END_ENTITY;
(*
Attribute definitions:
definition:
an inherited attribute that is constrained to be of type
shape_element_or_relationship_select.
used_representation:
an inherited attribute that is constrained to be of type
shape_model.
A Shape_element_relationship is a relationship between two instances of Shape_element.
EXPRESS specification:
*)
ENTITY Shape_element_relationship;
relation_type :
OPTIONAL
STRING;
description :
OPTIONAL
STRING;
relating : Shape_element;
related : Shape_element;
WHERE
WR1: EXISTS(relation_type) OR (TYPEOF(SELF\Shape_element_relationship) <> TYPEOF(SELF));
END_ENTITY;
(*
Attribute definitions:
relation_type:
the string that specifies the type of the relationship. The value of this attribute need not be specified.
description:
the text that provides further information about the Shape_element_relationship. The value of this attribute need not be specified.
relating:
one of the instances of Shape_element that takes part in the relationship.
related:
the other instance of Shape_element that takes part in the relationship.
Formal propositions:
WR1:
If SELF is exact instance of Shape_element_relationship, then relation_type
shall be provided.
This subclause specifies the ARM subtype constraint for
this module. The subtype constraint places a constraint on the
possible super-type / subtype instantiations.
The ARM subtype constraint and definition is
specified below.
The
property_definition_representation_subtype
constraint specifies a constraint that applies to instances of
Property_definition_representation
and enforces the rule that its subtypes
Shape_description_association, Shape_dependent_property_representation and Shape_element_description_association
are exclusive.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT property_definition_representation_subtype FOR Property_definition_representation;
ONEOF (Shape_description_association,
Shape_dependent_property_representation,
Shape_element_description_association);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Shape_property_assignment_arm
(*
© ISO 2019 — All rights reserved
