|
|
Application module:
Part view definition |
ISO/TS 10303-1023:2018-11(E)
© ISO
|
This clause specifies the information requirements for the
Part view definition
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
Part_view_definition_arm
schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Part_view_definition_arm;
(*
The following EXPRESS interface statements specify the elements
imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Part_and_version_identification_arm;
--
ISO/TS 10303-1022
USE FROM
Product_view_definition_arm;
--
ISO/TS 10303-1019
(*
NOTE 1
The schemas referenced above are specified in the following
part of ISO 10303:
| Part_and_version_identification_arm |
ISO/TS 10303-1022 |
| Product_view_definition_arm |
ISO/TS 10303-1019 |
NOTE 2
See Annex C,
Figures
C.1and C.2
for a graphical representation of this schema.
This subclause specifies the ARM type
for this application module. The ARM type and
definition is specified below.
A pvd_life_cycle_stage_enumeration is an identifier for the kind of life-cycle stage for a
Part_view_definition.
EXPRESS specification:
*)
TYPE
pvd_life_cycle_stage_enumeration =
ENUMERATION
BASED_ON
life_cycle_stage_enumeration
WITH
(design);
END_TYPE;
(*
Enumerated item definitions:
design:
the life-cycle stage is design.
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 Additional_part_view_definition_context is a type of
Additional_view_definition_context
that is referenced by
Part_view_definitions
as
additional_contexts.
EXPRESS specification:
*)
ENTITY Additional_part_view_definition_context
SUBTYPE OF (Additional_view_definition_context);
INVERSE
SELF\Additional_view_definition_context.views : SET[1:?] OF Part_view_definition FOR additional_contexts;
END_ENTITY;
(*
Attribute definitions:
views:
an Additional_part_view_definition_context
shall be referenced by at least one
Part_view_definition
as
additional_contexts.
An Initial_part_view_definition_context is a type of
Initial_view_definition_context
that is referenced by
Part_view_definitions
as
initial_context.
EXPRESS specification:
*)
ENTITY Initial_part_view_definition_context
SUBTYPE OF (Initial_view_definition_context);
INVERSE
SELF\Initial_view_definition_context.views : SET[1:?] OF Part_view_definition FOR initial_context;
END_ENTITY;
(*
Attribute definitions:
views:
an Initial_part_view_definition_context
shall be referenced by at least one
Part_view_definition
as
initial_context.
A Part_view_definition is a type of
Product_view_definition
that defines a characterization view of a version of a
Part.
EXPRESS specification:
*)
ENTITY Part_view_definition
SUBTYPE OF (Product_view_definition);
SELF\Product_view_definition.defined_version : Part_version;
SELF\Product_view_definition.initial_context : Initial_part_view_definition_context;
SELF\Product_view_definition.additional_contexts : SET[0:?] OF Additional_part_view_definition_context;
END_ENTITY;
(*
Attribute definitions:
defined_version:
an inherited attribute shall be of type
Part_version
for the Part_view_definition.
initial_context:
an inherited attribute that shall have a value of type
Initial_part_view_definition_context.
additional_contexts:
an inherited attribute shall have a value of type
Additional_part_view_definition_context.
This subclause specifies the ARM rule for
this module. The ARM rule and definition is
specified below.
Every
Product_view_definition
referencing a
Part_version
is a
Part_view_definition.
EXPRESS specification:
*)
RULE part_view_definition_constraint FOR
(Product_view_definition);
WHERE
WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT ( 'PART_VIEW_DEFINITION_ARM.PART_VIEW_DEFINITION' IN TYPEOF (pvd)
) ) AND ( 'PART_VIEW_DEFINITION_ARM.PART_VERSION' IN TYPEOF ( pvd.defined_version) ) ) ) =0;
END_RULE;
(*
Argument definitions:
Product_view_definition :
the set of all instances of
Product_view_definition.
Formal propositions:
WR1:
Every
Product_view_definition
referencing a
Part_version
is a
Part_view_definition.
*)
END_SCHEMA; -- Part_view_definition_arm
(*
© ISO 2018 — All rights reserved
