| Integrated application resource: Kinematics | ISO 10303-105:2019(E) © ISO |
The subject of the kinematic_property_schema is the description of kinematic properties and their association with kinematic representations.
This clause defines the information requirements to which implementations shall conform using the EXPRESS language as defined in ISO 10303-11. The following EXPRESS declaration begins the kinematic_property_schema and identifies the necessary external references.Short names of entities defined in this schema are described in Annex A. Unambiguous identification of this schema is defined in Annex B.
EXPRESS specification:
*)
SCHEMA kinematic_property_schema;
REFERENCE FROM
kinematic_structure_schema
--
ISO 10303-105
(kinematic_link_representation,
kinematic_link_representation_association,
mechanism_representation);
REFERENCE FROM
kinematic_topology_schema
--
ISO 10303-105
(kinematic_link,
kinematic_topology_representation_select);
REFERENCE FROM
product_property_definition_schema
--
ISO 10303-41
(property_definition,
product_definition_shape);
REFERENCE FROM
product_definition_schema
--
ISO 10303-41
(product_definition,
product_definition_relationship);
REFERENCE FROM
product_property_representation_schema
--
ISO 10303-41
(property_definition_representation);
REFERENCE FROM
representation_schema
--
ISO 10303-43
(representation_relationship,
using_representations);
(*
NOTE 1 The schemas referenced above are specified in the following parts:
kinematic_structure_schema ISO 10303-105 kinematic_topology_schema ISO 10303-105 product_property_definition_schema ISO 10303-41 product_definition_schema ISO 10303-41 product_property_representation_schema ISO 10303-41 representation_schema ISO 10303-43
NOTE 2 See Annex D for a graphical representation of this schema.
The kinematic_property_schema provides the linking between a mechanism_representation or a kinematic_topology_representation with product_definition. This is done by specialisations of property_definition and property_definition_representation.
EXPRESS specification:
*)
ENTITY context_dependent_kinematic_link_representation;
representation_relation : kinematic_link_representation_association;
represented_product_relation : product_definition_relationship_kinematics;
END_ENTITY;
(*
Attribute definitions:
representation_relation: a kinematic_link_representation_association that is associated with the product_definition_relationship_kinematics.
represented_product_relation: a product_definition_relationship_kinematics. that identifies the shape of the related kinematic_link_representation_association in the context of a product_definition_relationship.
EXPRESS specification:
*)
ENTITY kinematic_property_definition_representation
ABSTRACT SUPERTYPE
OF (ONEOF (kinematic_property_topology_representation,
kinematic_property_mechanism_representation))
SUBTYPE OF (property_definition_representation);
SELF\property_definition_representation.definition : product_definition_kinematics;
END_ENTITY;
(*
Attribute definitions:
definition: an inherited attribute that shall be of type product_definition_kinematics.
EXPRESS specification:
*)
ENTITY kinematic_property_mechanism_representation
SUBTYPE OF (kinematic_property_definition_representation);
SELF\property_definition_representation.used_representation : mechanism_representation;
base : kinematic_link_representation;
WHERE
WR1: SIZEOF( QUERY( i <* used_representation.items |
(base :=: i\representation_relationship.rep_1) OR
(base :=: i\representation_relationship.rep_2))) > 0;
END_ENTITY;
(*
Attribute definitions:
used_representation: an inherited attribute that shall be of type mechanism_representation.
base: a kinematic_link_representation that plays the role of a base for the kinematic_property_mechanism_representation.
Formal propositions:
WR1: The base shall be used by the mechanism_representation.
EXPRESS specification:
*)
ENTITY kinematic_property_topology_representation
SUBTYPE OF (kinematic_property_definition_representation);
SELF\property_definition_representation.used_representation : kinematic_topology_representation_select;
base : kinematic_link;
WHERE
WR1: used_representation IN using_representations(base);
END_ENTITY;
(*
Attribute definitions:
used_representation: an inherited attribute that shall be of type kinematic_topology_representation_select.
base: the initial link of the kinematic_property_topology_representation.
Formal propositions:
WR1: The base shall be founded in the kinematic_topology_representation_select.
EXPRESS specification:
*)
ENTITY product_definition_kinematics
SUBTYPE OF (property_definition);
SELF\property_definition.definition : product_definition;
INVERSE
representation_relation : kinematic_property_definition_representation FOR definition;
UNIQUE
UR1: definition;
END_ENTITY;
(*
Attribute definitions:
definition: an inherited attribute that shall be of type product_definition.
representation_relation: specifies an inverse relationship that specifies that the existence of the product_definition_kinematics is dependent on the existence of the kinematic_property_definition_representation that specifies the product_definition_kinematics as its definition.
Formal propositions:
UR1: The definition shall be unique within a population of product_definition_kinematics.
EXPRESS specification:
*)
ENTITY product_definition_relationship_kinematics
SUBTYPE OF (property_definition);
SELF\property_definition.definition : product_definition_relationship;
UNIQUE
UR1: definition;
END_ENTITY;
(*
Attribute definitions:
definition: an inherited attribute that shall be of type product_definition.
Formal propositions:
UR1: The definition shall be unique within a population of product_definition_relationship_kinematics.
The kps_property_definition_subtypes constraint specifies a constraint that applies to instances of subtypes of property_definition.
A kps_property_definition_subtypes is a constraint that specifies the subtypes product_definition_kinematics, product_definition_relationship_kinematics and product_definition_shape of property_definition are mutually exclusive.EXPRESS specification:
*)
SUBTYPE_CONSTRAINT kps_property_definition_subtypes FOR property_definition;
ONEOF (product_definition_kinematics,
product_definition_relationship_kinematics,
product_definition_shape);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- kinematic_property_schema
(*
© ISO 2019 — All rights reserved