Application module: Pre defined product data management specializations | ISO/TS 10303-1760:2014-02(E) © ISO |
This clause specifies the information requirements for the Pre defined product data management specializations 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 Pre_defined_product_data_management_specializations_arm schema and identifies the necessary external references.
EXPRESS specification:
*)
SCHEMA Pre_defined_product_data_management_specializations_arm;
(*
The following EXPRESS interface statements specify the elements imported from the ARMs of other application modules.
EXPRESS specification:
*)
USE FROM
Activity_arm;
--
ISO/TS 10303-1047
USE FROM
Approval_arm;
--
ISO/TS 10303-1012
USE FROM
External_item_identification_assignment_arm;
--
ISO/TS 10303-1128
USE FROM
Person_organization_assignment_arm;
--
ISO/TS 10303-1013
USE FROM
Security_classification_arm;
--
ISO/TS 10303-1015
USE FROM
Work_request_arm;
--
ISO/TS 10303-1042
(*
NOTE 1 The schemas referenced above are specified in the following part of ISO 10303:
Activity_arm ISO/TS 10303-1047 Approval_arm ISO/TS 10303-1012 External_item_identification_assignment_arm ISO/TS 10303-1128 Person_organization_assignment_arm ISO/TS 10303-1013 Security_classification_arm ISO/TS 10303-1015 Work_request_arm ISO/TS 10303-1042
NOTE 2 See Annex C, Figures C.1, C.2and C.3 for a graphical representation of this schema.
This subclause specifies the ARM constants for this module. The ARM constants and definitions are specified below.
EXPRESS specification:
*)
CONSTANT
(*
EXAMPLE An Activity that is controlled by a Work_order with work order type 'manufacturing release' may be derived from (is based on) another Activity controlled by another Work_order with work order type 'design release'.
NOTE The criteria for 'simultaneity' and in particular the allowed delay between two Activity objects declared simultaneous, are user-dependent.
EXPRESS specification:
*)
Pre_defined_activity_relationship_types :
SET[0:?] OF STRING
:=
[
'alternative',
'decomposition',
'derivation',
'exclusiveness',
'precedence',
'sequence',
'simultaneity'];
(*
EXPRESS specification:
*)
Pre_defined_security_classification_types :
SET[0:?] OF STRING
:=
[
'unclassified',
'classified',
'proprietary',
'confidential',
'secret',
'top secret'];
(*
EXPRESS specification:
*)
Pre_defined_address_assignment_types :
SET[0:?] OF STRING
:=
[
'delivery address',
'postal address',
'visitor address'];
(*
EXAMPLE The 'design supplier' may be a design by means of a 3D model or a drawing.
EXPRESS specification:
*)
Pre_defined_organization_or_person_in_organization_assignment_types :
SET[0:?] OF STRING
:=
[
'author',
'classification officer',
'creator',
'custodian',
'customer',
'design supplier',
'editor',
'id owner',
'location',
'manufacturer',
'owner',
'read access',
'supplier',
'wholesaler',
'write access',
'organization in contract'];
(*
EXPRESS specification:
*)
Pre_defined_approval_status_types :
SET[0:?] OF STRING
:=
[
'approved',
'disapproved',
'withdrawn',
'not yet approved'];
(*
EXPRESS specification:
*)
Pre_defined_approval_types :
SET[0:?] OF STRING
:=
[
'disposition',
'equipment order',
'planning'];
(*
EXAMPLE This role is applicable, e.g., when referring to a Product_as_individual.
EXAMPLE This role is applicable, e.g., when referring to a Product_as_individual.
EXAMPLE This role is applicable, e.g., when referring to a Property.
EXPRESS specification:
*)
Pre_defined_date_or_date_time_assignment_types :
SET[0:?] OF STRING
:=
[
'creation',
'installation',
'production',
'registration',
'update',
'planned',
'actual',
'start date',
'end date',
'release date',
'request date'];
(*
EXPRESS specification:
*)
Pre_defined_work_request_types :
SET[0:?] OF STRING
:=
[
'change of standard',
'cost reduction',
'customer rejection',
'customer request',
'durability improvement',
'government regulation',
'production alignment',
'procurement alignment',
'production relief',
'production requirement',
'quality improvement',
'security reason',
'standardization',
'supplier request',
'technical improvement',
'tool improvement'];
(*
EXPRESS specification:
*)
Pre_defined_work_request_status_types :
SET[0:?] OF STRING
:=
[
'in work',
'issued',
'proposed',
'resolved'];
(*
*)
END_CONSTANT;
(*
This subclause specifies the ARM type for this application module. The ARM type and definition is specified below.
The pdpdms_external_identification_item type is an extension of the external_identification_item type. It adds the data types Externally_defined_activity_relationship, Externally_defined_security_classification, Externally_defined_address_assignment, Externally_defined_organization_or_person_in_organization_assignment, Externally_defined_approval_status, Externally_defined_approval, Externally_defined_date_or_date_time_assignment, Externally_defined_work_request and Externally_defined_work_request_status to the list of alternate data types.
NOTE The list of entity data types may be extended in application modules that use the constructs of this module.
EXPRESS specification:
*)
TYPE
pdpdms_external_identification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
external_identification_item
WITH
(Externally_defined_activity_relationship,
Externally_defined_security_classification,
Externally_defined_address_assignment,
Externally_defined_organization_or_person_in_organization_assignment,
Externally_defined_approval_status,
Externally_defined_approval,
Externally_defined_date_or_date_time_assignment,
Externally_defined_work_request,
Externally_defined_work_request_status);
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.
EXPRESS specification:
*)
ENTITY Externally_defined_activity_relationship
SUBTYPE OF (Activity_relationship);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: NOT (SELF\Activity_relationship.name IN Pre_defined_activity_relationship_types);
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_activity_relationship is dependent on the existence of the External_source_identification that specifies the Externally_defined_activity_relationship as its item.
Formal propositions:
WR1: The name shall not have a value from the Pre_defined_activity_relationship_types.
EXPRESS specification:
*)
ENTITY Externally_defined_address_assignment
SUBTYPE OF (Address_assignment);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: (EXISTS(SELF\Address_assignment.address_type)) AND
(NOT (SELF\Address_assignment.address_type IN Pre_defined_address_assignment_types));
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_address_assignment is dependent on the existence of the External_source_identification that specifies the Externally_defined_address_assignment as its item.
Formal propositions:
WR1: The address_type shall be provided and shall not have a value from the Pre_defined_address_assignment_types.
EXPRESS specification:
*)
ENTITY Externally_defined_approval
SUBTYPE OF (Approval);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: NOT (SELF\Approval.purpose IN Pre_defined_approval_types);
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_approval is dependent on the existence of the External_source_identification that specifies the Externally_defined_approval as its item.
Formal propositions:
WR1: The purpose shall not have a value from the Pre_defined_approval_types.
EXPRESS specification:
*)
ENTITY Externally_defined_approval_status
SUBTYPE OF (Approval_status);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: NOT (SELF\Approval_status.status_name IN Pre_defined_approval_status_types);
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_approval_status is dependent on the existence of the External_source_identification that specifies the Externally_defined_approval_status as its item.
Formal propositions:
WR1: The status_name shall not have a value from the Pre_defined_approval_status_types.
EXPRESS specification:
*)
ENTITY Externally_defined_date_or_date_time_assignment
SUBTYPE OF (Date_or_date_time_assignment);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: NOT (SELF\Date_or_date_time_assignment.role IN Pre_defined_date_or_date_time_assignment_types);
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_date_or_date_time_assignment is dependent on the existence of the External_source_identification that specifies the Externally_defined_date_or_date_time_assignment as its item.
Formal propositions:
WR1: The role shall not have a value from the Pre_defined_date_or_date_time_assignment_types.
EXPRESS specification:
*)
ENTITY Externally_defined_organization_or_person_in_organization_assignment
SUBTYPE OF (Organization_or_person_in_organization_assignment);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: NOT (SELF\Organization_or_person_in_organization_assignment.role IN Pre_defined_organization_or_person_in_organization_assignment_types);
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_organization_or_person_in_organization_assignment is dependent on the existence of the External_source_identification that specifies the Externally_defined_organization_or_person_in_organization_assignment as its item.
Formal propositions:
WR1: The role shall not have a value from the Pre_defined_organization_or_person_in_organization_assignment_types.
EXPRESS specification:
*)
ENTITY Externally_defined_security_classification
SUBTYPE OF (Security_classification);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: NOT (SELF\Security_classification.classification_level IN Pre_defined_security_classification_types);
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_security_classification is dependent on the existence of the External_source_identification that specifies the Externally_defined_security_classification as its item.
Formal propositions:
WR1: The classification_level shall not have a value from the Pre_defined_security_classification_types.
EXPRESS specification:
*)
ENTITY Externally_defined_work_request
SUBTYPE OF (Work_request);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: NOT (SELF\Work_request.purpose IN Pre_defined_work_request_types);
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_work_request is dependent on the existence of the External_source_identification that specifies the Externally_defined_work_request as its item.
Formal propositions:
WR1: The purpose shall not have a value from the Pre_defined_work_request_types.
EXPRESS specification:
*)
ENTITY Externally_defined_work_request_status
SUBTYPE OF (Work_request_status);
INVERSE
source : External_source_identification FOR item;
WHERE
WR1: NOT (SELF\Work_request_status.status IN Pre_defined_work_request_status_types);
END_ENTITY;
(*
Attribute definitions:
source: specifies an inverse relationship that specifies that the existence of the Externally_defined_work_request_status is dependent on the existence of the External_source_identification that specifies the Externally_defined_work_request_status as its item.
Formal propositions:
WR1: The status shall have a value from the Pre_defined_work_request_status_types.
EXPRESS specification:
*)
ENTITY Person_in_organization_relationship;
description :
OPTIONAL
STRING;
relating : Person_in_organization;
related : Person_in_organization;
relation_type : STRING;
END_ENTITY;
(*
Attribute definitions:
description: the text that provides further information about Person_in_organization_relationship. The value of this attribute need not be specified.
relating: an instance specifies a role of the Person_in_organization for the Person_in_organization_relationship.
related: an instance specifies a role of the Person_in_organization for the Person_in_organization_relationship.
relation_type: specifies a string value of a relation type.
EXPRESS specification:
*)
ENTITY Pre_defined_activity_relationship
SUBTYPE OF (Activity_relationship);
WHERE
WR1: SELF\Activity_relationship.name IN Pre_defined_activity_relationship_types;
END_ENTITY;
(*
Formal propositions:
WR1: The name shall have a value from the Pre_defined_activity_relationship_types.
EXPRESS specification:
*)
ENTITY Pre_defined_address_assignment
SUBTYPE OF (Address_assignment);
WHERE
WR1: SELF\Address_assignment.address_type IN Pre_defined_address_assignment_types;
END_ENTITY;
(*
Formal propositions:
WR1: The address_type shall have a value from the Pre_defined_address_assignment_types.
EXPRESS specification:
*)
ENTITY Pre_defined_approval
SUBTYPE OF (Approval);
WHERE
WR1: SELF\Approval.purpose IN Pre_defined_approval_types;
END_ENTITY;
(*
Formal propositions:
WR1: The purpose shall have a value from the Pre_defined_approval_types.
EXPRESS specification:
*)
ENTITY Pre_defined_approval_status
SUBTYPE OF (Approval_status);
WHERE
WR1: SELF\Approval_status.status_name IN Pre_defined_approval_status_types;
END_ENTITY;
(*
Formal propositions:
WR1: The status_name shall have a value from the Pre_defined_approval_status_types.
EXPRESS specification:
*)
ENTITY Pre_defined_date_or_date_time_assignment
SUBTYPE OF (Date_or_date_time_assignment);
WHERE
WR1: SELF\Date_or_date_time_assignment.role IN Pre_defined_date_or_date_time_assignment_types;
END_ENTITY;
(*
Formal propositions:
WR1: The role shall have a value from the Pre_defined_date_or_date_time_assignment_types.
EXPRESS specification:
*)
ENTITY Pre_defined_organization_or_person_in_organization_assignment
SUBTYPE OF (Organization_or_person_in_organization_assignment);
WHERE
WR1: SELF\Organization_or_person_in_organization_assignment.role IN Pre_defined_organization_or_person_in_organization_assignment_types;
END_ENTITY;
(*
Formal propositions:
WR1: The role shall have a value from the Pre_defined_organization_or_person_in_organization_assignment_types.
EXPRESS specification:
*)
ENTITY Pre_defined_security_classification
SUBTYPE OF (Security_classification);
WHERE
WR1: SELF\Security_classification.classification_level IN Pre_defined_security_classification_types;
END_ENTITY;
(*
Formal propositions:
WR1: The classification_level shall have a value from the Pre_defined_security_classification_types.
EXPRESS specification:
*)
ENTITY Pre_defined_work_request
SUBTYPE OF (Work_request);
WHERE
WR1: SELF\Work_request.purpose IN Pre_defined_work_request_types;
END_ENTITY;
(*
Formal propositions:
WR1: The purpose shall have a value from the Pre_defined_work_request_types.
EXPRESS specification:
*)
ENTITY Pre_defined_work_request_status
SUBTYPE OF (Work_request_status);
WHERE
WR1: SELF\Work_request_status.status IN Pre_defined_work_request_status_types;
END_ENTITY;
(*
Formal propositions:
WR1: The status shall have a value from the Pre_defined_work_request_status_types.
This subclause specifies the ARM subtype constraints for this module. Each subtype constraint places constraints on the possible super-type / subtype instantiations. The ARM subtype constraints and definitions are specified below.
The pdpdms_activity_relationship_subtypes constraint specifies that Activity_relationship is an abstract supertype and that defines a constraint that applies to instances of subtypes of Activity_relationship.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_activity_relationship_subtypes FOR Activity_relationship;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_activity_relationship,
Externally_defined_activity_relationship);
END_SUBTYPE_CONSTRAINT;
(*
The pdpdms_security_classification_subtypes constraint specifies that Security_classification is an abstract supertype and that defines a constraint that applies to instances of subtypes of Security_classification.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_security_classification_subtypes FOR Security_classification;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_security_classification,
Externally_defined_security_classification);
END_SUBTYPE_CONSTRAINT;
(*
The pdpdms_address_assignment_subtypes constraint specifies that Address_assignment is an abstract supertype and that defines a constraint that applies to instances of subtypes of Address_assignment.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_address_assignment_subtypes FOR Address_assignment;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_address_assignment,
Externally_defined_address_assignment);
END_SUBTYPE_CONSTRAINT;
(*
The pdpdms_organization_or_person_in_organization_assignment_subtypes constraint specifies that Organization_or_person_in_organization_assignment is an abstract supertype and that defines a constraint that applies to instances of subtypes of Organization_or_person_in_organization_assignment.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_organization_or_person_in_organization_assignment_subtypes FOR Organization_or_person_in_organization_assignment;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_organization_or_person_in_organization_assignment,
Externally_defined_organization_or_person_in_organization_assignment);
END_SUBTYPE_CONSTRAINT;
(*
The pdpdms_approval_status_subtypes constraint specifies that Approval_status is an abstract supertype and that defines a constraint that applies to instances of subtypes of Approval_status.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_approval_status_subtypes FOR Approval_status;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_approval_status,
Externally_defined_approval_status);
END_SUBTYPE_CONSTRAINT;
(*
The pdpdms_approval_subtypes constraint specifies that Approval is an abstract supertype and that defines a constraint that applies to instances of subtypes of Approval.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_approval_subtypes FOR Approval;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_approval,
Externally_defined_approval);
END_SUBTYPE_CONSTRAINT;
(*
The pdpdms_date_or_date_time_assignment_subtypes constraint specifies that Date_or_date_time_assignment is an abstract supertype and that defines a constraint that applies to instances of subtypes of Date_or_date_time_assignment.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_date_or_date_time_assignment_subtypes FOR Date_or_date_time_assignment;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_date_or_date_time_assignment,
Externally_defined_date_or_date_time_assignment);
END_SUBTYPE_CONSTRAINT;
(*
The pdpdms_work_request_subtypes constraint specifies that Work_request is an abstract supertype and that defines a constraint that applies to instances of subtypes of Work_request.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_work_request_subtypes FOR Work_request;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_work_request,
Externally_defined_work_request);
END_SUBTYPE_CONSTRAINT;
(*
The pdpdms_work_request_status_subtypes constraint specifies that Work_request_status is an abstract supertype and that defines a constraint that applies to instances of subtypes of Work_request_status.
EXPRESS specification:
*)
SUBTYPE_CONSTRAINT pdpdms_work_request_status_subtypes FOR Work_request_status;
ABSTRACT SUPERTYPE;
ONEOF (Pre_defined_work_request_status,
Externally_defined_work_request_status);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Pre_defined_product_data_management_specializations_arm
(*
© ISO 2014 — All rights reserved