SCHEMA fault_states_dex;
TYPE activity_item =
SELECT
(Activity,
Applied_state_assignment,
Applied_state_definition_assignment,
Document,
Document_version,
Effectivity,
Organization,
Person,
Person_in_organization,
Product,
Product_version,
Product_view_definition,
State,
State_assertion,
View_definition_relationship);
END_TYPE;
TYPE activity_method_item =
SELECT
(Activity,
Activity_method,
Breakdown_element,
Breakdown_element_definition,
Breakdown_element_version,
Document,
Document_version,
Organization,
Part,
Part_version,
Part_view_definition,
Person,
Person_in_organization,
Product,
Product_as_individual,
Product_version,
Product_view_definition,
Project,
View_definition_relationship);
END_TYPE;
TYPE any_number_value =
NUMBER;
END_TYPE;
TYPE any_string_value =
STRING;
END_TYPE;
TYPE approval_item =
SELECT
(Activity,
Activity_method,
Activity_method_relationship,
Applied_activity_method_assignment,
Applied_state_assignment,
Applied_state_definition_assignment,
Assembly_component_relationship,
Assigned_property,
Breakdown,
Breakdown_element,
Breakdown_element_definition,
Breakdown_element_realization,
Breakdown_element_version,
Breakdown_version,
Classification_assignment,
Condition,
Condition_assignment,
Date_or_date_time_assignment,
Document_assignment,
Document_version,
Identification_assignment,
In_zone,
Organization_or_person_in_organization_assignment,
Part,
Part_version,
Part_view_definition,
Person_in_organization,
Product_as_realized,
Product_category_assignment,
Product_concept,
Product_configuration,
Product_in_slot,
Product_relationship,
Project,
Project_assignment,
Slot_as_planned,
Slot_as_realized,
Slot_design,
Slot_on_product,
View_definition_context);
END_TYPE;
TYPE assigned_document_select =
SELECT
(Document,
Document_version);
END_TYPE;
TYPE breakdown_item =
SELECT
(Breakdown_element_definition);
END_TYPE;
TYPE classification_item =
SELECT
(Activity,
Activity_method,
Activity_method_relationship,
Applied_activity_method_assignment,
Applied_state_assignment,
Applied_state_definition_assignment,
Approval,
Approval_assignment,
Approval_relationship,
Approval_status,
Approving_person_organization,
Assigned_property,
Breakdown,
Breakdown_context,
Breakdown_element,
Breakdown_element_realization,
Breakdown_element_version,
Calendar_date,
Class,
Condition,
Condition_assignment,
Condition_parameter,
Condition_relationship,
Context_dependent_unit,
Date_or_date_time_assignment,
Date_time,
Document,
Document_assignment,
Document_version,
Effectivity,
Identification_assignment,
Market,
Organization,
Organization_or_person_in_organization_assignment,
Part,
Part_version,
Part_view_definition,
Partial_document_assignment,
Person,
Person_in_organization,
Product,
Product_as_realized,
Product_category,
Product_concept,
Product_configuration,
Product_relationship,
Product_version,
Product_view_definition,
Project,
Project_assignment,
Property_representation,
Representation,
Representation_context,
Representation_item,
State,
State_definition,
State_definition_relationship,
Uncertainty_with_unit,
Unit,
Value_with_unit,
View_definition_context,
View_definition_relationship);
END_TYPE;
TYPE classified_attribute_select =
SELECT
(Activity,
Activity_method,
Applied_state_assignment,
Applied_state_definition_assignment,
Approval,
Approval_assignment,
Approval_relationship,
Approval_status,
Approving_person_organization,
Assigned_property,
Breakdown_context,
Breakdown_element_realization,
Condition,
Condition_parameter,
Condition_relationship,
Context_dependent_unit,
Date_or_date_time_assignment,
Document_assignment,
Effectivity,
Identification_assignment,
Market,
Organization_or_person_in_organization_assignment,
Part_view_definition,
Partial_document_assignment,
Person_in_organization,
Product,
Product_category,
Product_concept,
Product_relationship,
Product_view_definition,
Project_assignment,
Property_representation,
Representation,
Representation_context,
Representation_item,
State,
State_definition,
State_definition_relationship,
Uncertainty_with_unit,
Unit,
Value_with_unit,
View_definition_context,
View_definition_relationship);
END_TYPE;
TYPE condition_item =
SELECT
(Activity,
Activity_method_relationship,
Applied_activity_method_assignment,
Approval,
Approval_assignment,
Assigned_property,
Document_assignment,
Product_definition_element_relationship,
State_definition,
State_definition_relationship,
View_definition_relationship);
END_TYPE;
TYPE condition_parameter_item =
SELECT
(Activity,
Activity_method,
Approval,
Approval_assignment,
Assigned_property,
Calendar_date,
Classification_assignment,
Condition_relationship,
Date_or_date_time_assignment,
Date_time,
Document_assignment,
Identification_assignment,
Organization_or_person_in_organization_assignment,
Product,
Product_as_individual,
Product_category_assignment,
Product_concept,
Product_definition_element_relationship,
Product_version,
Product_view_definition,
Property_representation,
Representation,
State,
State_definition,
View_definition_relationship);
END_TYPE;
TYPE date_or_date_time_item =
SELECT
(Activity,
Activity_method,
Activity_method_relationship,
Applied_activity_method_assignment,
Applied_state_assignment,
Applied_state_definition_assignment,
Assembly_component_relationship,
Assigned_property,
Breakdown,
Breakdown_element,
Breakdown_element_realization,
Breakdown_version,
Classification_assignment,
Condition,
Condition_assignment,
Date_or_date_time_assignment,
Document,
Document_assignment,
Document_version,
Identification_assignment,
Organization_or_person_in_organization_assignment,
Part,
Part_version,
Part_view_definition,
Person,
Person_in_organization,
Product_as_realized,
Product_category_assignment,
Product_concept,
Product_configuration,
Product_in_slot,
Product_relationship,
Product_version,
Product_view_definition,
Project,
Project_assignment,
Representation,
Slot,
Slot_definition,
Slot_version,
State,
State_assertion,
State_definition,
State_definition_relationship,
View_definition_context);
END_TYPE;
TYPE date_or_date_time_select =
SELECT
(Calendar_date,
Date_time);
END_TYPE;
TYPE date_or_event =
SELECT
(Calendar_date,
Date_time);
END_TYPE;
TYPE day_in_month_number =
INTEGER
;
WHERE
WR1: {1 <= SELF <= 31};
END_TYPE;
TYPE documented_element_select =
SELECT
(Activity,
Activity_method,
Activity_method_relationship,
Applied_activity_method_assignment,
Approval,
Approval_assignment,
Assembly_component_relationship,
Assigned_property,
Breakdown,
Breakdown_context,
Breakdown_element,
Breakdown_element_realization,
Breakdown_version,
Condition,
Document,
Document_version,
Identification_assignment,
Organization,
Organization_or_person_in_organization_assignment,
Part,
Part_version,
Part_view_definition,
Person,
Product,
Product_as_realized,
Product_concept,
Product_configuration,
Product_relationship,
Product_version,
Product_view_definition,
Project,
Slot,
Slot_version,
State,
State_assertion,
State_definition);
END_TYPE;
TYPE hour_in_day =
INTEGER
;
WHERE
WR1: {0 <= SELF < 24};
END_TYPE;
TYPE identification_item =
SELECT
(Activity,
Activity_method,
Activity_method_relationship,
Applied_activity_method_assignment,
Applied_state_assignment,
Applied_state_definition_assignment,
Approval,
Approval_status,
Assigned_property,
Breakdown,
Breakdown_element,
Breakdown_element_definition,
Breakdown_element_version,
Breakdown_version,
Condition,
Document,
Document_version,
Organization,
Organization_or_person_in_organization_assignment,
Part,
Part_version,
Part_view_definition,
Person,
Person_in_organization,
Product_as_individual,
Product_as_realized,
Product_concept,
Product_configuration,
Product_relationship,
Project,
Slot,
Slot_definition,
Slot_version,
State,
State_assertion,
State_definition,
State_definition_relationship,
View_definition_relationship);
END_TYPE;
TYPE in_zone_item =
SELECT
(Product_view_definition);
END_TYPE;
TYPE length_measure =
REAL;
END_TYPE;
TYPE limit_qualifier_list =
ENUMERATION
OF
(minimum,
maximum);
END_TYPE;
TYPE measure_value =
SELECT
(any_number_value,
any_string_value,
length_measure,
plane_angle_measure);
END_TYPE;
TYPE minute_in_hour =
INTEGER
;
WHERE
WR1: {0 <= SELF <= 59};
END_TYPE;
TYPE month_in_year_number =
INTEGER
;
WHERE
WR1: {1 <= SELF <= 12};
END_TYPE;
TYPE offset_orientation =
ENUMERATION
OF
(ahead,
exact,
behind);
END_TYPE;
TYPE organization_or_person_in_organization_item =
SELECT
(Activity,
Activity_method,
Activity_method_relationship,
Applied_activity_method_assignment,
Applied_state_assignment,
Applied_state_definition_assignment,
Assembly_component_relationship,
Assigned_property,
Breakdown,
Breakdown_element,
Breakdown_element_realization,
Breakdown_version,
Classification_assignment,
Condition,
Condition_assignment,
Date_or_date_time_assignment,
Document,
Document_assignment,
Document_version,
Identification_assignment,
Organization_or_person_in_organization_assignment,
Part,
Part_version,
Part_view_definition,
Person_in_organization,
Product_as_realized,
Product_category,
Product_category_assignment,
Product_configuration,
Product_relationship,
Product_version,
Product_view_definition,
Project,
Project_assignment,
Representation,
State,
State_assertion,
State_definition,
State_definition_relationship,
View_definition_context);
END_TYPE;
TYPE organization_or_person_in_organization_select =
SELECT
(Organization,
Person_in_organization);
END_TYPE;
TYPE plane_angle_measure =
REAL;
END_TYPE;
TYPE product_item =
SELECT
(Product_view_definition,
View_definition_usage);
END_TYPE;
TYPE project_item =
SELECT
(Activity,
Activity_method,
Activity_method_relationship,
Applied_activity_method_assignment,
Breakdown,
Product,
Product_concept,
Product_configuration,
Product_version);
END_TYPE;
TYPE property_assignment_select =
SELECT
(Applied_activity_method_assignment,
Applied_state_assignment,
Applied_state_definition_assignment,
Breakdown_element_realization,
Organization_or_person_in_organization_assignment,
Part_view_definition,
Product_view_definition,
State,
State_definition,
State_definition_relationship,
View_definition_relationship);
END_TYPE;
TYPE second_in_minute =
REAL
;
WHERE
WR1: {0 <= SELF <= 60.000000};
END_TYPE;
TYPE state_definition_of_item =
SELECT
(Activity,
Activity_method,
Applied_activity_method_assignment,
Assembly_component_relationship,
Breakdown,
Breakdown_element,
Breakdown_element_definition,
Breakdown_element_realization,
Breakdown_element_version,
Document,
Document_version,
Organization,
Part,
Part_version,
Part_view_definition,
Person_in_organization,
Product_as_realized,
Product_category,
Product_configuration,
Product_in_slot,
Project,
Slot,
Slot_definition,
Slot_on_product,
Slot_version);
END_TYPE;
TYPE state_of_item =
SELECT
(Activity,
Assembly_component_relationship,
Breakdown,
Breakdown_element,
Breakdown_element_definition,
Breakdown_element_realization,
Breakdown_element_version,
Breakdown_version,
Document,
Document_version,
Organization,
Part,
Part_version,
Part_view_definition,
Person_in_organization,
Product,
Product_as_realized,
Product_configuration,
Product_in_slot,
Product_version,
Project,
Slot,
Slot_definition,
Slot_on_product,
Slot_version,
View_definition_relationship);
END_TYPE;
TYPE version_or_definition =
SELECT
(Product_version,
Product_view_definition);
END_TYPE;
TYPE year_number =
INTEGER;
END_TYPE;
ENTITY Activity;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
chosen_method : Activity_method;
END_ENTITY;
ENTITY Activity_actual
SUBTYPE OF (Activity);
END_ENTITY;
ENTITY Activity_happening
SUBTYPE OF (Activity_relationship);
SELF\Activity_relationship.relating_activity : Activity_actual;
DERIVE
actual : Activity_actual := SELF\Activity_relationship.relating_activity;
predicted : Activity := SELF\Activity_relationship.related_activity;
WHERE
WR1: NOT ('ACTIVITY_AS_REALIZED.ACTIVITY_ACTUAL' IN TYPEOF(predicted));
END_ENTITY;
ENTITY Activity_method;
name : STRING;
description :
OPTIONAL
STRING;
consequence :
OPTIONAL
STRING;
purpose : STRING;
END_ENTITY;
ENTITY Activity_method_relationship;
name : STRING;
description :
OPTIONAL
STRING;
relating_method : Activity_method;
related_method : Activity_method;
END_ENTITY;
ENTITY Activity_relationship;
name : STRING;
description :
OPTIONAL
STRING;
relating_activity : Activity;
related_activity : Activity;
END_ENTITY;
ENTITY Activity_status;
assigned_activity : Activity;
status : STRING;
END_ENTITY;
ENTITY Amount_of_substance_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY And_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
ENTITY Applied_activity_method_assignment;
assigned_activity_method : Activity_method;
items : SET[1:?] OF activity_method_item;
role : STRING;
END_ENTITY;
ENTITY Applied_state_assignment;
described_state : State;
assigned_to : state_of_item;
role : State_role;
END_ENTITY;
ENTITY Applied_state_definition_assignment;
described_state_definition : State_definition;
assigned_to : state_definition_of_item;
role : State_definition_role;
END_ENTITY;
ENTITY Approval;
status : Approval_status;
purpose : STRING;
planned_date :
OPTIONAL
date_or_date_time_select;
actual_date :
OPTIONAL
date_or_date_time_select;
END_ENTITY;
ENTITY Approval_assignment;
assigned_approval : Approval;
items : SET[1:?] OF approval_item;
role :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Approval_relationship;
relation_type : STRING;
description :
OPTIONAL
STRING;
relating_approval : Approval;
related_approval : Approval;
END_ENTITY;
ENTITY Approval_status;
status_name : STRING;
END_ENTITY;
ENTITY Approving_person_organization;
person_organization : organization_or_person_in_organization_select;
approval_date :
OPTIONAL
date_or_date_time_select;
authorized_approval : Approval;
role :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Assembly_component_relationship
ABSTRACT SUPERTYPE
OF (ONEOF (Next_assembly_usage,
Promissory_usage,
Component_upper_level_identification))
SUBTYPE OF (View_definition_usage);
quantity :
OPTIONAL
Value_with_unit;
location_indicator :
OPTIONAL
STRING;
WHERE
WR1: NOT EXISTS(quantity) OR NOT ('NUMBER' IN TYPEOF(quantity.value_component)) XOR (quantity.value_component > 0);
END_ENTITY;
ENTITY Assigned_property;
id :
OPTIONAL
STRING;
name : STRING;
description :
OPTIONAL
STRING;
described_element : property_assignment_select;
END_ENTITY;
ENTITY Attribute_classification;
allowed_value : Class;
attribute_name : STRING;
classified_entity : classified_attribute_select;
END_ENTITY;
ENTITY Breakdown
SUPERTYPE OF
(ONEOF (Functional_breakdown,
Physical_breakdown,
System_breakdown,
Zone_breakdown))
SUBTYPE OF (Product);
END_ENTITY;
ENTITY Breakdown_context
SUPERTYPE OF
(ONEOF (Functional_breakdown_context,
Physical_breakdown_context,
System_breakdown_context,
Zone_breakdown_context));
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
breakdown : Breakdown_version;
breakdown_element : Breakdown_element_definition;
END_ENTITY;
ENTITY Breakdown_element
SUPERTYPE OF
(ONEOF (Functional_element,
Physical_element,
System_element,
Zone_element))
SUBTYPE OF (Product);
END_ENTITY;
ENTITY Breakdown_element_definition
SUPERTYPE OF
(ONEOF (Functional_element_definition,
Physical_element_definition,
System_element_definition,
Zone_element_definition))
SUBTYPE OF (Product_view_definition);
SELF\Product_view_definition.defined_version : Breakdown_element_version;
END_ENTITY;
ENTITY Breakdown_element_realization
SUBTYPE OF (Product_definition_element_relationship);
END_ENTITY;
ENTITY Breakdown_element_version
SUPERTYPE OF
(ONEOF (Functional_element_version,
Physical_element_version,
System_element_version,
Zone_element_version))
SUBTYPE OF (Product_version);
SELF\Product_version.of_product : Breakdown_element;
END_ENTITY;
ENTITY Breakdown_of;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
breakdown : Breakdown_version;
of_view : Product_view_definition;
END_ENTITY;
ENTITY Breakdown_version
SUPERTYPE OF
(ONEOF (Functional_breakdown_version,
Physical_breakdown_version,
System_breakdown_version,
Zone_breakdown_version))
SUBTYPE OF (Product_version);
SELF\Product_version.of_product : Breakdown;
INVERSE
breakdown_of : SET[1:1] OF Breakdown_of FOR breakdown;
END_ENTITY;
ENTITY Calendar_date;
year_component : year_number;
month_component : month_in_year_number;
day_component : day_in_month_number;
END_ENTITY;
ENTITY Class;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Classification_assignment;
assigned_class : Class;
items : SET[1:?] OF classification_item;
role :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Component_upper_level_identification
SUBTYPE OF (Assembly_component_relationship);
upper_assembly_relationship : Assembly_component_relationship;
sub_assembly_relationship : Next_assembly_usage;
UNIQUE
UR1: upper_assembly_relationship, sub_assembly_relationship;
WHERE
WR1: SELF :<>: upper_assembly_relationship;
WR2: SELF\View_definition_relationship.relating_view :=: upper_assembly_relationship\View_definition_relationship.relating_view;
WR3: SELF\View_definition_relationship.related_view :=: sub_assembly_relationship\View_definition_relationship.related_view;
WR4: (upper_assembly_relationship\View_definition_relationship.related_view :=: sub_assembly_relationship\View_definition_relationship.relating_view)
OR (SIZEOF(QUERY(pdr <* USEDIN(upper_assembly_relationship\View_definition_relationship.related_view, 'AP239_PRODUCT_LIFE_CYCLE_SUPPORT_ARM_LF.VIEW_DEFINITION_RELATIONSHIP.RELATED_VIEW')
| pdr.relating_view :=: sub_assembly_relationship\View_definition_relationship.relating_view)) = 1);
WR5: SIZEOF(['AP239_PRODUCT_LIFE_CYCLE_SUPPORT_ARM_LF.NEXT_ASSEMBLY_USAGE', 'AP239_PRODUCT_LIFE_CYCLE_SUPPORT_ARM_LF.COMPONENT_UPPER_LEVEL_IDENTIFICATION']
* TYPEOF(upper_assembly_relationship)) = 1;
END_ENTITY;
ENTITY Composition_of_state_definition
SUBTYPE OF (State_definition_relationship);
DERIVE
whole : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating;
part : SET[1:?] OF State_definition := SELF\State_definition_relationship.related;
END_ENTITY;
ENTITY Condition;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Condition_assignment;
assigned_condition : Condition;
item : condition_item;
END_ENTITY;
ENTITY Condition_parameter;
name : STRING;
description :
OPTIONAL
STRING;
condition : Condition;
parameter : condition_parameter_item;
END_ENTITY;
ENTITY Condition_relationship;
name : STRING;
description :
OPTIONAL
STRING;
relating_condition : Condition;
related_condition : Condition;
END_ENTITY;
ENTITY Context_dependent_unit
SUBTYPE OF (Unit);
WHERE
WR1: EXISTS(SELF\Unit.name);
END_ENTITY;
ENTITY Conversion_based_unit
SUBTYPE OF (Unit);
conversion_factor : Value_with_unit;
WHERE
WR1: EXISTS(SELF\Unit.name);
END_ENTITY;
ENTITY Date_or_date_time_assignment;
assigned_date : date_or_date_time_select;
role : STRING;
items : SET[1:?] OF date_or_date_time_item;
END_ENTITY;
ENTITY Date_time;
date_component : Calendar_date;
time_component : Local_time;
END_ENTITY;
ENTITY Derived_unit
SUBTYPE OF (Unit);
elements : SET[1:?] OF Derived_unit_element;
END_ENTITY;
ENTITY Derived_unit_element;
base_unit : Unit;
exponent : REAL;
END_ENTITY;
ENTITY Document
SUBTYPE OF (Product);
END_ENTITY;
ENTITY Document_assignment;
assigned_document : assigned_document_select;
is_assigned_to : documented_element_select;
role : STRING;
END_ENTITY;
ENTITY Document_version
SUBTYPE OF (Product_version);
SELF\Product_version.of_product : Document;
END_ENTITY;
ENTITY Duration
SUBTYPE OF (Value_with_unit);
WHERE
WR1: 'AP239_PRODUCT_LIFE_CYCLE_SUPPORT_ARM_LF.' + 'TIME_UNIT' IN TYPEOF(SELF\Value_with_unit.unit);
END_ENTITY;
ENTITY Effectivity;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Electric_current_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY External_class
SUBTYPE OF (Class);
external_source : External_class_library;
END_ENTITY;
ENTITY External_class_library;
id : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Functional_breakdown
SUBTYPE OF (Breakdown);
END_ENTITY;
ENTITY Functional_breakdown_context
SUBTYPE OF (Breakdown_context);
SELF\Breakdown_context.breakdown : Functional_breakdown_version;
SELF\Breakdown_context.breakdown_element : Functional_element_definition;
END_ENTITY;
ENTITY Functional_breakdown_version
SUBTYPE OF (Breakdown_version);
SELF\Breakdown_version.of_product : Functional_breakdown;
END_ENTITY;
ENTITY Functional_element
SUBTYPE OF (Breakdown_element);
END_ENTITY;
ENTITY Functional_element_definition
SUBTYPE OF (Breakdown_element_definition);
SELF\Breakdown_element_definition.defined_version : Functional_element_version;
END_ENTITY;
ENTITY Functional_element_version
SUBTYPE OF (Breakdown_element_version);
SELF\Breakdown_element_version.of_product : Functional_element;
END_ENTITY;
ENTITY Identification_assignment;
identifier : STRING;
role : STRING;
description :
OPTIONAL
STRING;
items : SET[1:?] OF identification_item;
END_ENTITY;
ENTITY In_zone;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
located_item : in_zone_item;
zone : Zone_element_definition;
END_ENTITY;
ENTITY Item_design_association;
configuration : Product_configuration;
design : version_or_definition;
UNIQUE
UR1: configuration, design;
END_ENTITY;
ENTITY Item_usage_effectivity;
effectivity_domain : Effectivity;
item_usage_relationship : View_definition_usage;
resolved_configuration : Item_design_association;
END_ENTITY;
ENTITY Length_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY Local_time;
hour_component : hour_in_day;
minute_component :
OPTIONAL
minute_in_hour;
second_component :
OPTIONAL
second_in_minute;
zone : Time_offset;
END_ENTITY;
ENTITY Luminous_intensity_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY Market;
name : STRING;
market_segment_type :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Mass_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY Measure_item
ABSTRACT SUPERTYPE
OF (ONEOF (Numerical_item_with_unit,
Value_limit,
Value_limit_with_global_unit,
Value_list,
Value_range,
Value_range_with_global_unit,
Value_with_tolerances))
SUBTYPE OF (Representation_item);
WHERE
WR1: SIZEOF(USEDIN(SELF, 'AP239_PRODUCT_LIFE_CYCLE_SUPPORT_ARM_LF.REPRESENTATION.ITEMS')) > 0;
END_ENTITY;
ENTITY Next_assembly_usage
SUBTYPE OF (Assembly_component_relationship);
END_ENTITY;
ENTITY Numerical_item_with_global_unit
SUBTYPE OF (Measure_item);
value_component : measure_value;
WHERE
WR1: SIZEOF(QUERY(pvr <* QUERY(r <* USEDIN(SELF, 'AP239_PRODUCT_LIFE_CYCLE_SUPPORT_ARM_LF.REPRESENTATION.ITEMS') | 'AP239_PRODUCT_LIFE_CYCLE_SUPPORT_ARM_LF.PROPERTY_VALUE_REPRESENTATION'
IN TYPEOF(r)) | EXISTS(pvr.context_of_items.units))) > 0;
END_ENTITY;
ENTITY Numerical_item_with_unit
SUBTYPE OF (Measure_item, Value_with_unit);
END_ENTITY;
ENTITY Numerical_representation_context
SUBTYPE OF (Representation_context);
units :
OPTIONAL
SET[1:?] OF Unit;
accuracies :
OPTIONAL
SET[1:?] OF Uncertainty_with_unit;
END_ENTITY;
ENTITY Or_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
ENTITY Organization;
id : STRING;
name : STRING;
END_ENTITY;
ENTITY Organization_or_person_in_organization_assignment;
assigned_entity : organization_or_person_in_organization_select;
role : STRING;
items : SET[1:?] OF organization_or_person_in_organization_item;
END_ENTITY;
ENTITY Part
SUBTYPE OF (Product);
WHERE
WR1: SIZEOF(['part', 'raw material'] * types_of_product(SELF)) = 1;
END_ENTITY;
ENTITY Part_version
SUBTYPE OF (Product_version);
SELF\Product_version.of_product : Part;
END_ENTITY;
ENTITY Part_view_definition
SUBTYPE OF (Product_view_definition);
SELF\Product_view_definition.defined_version : Part_version;
END_ENTITY;
ENTITY Partial_document_assignment
SUBTYPE OF (Document_assignment);
document_portion : STRING;
END_ENTITY;
ENTITY Person;
last_name : STRING;
first_name :
OPTIONAL
STRING;
middle_names :
OPTIONAL
LIST[1:?] OF STRING;
prefix_titles :
OPTIONAL
LIST[1:?] OF STRING;
suffix_titles :
OPTIONAL
LIST[1:?] OF STRING;
END_ENTITY;
ENTITY Person_in_organization;
concerned_person : Person;
containing_organization : Organization;
role : STRING;
UNIQUE
person_is_unique_in_organization: concerned_person, containing_organization;
END_ENTITY;
ENTITY Physical_breakdown
SUBTYPE OF (Breakdown);
END_ENTITY;
ENTITY Physical_breakdown_context
SUBTYPE OF (Breakdown_context);
SELF\Breakdown_context.breakdown : Physical_breakdown_version;
SELF\Breakdown_context.breakdown_element : Physical_element_definition;
END_ENTITY;
ENTITY Physical_breakdown_version
SUBTYPE OF (Breakdown_version);
SELF\Breakdown_version.of_product : Physical_breakdown;
END_ENTITY;
ENTITY Physical_element
SUBTYPE OF (Breakdown_element);
END_ENTITY;
ENTITY Physical_element_definition
SUBTYPE OF (Breakdown_element_definition);
SELF\Breakdown_element_definition.defined_version : Physical_element_version;
END_ENTITY;
ENTITY Physical_element_version
SUBTYPE OF (Breakdown_element_version);
SELF\Breakdown_element_version.of_product : Physical_element;
END_ENTITY;
ENTITY Plane_angle_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY Product
ABSTRACT SUPERTYPE
OF (ONEOF (Breakdown,
Breakdown_element,
Document,
Part,
Slot));
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Product_as_individual
ABSTRACT SUPERTYPE
OF (ONEOF (Product_as_realized))
SUBTYPE OF (Product_version);
END_ENTITY;
ENTITY Product_as_realized
SUBTYPE OF (Product_as_individual);
END_ENTITY;
ENTITY Product_category;
id :
OPTIONAL
STRING;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Product_category_assignment;
category : Product_category;
products : SET[1:?] OF Product;
END_ENTITY;
ENTITY Product_category_hierarchy;
super_category : Product_category;
sub_category : Product_category;
END_ENTITY;
ENTITY Product_concept;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
target_market :
OPTIONAL
Market;
UNIQUE
UR1: id;
END_ENTITY;
ENTITY Product_configuration;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
item_context : Product_concept;
INVERSE
corresponding_design : SET[0:1] OF Item_design_association FOR configuration;
END_ENTITY;
ENTITY Product_definition_element_relationship;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
breakdown : breakdown_item;
product : product_item;
END_ENTITY;
ENTITY Product_in_slot
SUBTYPE OF (View_definition_usage);
name : STRING;
SELF\View_definition_relationship.related_view : Slot_definition;
DERIVE
product : Product_view_definition := SELF\View_definition_relationship.relating_view;
slot : Slot_definition := SELF\View_definition_relationship.related_view;
END_ENTITY;
ENTITY Product_relationship;
relation_type : STRING;
description :
OPTIONAL
STRING;
relating_product : Product;
related_product : Product;
END_ENTITY;
ENTITY Product_version
ABSTRACT SUPERTYPE
OF (ONEOF (Breakdown_element_version,
Breakdown_version,
Document_version,
Part_version,
Product_as_individual,
Slot_version));
id : STRING;
description :
OPTIONAL
STRING;
of_product : Product;
END_ENTITY;
ENTITY Product_view_definition
SUPERTYPE OF
(ONEOF (Breakdown_element_definition,
Part_view_definition,
Slot_definition));
id : STRING;
name :
OPTIONAL
STRING;
additional_characterization :
OPTIONAL
STRING;
initial_context : View_definition_context;
additional_contexts : SET OF View_definition_context;
defined_version : Product_version;
WHERE
WR1: NOT (initial_context IN additional_contexts);
END_ENTITY;
ENTITY Project;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
responsible_organizations : SET OF Organization;
planned_start_date :
OPTIONAL
date_or_event;
planned_end_date :
OPTIONAL
date_or_event;
actual_start_date :
OPTIONAL
date_or_date_time_select;
actual_end_date :
OPTIONAL
date_or_date_time_select;
END_ENTITY;
ENTITY Project_assignment;
assigned_project : Project;
role : STRING;
items : SET OF project_item;
END_ENTITY;
ENTITY Promissory_usage
SUBTYPE OF (Assembly_component_relationship);
END_ENTITY;
ENTITY Property_representation;
description :
OPTIONAL
STRING;
property : Assigned_property;
rep : Representation;
role :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Property_value_representation
SUBTYPE OF (Representation);
SELF\Representation.context_of_items : Numerical_representation_context;
END_ENTITY;
ENTITY Qualified_property_value_representation
SUBTYPE OF (Property_value_representation);
value_determination :
OPTIONAL
STRING;
qualifier :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Ratio_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY Representation;
id :
OPTIONAL
STRING;
name : STRING;
description :
OPTIONAL
STRING;
context_of_items : Representation_context;
items : SET[1:?] OF Representation_item;
END_ENTITY;
ENTITY Representation_context;
id : STRING;
kind : STRING;
INVERSE
representations_in_context : SET[1:?] OF Representation FOR context_of_items;
END_ENTITY;
ENTITY Representation_item;
name : STRING;
END_ENTITY;
ENTITY Representation_relationship;
relation_type : STRING;
description : STRING;
rep_1 : Representation;
rep_2 : Representation;
END_ENTITY;
ENTITY Sequence_of_state_definition
SUBTYPE OF (State_definition_relationship);
DERIVE
successor : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating;
predecessor : SET[1:?] OF State_definition := SELF\State_definition_relationship.related;
END_ENTITY;
ENTITY Slot
SUBTYPE OF (Product);
END_ENTITY;
ENTITY Slot_as_planned
SUBTYPE OF (Slot_version);
END_ENTITY;
ENTITY Slot_as_realized
SUBTYPE OF (Slot_version);
END_ENTITY;
ENTITY Slot_definition
SUBTYPE OF (Product_view_definition);
SELF\Product_view_definition.defined_version : Slot_version;
END_ENTITY;
ENTITY Slot_design
SUBTYPE OF (Slot_version);
END_ENTITY;
ENTITY Slot_on_product;
id : STRING;
name : STRING;
description :
OPTIONAL
STRING;
product : Product_view_definition;
slot : Slot_definition;
END_ENTITY;
ENTITY Slot_version
SUPERTYPE OF
(ONEOF (Slot_as_planned,
Slot_as_realized,
Slot_design))
SUBTYPE OF (Product_version);
SELF\Product_version.of_product : Slot;
END_ENTITY;
ENTITY Solid_angle_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY State;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY State_assertion;
name : STRING;
description :
OPTIONAL
STRING;
asserted_state : State;
conformance_state : State_definition;
END_ENTITY;
ENTITY State_cause_effect_definition
SUBTYPE OF (State_definition_relationship);
DERIVE
effect : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating;
cause : SET[1:?] OF State_definition := SELF\State_definition_relationship.related;
END_ENTITY;
ENTITY State_complement_definition
SUBTYPE OF (State_definition_relationship);
set_2 : SET[1:?] OF State_definition;
DERIVE
universe : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating;
set_1 : SET[1:?] OF State_definition := SELF\State_definition_relationship.related;
END_ENTITY;
ENTITY State_definition;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY State_definition_relationship;
name : STRING;
description :
OPTIONAL
STRING;
relating : SET[1:?] OF State_definition;
related : SET[1:?] OF State_definition;
END_ENTITY;
ENTITY State_definition_role;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY State_proper_subset_definition
SUBTYPE OF (State_definition_relationship);
DERIVE
proper_subset : SET[1:?] OF State_definition := SELF\State_definition_relationship.related;
proper_superset : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating;
END_ENTITY;
ENTITY State_role;
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY State_subset_definition
SUBTYPE OF (State_definition_relationship);
DERIVE
superset : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating;
subset : SET[1:?] OF State_definition := SELF\State_definition_relationship.related;
END_ENTITY;
ENTITY State_symptom_definition
SUBTYPE OF (State_definition_relationship);
DERIVE
symptom_effect : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating;
symptom_cause : SET[1:?] OF State_definition := SELF\State_definition_relationship.related;
END_ENTITY;
ENTITY State_transition_definition
SUBTYPE OF (State_definition_relationship);
DERIVE
end_state : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating;
start_state : SET[1:?] OF State_definition := SELF\State_definition_relationship.related;
END_ENTITY;
ENTITY String_representation_item
SUBTYPE OF (Representation_item);
string_value : STRING;
END_ENTITY;
ENTITY System_breakdown
SUBTYPE OF (Breakdown);
END_ENTITY;
ENTITY System_breakdown_context
SUBTYPE OF (Breakdown_context);
SELF\Breakdown_context.breakdown : System_breakdown_version;
SELF\Breakdown_context.breakdown_element : System_element_definition;
END_ENTITY;
ENTITY System_breakdown_version
SUBTYPE OF (Breakdown_version);
SELF\Breakdown_version.of_product : System_breakdown;
END_ENTITY;
ENTITY System_element
SUBTYPE OF (Breakdown_element);
END_ENTITY;
ENTITY System_element_definition
SUBTYPE OF (Breakdown_element_definition);
SELF\Breakdown_element_definition.defined_version : System_element_version;
END_ENTITY;
ENTITY System_element_version
SUBTYPE OF (Breakdown_element_version);
SELF\Breakdown_element_version.of_product : System_element;
END_ENTITY;
ENTITY Thermodynamic_temperature_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY Time_offset;
hour_offset : INTEGER;
minute_offset :
OPTIONAL
INTEGER;
sense : offset_orientation;
DERIVE
actual_minute_offset : INTEGER := NVL(minute_offset, 0);
WHERE
WR1: {0 <= hour_offset < 24};
WR2: {0 <= minute_offset <= 59};
WR3: NOT (((hour_offset <> 0) OR (actual_minute_offset <> 0)) AND (sense = exact));
END_ENTITY;
ENTITY Time_unit
SUBTYPE OF (Unit);
END_ENTITY;
ENTITY Uncertainty_with_unit
SUBTYPE OF (Value_with_unit);
name : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY Unit
SUPERTYPE OF
(ONEOF (Amount_of_substance_unit,
Electric_current_unit,
Length_unit,
Luminous_intensity_unit,
Mass_unit,
Plane_angle_unit,
Ratio_unit,
Solid_angle_unit,
Thermodynamic_temperature_unit,
Time_unit));
name :
OPTIONAL
STRING;
si_unit : BOOLEAN;
END_ENTITY;
ENTITY Value_limit
SUBTYPE OF (Measure_item);
limit_qualifier : limit_qualifier_list;
limit : Value_with_unit;
END_ENTITY;
ENTITY Value_limit_with_global_unit
SUBTYPE OF (Measure_item);
limit : Numerical_item_with_global_unit;
limit_qualifier : limit_qualifier_list;
END_ENTITY;
ENTITY Value_list
SUBTYPE OF (Measure_item);
values : LIST[1:?] OF Measure_item;
END_ENTITY;
ENTITY Value_range
SUBTYPE OF (Measure_item);
lower_limit : Numerical_item_with_unit;
upper_limit : Numerical_item_with_unit;
END_ENTITY;
ENTITY Value_range_with_global_unit
SUBTYPE OF (Measure_item);
lower_limit : Numerical_item_with_global_unit;
upper_limit : Numerical_item_with_global_unit;
END_ENTITY;
ENTITY Value_with_tolerances
SUBTYPE OF (Measure_item);
item_value : Numerical_item_with_unit;
tolerances : Value_range;
END_ENTITY;
ENTITY Value_with_unit;
unit : Unit;
value_component : measure_value;
END_ENTITY;
ENTITY View_definition_context;
application_domain : STRING;
life_cycle_stage : STRING;
description :
OPTIONAL
STRING;
END_ENTITY;
ENTITY View_definition_relationship
ABSTRACT SUPERTYPE
OF (ONEOF (View_definition_usage));
id : STRING;
relation_type :
OPTIONAL
STRING;
description :
OPTIONAL
STRING;
relating_view : Product_view_definition;
related_view : Product_view_definition;
END_ENTITY;
ENTITY View_definition_usage
SUBTYPE OF (View_definition_relationship);
END_ENTITY;
ENTITY Xor_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
ENTITY Zone_breakdown
SUBTYPE OF (Breakdown);
END_ENTITY;
ENTITY Zone_breakdown_context
SUBTYPE OF (Breakdown_context);
SELF\Breakdown_context.breakdown : Zone_breakdown_version;
SELF\Breakdown_context.breakdown_element : Zone_element_definition;
END_ENTITY;
ENTITY Zone_breakdown_version
SUBTYPE OF (Breakdown_version);
SELF\Breakdown_version.of_product : Zone_breakdown;
END_ENTITY;
ENTITY Zone_element
SUBTYPE OF (Breakdown_element);
END_ENTITY;
ENTITY Zone_element_definition
SUBTYPE OF (Breakdown_element_definition);
SELF\Breakdown_element_definition.defined_version : Zone_element_version;
END_ENTITY;
ENTITY Zone_element_version
SUBTYPE OF (Breakdown_element_version);
SELF\Breakdown_element_version.of_product : Zone_element;
END_ENTITY;
FUNCTION types_of_product
(obj : Product) : SET OF STRING;
LOCAL category_assignments : BAG OF Product_category_assignment; categories : SET OF STRING := []; i : INTEGER; END_LOCAL; category_assignments := USEDIN(obj, 'AP239_PRODUCT_LIFE_CYCLE_SUPPORT_ARM_LF.PRODUCT_CATEGORY_ASSIGNMENT.PRODUCTS'); REPEAT i := LOINDEX(category_assignments) TO HIINDEX(category_assignments); categories := categories + category_assignments[i].category.name; END_REPEAT; RETURN (categories);
END_FUNCTION;