(* $Id: arm_lf.exp,v 1.19 2010/11/12 20:52:52 philsp Exp $ ISO TC184/SC4/WG3 N2720 - ISO/TS 10303-433 AP233 systems engineering - EXPRESS ARM Long form Supersedes ISO TC184/SC4/WG3 N2472 *) SCHEMA Ap233_systems_engineering_arm_LF; CONSTANT pre_defined_type_qualifiers : SET OF STRING := ['minimum', 'maximum', 'nominal', 'specified', 'typical', 'calculated', 'designed', 'estimated', 'measured', 'required', 'set point', 'basic', 'lower deviation', 'upper deviation']; END_CONSTANT; TYPE activity_item = SELECT (Activity, Activity_method, Activity_property, Analysis, Analysis_discipline_definition, Analysis_version, Applied_activity_assignment, Applied_state_assignment, Applied_state_definition_assignment, Approval, Assembly_component_relationship, Assigned_document_property, Assigned_property, Behaviour_description_association, Certification, Condition, Contract, Contract_relationship, Descriptive_document_property, Document, Document_definition, Document_version, Effectivity, Event, Event_assignment, Evidence, File, Independent_property, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Issue, Item_usage_effectivity, Justification, Location, Location_representation, Managed_resource, Numerical_document_property, Observation_consequence, Organization, Person, Person_in_organization, Position, Position_group, Product, Product_concept, Product_configuration, Product_group, Product_group_membership, Product_version, Product_version_relationship, Product_view_definition, Project, Required_resource, Required_resource_assignment, Requirement_assignment, Requirement_collection_relationship, Requirement_source, Requirement_version_relationship, Resource_as_realized, Resource_event, Resource_item, Resource_item_realization, Resource_property, Risk_impact_assignment, Risk_perception_source_assignment, Scheme_entry_assignment, State, State_assertion, State_assessment, State_definition, State_relationship, Task_io, Task_io_hierarchy, Tracing_relationship, Validation, Verification, View_definition_relationship, Work_order, Work_output, Work_request); END_TYPE; TYPE activity_method_item = SELECT (Activity, Activity_method, Activity_property, Analysis_assignment, Applied_activity_assignment, Approval_assignment, Assembly_component_relationship, Assigned_property, Behaviour_description_association, Breakdown_element, Breakdown_element_definition, Breakdown_element_usage, Breakdown_element_version, Certification, Condition, Contract, Contract_relationship, Date_or_date_time_assignment, Event, File, In_zone, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Justification, Location, Managed_resource, Observation, Observation_consequence, Organization, Organization_type, Person, Person_in_organization, Position, Position_group, Position_type, Product, Product_as_individual, Product_as_individual_version, Product_as_individual_view, Product_based_location_identification, Product_concept, Product_configuration, Product_group, Product_group_membership, Product_version, Product_version_relationship, Product_view_definition, Project, Required_resource, Required_resource_assignment, Requirement_assignment, Resource_as_realized, Resource_event, Resource_item, Resource_item_realization, Resource_property, Risk_impact_assignment, Risk_perception, Risk_perception_source_assignment, Scheme_entry, Security_classification, State_definition, State_relationship, Task_io, Task_io_hierarchy, Task_method, Task_method_version, Task_objective, Type_of_person, Type_of_person_definition, Verification, View_definition_relationship, Work_output, Work_output_assignment); END_TYPE; TYPE activity_realization_select = SELECT (Activity_method, Scheme, Scheme_version, Task_method, Task_method_version); END_TYPE; TYPE affected_item_select = SELECT (Activity, Activity_method, Activity_property, Analysis_assignment, Approval_assignment, Assembly_component_relationship, Assigned_property, Behaviour_description_association, Certification_assignment, Contract, Contract_relationship, Document_assignment, Event_assignment, File, Group, Information_usage_right, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Issue, Justification_assignment, Organization, Organization_or_person_in_organization_assignment, Person, Person_in_organization, Product, Product_configuration, Product_group, Product_version, Product_view_definition, Project_assignment, Resource_item, Resource_item_realization, Resource_property, Risk, Risk_perception_source_assignment, State, State_definition, Verification, View_definition_relationship, Work_request); END_TYPE; TYPE alias_identification_item = identification_item; WHERE wr1: NOT ('ALIAS_IDENTIFICATION_ARM.ACTIVITY' IN TYPEOF(SELF)); wr2: NOT ('ALIAS_IDENTIFICATION_ARM.ACTIVITY_METHOD' IN TYPEOF(SELF)); wr3: NOT ('ALIAS_IDENTIFICATION_ARM.ACTIVITY_METHOD_REALIZATION' IN TYPEOF(SELF)); wr4: NOT ('ALIAS_IDENTIFICATION_ARM.ACTIVITY_METHOD_REALIZATION_RELATIONSHIP' IN TYPEOF(SELF)); wr5: NOT ('ALIAS_IDENTIFICATION_ARM.ACTIVITY_METHOD_RELATIONSHIP' IN TYPEOF(SELF)); wr6: NOT ('ALIAS_IDENTIFICATION_ARM.ACTIVITY_PROPERTY' IN TYPEOF(SELF)); wr7: NOT ('ALIAS_IDENTIFICATION_ARM.ACTIVITY_RELATIONSHIP' IN TYPEOF(SELF)); wr8: NOT ('ALIAS_IDENTIFICATION_ARM.ADDRESS' IN TYPEOF(SELF)); wr9: NOT ('ALIAS_IDENTIFICATION_ARM.AFFECTED_ITEMS_ASSIGNMENT' IN TYPEOF(SELF)); wr10: NOT ('ALIAS_IDENTIFICATION_ARM.ANALYSIS' IN TYPEOF(SELF)); wr11: NOT ('ALIAS_IDENTIFICATION_ARM.ANALYSIS_VERSION' IN TYPEOF(SELF)); wr12: NOT ('ALIAS_IDENTIFICATION_ARM.APPLIED_ACTIVITY_ASSIGNMENT' IN TYPEOF(SELF)); wr13: NOT ('ALIAS_IDENTIFICATION_ARM.APPLIED_ACTIVITY_METHOD_ASSIGNMENT' IN TYPEOF(SELF)); wr14: NOT ('ALIAS_IDENTIFICATION_ARM.APPLIED_STATE_ASSIGNMENT' IN TYPEOF(SELF)); wr15: NOT ('ALIAS_IDENTIFICATION_ARM.APPLIED_STATE_DEFINITION_ASSIGNMENT' IN TYPEOF(SELF)); wr16: NOT ('ALIAS_IDENTIFICATION_ARM.APPROVAL' IN TYPEOF(SELF)); wr17: NOT ('ALIAS_IDENTIFICATION_ARM.ASSEMBLY_COMPONENT_RELATIONSHIP' IN TYPEOF(SELF)); wr18: NOT ('ALIAS_IDENTIFICATION_ARM.ASSEMBLY_RELATIONSHIP_SUBSTITUTION' IN TYPEOF(SELF)); wr19: NOT ('ALIAS_IDENTIFICATION_ARM.ASSIGNED_PROPERTY' IN TYPEOF(SELF)); wr20: NOT ('ALIAS_IDENTIFICATION_ARM.ASSUMPTION' IN TYPEOF(SELF)); wr21: NOT ('ALIAS_IDENTIFICATION_ARM.ASSUMPTION_RELATIONSHIP' IN TYPEOF(SELF)); wr22: NOT ('ALIAS_IDENTIFICATION_ARM.BEHAVIOUR' IN TYPEOF(SELF)); wr23: NOT ('ALIAS_IDENTIFICATION_ARM.BEHAVIOUR_VERSION' IN TYPEOF(SELF)); wr24: NOT ('ALIAS_IDENTIFICATION_ARM.BEHAVIOUR_VIEW_DEFINITION' IN TYPEOF(SELF)); wr25: NOT ('ALIAS_IDENTIFICATION_ARM.BREAKDOWN' IN TYPEOF(SELF)); wr26: NOT ('ALIAS_IDENTIFICATION_ARM.BREAKDOWN_ELEMENT' IN TYPEOF(SELF)); wr27: NOT ('ALIAS_IDENTIFICATION_ARM.BREAKDOWN_ELEMENT_DEFINITION' IN TYPEOF(SELF)); wr28: NOT ('ALIAS_IDENTIFICATION_ARM.BREAKDOWN_ELEMENT_VERSION' IN TYPEOF(SELF)); wr29: NOT ('ALIAS_IDENTIFICATION_ARM.BREAKDOWN_VERSION' IN TYPEOF(SELF)); wr30: NOT ('ALIAS_IDENTIFICATION_ARM.CERTIFICATION' IN TYPEOF(SELF)); wr31: NOT ('ALIAS_IDENTIFICATION_ARM.CLASS' IN TYPEOF(SELF)); wr32: NOT ('ALIAS_IDENTIFICATION_ARM.CONDITION' IN TYPEOF(SELF)); wr33: NOT ('ALIAS_IDENTIFICATION_ARM.CONDITION_EVALUATION' IN TYPEOF(SELF)); wr34: NOT ('ALIAS_IDENTIFICATION_ARM.CONTRACT_RELATIONSHIP' IN TYPEOF(SELF)); wr35: NOT ('ALIAS_IDENTIFICATION_ARM.DEFINED_STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr36: NOT ('ALIAS_IDENTIFICATION_ARM.DESCRIPTION_TEXT_ASSIGNMENT' IN TYPEOF(SELF)); wr37: NOT ('ALIAS_IDENTIFICATION_ARM.DESCRIPTIVE_DOCUMENT_PROPERTY' IN TYPEOF(SELF)); wr38: NOT ('ALIAS_IDENTIFICATION_ARM.DIRECTED_ACTIVITY' IN TYPEOF(SELF)); wr39: NOT ('ALIAS_IDENTIFICATION_ARM.DISPOSITION' IN TYPEOF(SELF)); wr40: NOT ('ALIAS_IDENTIFICATION_ARM.DOCUMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr41: NOT ('ALIAS_IDENTIFICATION_ARM.DOCUMENT_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr42: NOT ('ALIAS_IDENTIFICATION_ARM.EFFECTIVITY' IN TYPEOF(SELF)); wr43: NOT ('ALIAS_IDENTIFICATION_ARM.ENVIRONMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr44: NOT ('ALIAS_IDENTIFICATION_ARM.ENVIRONMENT_DEFINITION' IN TYPEOF(SELF)); wr45: NOT ('ALIAS_IDENTIFICATION_ARM.ENVIRONMENT_DEFINITION_VERSION' IN TYPEOF(SELF)); wr46: NOT ('ALIAS_IDENTIFICATION_ARM.ENVIRONMENT_VIEW_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr47: NOT ('ALIAS_IDENTIFICATION_ARM.EVENT' IN TYPEOF(SELF)); wr48: NOT ('ALIAS_IDENTIFICATION_ARM.EVIDENCE' IN TYPEOF(SELF)); wr49: NOT ('ALIAS_IDENTIFICATION_ARM.EXPERIENCE_INSTANCE' IN TYPEOF(SELF)); wr50: NOT ('ALIAS_IDENTIFICATION_ARM.EXPERIENCE_TYPE' IN TYPEOF(SELF)); wr51: NOT ('ALIAS_IDENTIFICATION_ARM.EXTERNAL_CLASS_LIBRARY' IN TYPEOF(SELF)); wr52: NOT ('ALIAS_IDENTIFICATION_ARM.EXTERNAL_SOURCE_IDENTIFICATION' IN TYPEOF(SELF)); wr53: NOT ('ALIAS_IDENTIFICATION_ARM.FILE' IN TYPEOF(SELF)); wr54: NOT ('ALIAS_IDENTIFICATION_ARM.GROUP' IN TYPEOF(SELF)); wr55: NOT ('ALIAS_IDENTIFICATION_ARM.GROUP_RELATIONSHIP' IN TYPEOF(SELF)); wr56: NOT ('ALIAS_IDENTIFICATION_ARM.IDENTIFICATION_RELATIONSHIP' IN TYPEOF(SELF)); wr57: NOT ('ALIAS_IDENTIFICATION_ARM.INDEPENDENT_PROPERTY' IN TYPEOF(SELF)); wr58: NOT ('ALIAS_IDENTIFICATION_ARM.INDEPENDENT_PROPERTY_RELATIONSHIP' IN TYPEOF(SELF)); wr59: NOT ('ALIAS_IDENTIFICATION_ARM.INFORMATION_RIGHT' IN TYPEOF(SELF)); wr60: NOT ('ALIAS_IDENTIFICATION_ARM.INFORMATION_USAGE_RIGHT' IN TYPEOF(SELF)); wr61: NOT ('ALIAS_IDENTIFICATION_ARM.INFORMATION_USAGE_RIGHT_RELATIONSHIP' IN TYPEOF(SELF)); wr62: NOT ('ALIAS_IDENTIFICATION_ARM.INTERFACE_CONNECTION' IN TYPEOF(SELF)); wr63: NOT ('ALIAS_IDENTIFICATION_ARM.INTERFACE_CONNECTOR_OCCURRENCE' IN TYPEOF(SELF)); wr64: NOT ('ALIAS_IDENTIFICATION_ARM.INTERFACE_DEFINITION_CONNECTION' IN TYPEOF(SELF)); wr65: NOT ('ALIAS_IDENTIFICATION_ARM.INTERFACE_DEFINITION_FOR' IN TYPEOF(SELF)); wr66: NOT ('ALIAS_IDENTIFICATION_ARM.ITEM_SHAPE' IN TYPEOF(SELF)); wr67: NOT ('ALIAS_IDENTIFICATION_ARM.JUSTIFICATION' IN TYPEOF(SELF)); wr68: NOT ('ALIAS_IDENTIFICATION_ARM.JUSTIFICATION_ASSIGNMENT' IN TYPEOF(SELF)); wr69: NOT ('ALIAS_IDENTIFICATION_ARM.JUSTIFICATION_RELATIONSHIP' IN TYPEOF(SELF)); wr70: NOT ('ALIAS_IDENTIFICATION_ARM.JUSTIFICATION_SUPPORT_ASSIGNMENT' IN TYPEOF(SELF)); wr71: NOT ('ALIAS_IDENTIFICATION_ARM.LOCATION' IN TYPEOF(SELF)); wr72: NOT ('ALIAS_IDENTIFICATION_ARM.LOCATION_REPRESENTATION' IN TYPEOF(SELF)); wr73: NOT ('ALIAS_IDENTIFICATION_ARM.MANAGED_RESOURCE' IN TYPEOF(SELF)); wr74: NOT ('ALIAS_IDENTIFICATION_ARM.MARKET' IN TYPEOF(SELF)); wr75: NOT ('ALIAS_IDENTIFICATION_ARM.NUMERICAL_DOCUMENT_PROPERTY' IN TYPEOF(SELF)); wr76: NOT ('ALIAS_IDENTIFICATION_ARM.OBSERVATION' IN TYPEOF(SELF)); wr77: NOT ('ALIAS_IDENTIFICATION_ARM.OBSERVATION_ASSIGNMENT' IN TYPEOF(SELF)); wr78: NOT ('ALIAS_IDENTIFICATION_ARM.OBSERVATION_CONSEQUENCE' IN TYPEOF(SELF)); wr79: NOT ('ALIAS_IDENTIFICATION_ARM.OBSERVED_ENVIRONMENT' IN TYPEOF(SELF)); wr80: NOT ('ALIAS_IDENTIFICATION_ARM.OBSERVED_ENVIRONMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr81: NOT ('ALIAS_IDENTIFICATION_ARM.OBSERVED_ENVIRONMENT_VERSION' IN TYPEOF(SELF)); wr82: NOT ('ALIAS_IDENTIFICATION_ARM.OBSERVED_ENVIRONMENT_VIEW_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr83: NOT ('ALIAS_IDENTIFICATION_ARM.ORGANIZATION_OR_PERSON_IN_ORGANIZATION_ASSIGNMENT' IN TYPEOF(SELF)); wr84: NOT ('ALIAS_IDENTIFICATION_ARM.ORGANIZATION_TYPE' IN TYPEOF(SELF)); wr85: NOT ('ALIAS_IDENTIFICATION_ARM.ORGANIZATIONAL_LOCATION_IDENTIFICATION' IN TYPEOF(SELF)); wr86: NOT ('ALIAS_IDENTIFICATION_ARM.PERSON' IN TYPEOF(SELF)); wr87: NOT ('ALIAS_IDENTIFICATION_ARM.PERSON_IN_ORGANIZATION' IN TYPEOF(SELF)); wr88: NOT ('ALIAS_IDENTIFICATION_ARM.PERSON_OR_ORGANIZATION_OR_PERSON_IN_ORGANIZATION_IN_POSITION' IN TYPEOF(SELF)); wr89: NOT ('ALIAS_IDENTIFICATION_ARM.PERSON_OR_ORGANIZATION_OR_PERSON_IN_ORGANIZATION_IN_POSITION_RELATIONSHIP' IN TYPEOF(SELF)); wr90: NOT ('ALIAS_IDENTIFICATION_ARM.POSITION' IN TYPEOF(SELF)); wr91: NOT ('ALIAS_IDENTIFICATION_ARM.POSITION_ASSIGNMENT' IN TYPEOF(SELF)); wr92: NOT ('ALIAS_IDENTIFICATION_ARM.POSITION_GROUP' IN TYPEOF(SELF)); wr93: NOT ('ALIAS_IDENTIFICATION_ARM.POSITION_ROLE' IN TYPEOF(SELF)); wr94: NOT ('ALIAS_IDENTIFICATION_ARM.PROBABILITY_DISTRIBUTION' IN TYPEOF(SELF)); wr95: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT' IN TYPEOF(SELF)); wr96: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_AS_INDIVIDUAL' IN TYPEOF(SELF)); wr97: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_AS_INDIVIDUAL_VERSION' IN TYPEOF(SELF)); wr98: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_AS_INDIVIDUAL_VIEW' IN TYPEOF(SELF)); wr99: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_AS_PLANNED' IN TYPEOF(SELF)); wr100: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_AS_REALIZED' IN TYPEOF(SELF)); wr101: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_CONCEPT' IN TYPEOF(SELF)); wr102: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_CONFIGURATION' IN TYPEOF(SELF)); wr103: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_GROUP' IN TYPEOF(SELF)); wr104: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_GROUP_MEMBERSHIP' IN TYPEOF(SELF)); wr105: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_GROUP_RELATIONSHIP' IN TYPEOF(SELF)); wr106: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_RELATIONSHIP' IN TYPEOF(SELF)); wr107: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_VERSION' IN TYPEOF(SELF)); wr108: NOT ('ALIAS_IDENTIFICATION_ARM.PRODUCT_VIEW_DEFINITION' IN TYPEOF(SELF)); wr109: NOT ('ALIAS_IDENTIFICATION_ARM.PROJECT' IN TYPEOF(SELF)); wr110: NOT ('ALIAS_IDENTIFICATION_ARM.QUALIFICATION_ASSIGNMENT' IN TYPEOF(SELF)); wr111: NOT ('ALIAS_IDENTIFICATION_ARM.QUALIFICATION_TYPE' IN TYPEOF(SELF)); wr112: NOT ('ALIAS_IDENTIFICATION_ARM.REPRESENTATION' IN TYPEOF(SELF)); wr113: NOT ('ALIAS_IDENTIFICATION_ARM.REPRESENTATION_ITEM' IN TYPEOF(SELF)); wr114: NOT ('ALIAS_IDENTIFICATION_ARM.REQUIRED_RESOURCE' IN TYPEOF(SELF)); wr115: NOT ('ALIAS_IDENTIFICATION_ARM.REQUIRED_RESOURCE_RELATIONSHIP' IN TYPEOF(SELF)); wr116: NOT ('ALIAS_IDENTIFICATION_ARM.REQUIREMENT' IN TYPEOF(SELF)); wr117: NOT ('ALIAS_IDENTIFICATION_ARM.REQUIREMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr118: NOT ('ALIAS_IDENTIFICATION_ARM.REQUIREMENT_SOURCE' IN TYPEOF(SELF)); wr119: NOT ('ALIAS_IDENTIFICATION_ARM.REQUIREMENT_VERSION' IN TYPEOF(SELF)); wr120: NOT ('ALIAS_IDENTIFICATION_ARM.REQUIREMENT_VERSION_RELATIONSHIP' IN TYPEOF(SELF)); wr121: NOT ('ALIAS_IDENTIFICATION_ARM.REQUIREMENT_VIEW_DEFINITION' IN TYPEOF(SELF)); wr122: NOT ('ALIAS_IDENTIFICATION_ARM.RESOURCE_AS_REALIZED' IN TYPEOF(SELF)); wr123: NOT ('ALIAS_IDENTIFICATION_ARM.RESOURCE_EVENT' IN TYPEOF(SELF)); wr124: NOT ('ALIAS_IDENTIFICATION_ARM.RESOURCE_ITEM' IN TYPEOF(SELF)); wr125: NOT ('ALIAS_IDENTIFICATION_ARM.RESOURCE_ITEM_REALIZATION' IN TYPEOF(SELF)); wr126: NOT ('ALIAS_IDENTIFICATION_ARM.RESOURCE_PROPERTY' IN TYPEOF(SELF)); wr127: NOT ('ALIAS_IDENTIFICATION_ARM.RISK_IMPACT_ASSIGNMENT' IN TYPEOF(SELF)); wr128: NOT ('ALIAS_IDENTIFICATION_ARM.RISK_PERCEPTION_SOURCE_ASSIGNMENT' IN TYPEOF(SELF)); wr129: NOT ('ALIAS_IDENTIFICATION_ARM.SECURITY_CLASSIFICATION_ASSIGNMENT' IN TYPEOF(SELF)); wr130: NOT ('ALIAS_IDENTIFICATION_ARM.SHAPE_ELEMENT_RELATIONSHIP' IN TYPEOF(SELF)); wr131: NOT ('ALIAS_IDENTIFICATION_ARM.STATE' IN TYPEOF(SELF)); wr132: NOT ('ALIAS_IDENTIFICATION_ARM.STATE_ASSERTION' IN TYPEOF(SELF)); wr133: NOT ('ALIAS_IDENTIFICATION_ARM.STATE_ASSESSMENT' IN TYPEOF(SELF)); wr134: NOT ('ALIAS_IDENTIFICATION_ARM.STATE_DEFINITION' IN TYPEOF(SELF)); wr135: NOT ('ALIAS_IDENTIFICATION_ARM.STATE_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr136: NOT ('ALIAS_IDENTIFICATION_ARM.STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr137: NOT ('ALIAS_IDENTIFICATION_ARM.STATE_TRANSITION_DEFINITION' IN TYPEOF(SELF)); wr138: NOT ('ALIAS_IDENTIFICATION_ARM.SYSTEM' IN TYPEOF(SELF)); wr139: NOT ('ALIAS_IDENTIFICATION_ARM.SYSTEM_VERSION' IN TYPEOF(SELF)); wr140: NOT ('ALIAS_IDENTIFICATION_ARM.TASK_ELEMENT_STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr141: NOT ('ALIAS_IDENTIFICATION_ARM.TASK_METHOD_ASSIGNMENT' IN TYPEOF(SELF)); wr142: NOT ('ALIAS_IDENTIFICATION_ARM.TASK_METHOD_STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr143: NOT ('ALIAS_IDENTIFICATION_ARM.TASK_METHOD_VERSION_ASSIGNMENT' IN TYPEOF(SELF)); wr144: NOT ('ALIAS_IDENTIFICATION_ARM.TASK_OBJECTIVE' IN TYPEOF(SELF)); wr145: NOT ('ALIAS_IDENTIFICATION_ARM.TASK_OBJECTIVE_STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr146: NOT ('ALIAS_IDENTIFICATION_ARM.TYPE_OF_PERSON' IN TYPEOF(SELF)); wr147: NOT ('ALIAS_IDENTIFICATION_ARM.TYPE_OF_PERSON_DEFINITION' IN TYPEOF(SELF)); wr148: NOT ('ALIAS_IDENTIFICATION_ARM.VALIDATION' IN TYPEOF(SELF)); wr149: NOT ('ALIAS_IDENTIFICATION_ARM.VERIFICATION' IN TYPEOF(SELF)); wr150: NOT ('ALIAS_IDENTIFICATION_ARM.VIEW_DEFINITION_CONTEXT' IN TYPEOF(SELF)); wr151: NOT ('ALIAS_IDENTIFICATION_ARM.VIEW_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr152: NOT ('ALIAS_IDENTIFICATION_ARM.VIEW_DEFINITION_USAGE' IN TYPEOF(SELF)); wr153: NOT ('ALIAS_IDENTIFICATION_ARM.WORK_ORDER' IN TYPEOF(SELF)); wr154: NOT ('ALIAS_IDENTIFICATION_ARM.WORK_OUTPUT' IN TYPEOF(SELF)); wr155: NOT ('ALIAS_IDENTIFICATION_ARM.WORK_REQUEST' IN TYPEOF(SELF)); END_TYPE; TYPE analysed_item = SELECT (Activity, Activity_method, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_relationship, Alternate_product_relationship, Assembly_relationship_substitution, Assigned_property, Behaviour_description_association, behaviour_item, behaviour_model, Condition, Condition_relationship, Evidence, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Managed_resource_relationship, Observation, Observation_consequence, Observation_relationship, Organization, Organization_relationship, Product, Product_concept, Product_design_to_individual, Product_design_version_to_individual, Product_group_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project_relationship, Requirement_assignment, Resource_event_relationship, Resource_item_relationship, Resource_property, State, State_assessment, State_definition, State_role, Validation, Verification, Verification_relationship, View_definition_context, View_definition_relationship, Work_output_assignment, Work_output_relationship); END_TYPE; TYPE any_number_value = NUMBER; END_TYPE; TYPE any_string_value = STRING; END_TYPE; TYPE approval_item = SELECT (Activity, Activity_actual, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Address_assignment, Affected_items_assignment, Alternate_product_relationship, Analysis_discipline_definition, Analysis_version, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Applied_state_assignment, Applied_state_definition_assignment, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Breakdown, Breakdown_element, Breakdown_element_definition, Breakdown_element_usage, Breakdown_element_version, Breakdown_version, Certification, Certification_assignment, Classification_assignment, Condition, Condition_assignment, Condition_evaluation, Condition_evaluation_assignment, Contract, Contract_assignment, Contract_relationship, Date_or_date_time_assignment, Descriptive_document_property, Digital_document_definition, Directed_activity, Document_assignment, Document_definition, Document_definition_relationship, Document_version, Effectivity, Effectivity_assignment, Event, Event_assignment, Evidence, Experience_gained, Experience_type, Group, Group_relationship, Identification_assignment, Identification_relationship, In_zone, Independent_property, Independent_property_relationship, Information_usage_right, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Issue, Item_assumed, Item_usage_effectivity, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Location_assignment, Managed_resource, Managed_resource_relationship, Numerical_document_property, Observation, Observation_assignment, Organization_or_person_in_organization_assignment, Organization_organization_type_relationship, Organization_relationship, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Physical_document_definition, Position, Position_assignment, Position_group_assignment, Position_position_type_assignment, Position_type, Position_type_assignment, Product, Product_as_individual, Product_as_planned, Product_as_realized, Product_concept, Product_configuration, Product_definition_element_relationship, Product_design_to_individual, Product_design_version_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Qualification_assignment, Qualification_type, Required_resource, Required_resource_assignment, Required_resource_relationship, Requirement_assignment, Requirement_source, Resource_as_realized, Resource_as_realized_assignment, Resource_event, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Risk_impact_assignment, Risk_perception_source_assignment, Security_classification, Security_classification_assignment, Selected_item_assignment, State_assessment, State_definition, State_definition_relationship, State_relationship, Supplied_part_relationship, Task_element, Task_element_state_relationship, Task_method, Task_method_state_relationship, Task_method_version, Task_objective, Task_objective_state_relationship, Type_of_person, Type_of_person_assignment, Validation, Verification, Verification_relationship, View_definition_context, View_definition_relationship, Work_order, Work_output, Work_output_assignment, Work_request); END_TYPE; TYPE assigned_document_select = SELECT (Document, Document_definition, Document_version, File); END_TYPE; TYPE assigned_name_select = SELECT (Breakdown_element_realization, Event, External_class_library, Group, Group_relationship, Observation, Product, Product_view_definition); END_TYPE; TYPE assumed_item = SELECT (Activity, Activity_property, Applied_activity_assignment, Applied_activity_method_assignment, Applied_state_assignment, Approval, Approval_assignment, Assigned_property, Contract, Contract_assignment, Location, Location_assignment, Product, Product_concept, Product_configuration, Product_definition_element_relationship, Product_version, Project, Project_assignment, Requirement, Requirement_assignment, Resource_event, Resource_item, Resource_item_assignment, Resource_property, Risk_impact_assignment, View_definition_relationship, Work_order, Work_request); END_TYPE; TYPE assumption_item = SELECT (Activity, Approval, Contract, Location, Product, Product_concept, Product_version, Project, Requirement, Work_order, Work_request); END_TYPE; TYPE behaviour_item = SELECT (Behaviour_view_definition, State_definition); END_TYPE; TYPE behaviour_model = SELECT (Activity_method, Function_based_behaviour_model, State_based_behaviour_model, State_definition); END_TYPE; TYPE breakdown_item = SELECT (Breakdown_element_definition, Breakdown_element_usage); END_TYPE; TYPE cartesian_transformation = SELECT (Cartesian_transformation_2d, Cartesian_transformation_3d); END_TYPE; TYPE certification_item = SELECT (Activity, Activity_method, Alternate_product_relationship, Analysis_assignment, Analysis_discipline_definition, Analysis_version, Applied_activity_method_assignment, Approving_person_organization, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, behaviour_model, Breakdown, Document, Document_version, Evidence, Interface_connection, Interface_definition_connection, Justification, Product, Product_as_individual, Product_as_planned, Product_as_realized, Product_configuration, Product_group, Product_group_relationship, Product_version, Product_version_relationship, Project, Qualification_assignment, Resource_item, Resource_item_realization, State_definition, Task_element, Task_method, Task_method_version, Task_objective, View_definition_relationship, Work_output); END_TYPE; TYPE chained_geometric_model_link = SELECT (Geometric_coordinate_space, Geometric_model_relationship, Geometric_placement_operation); END_TYPE; TYPE characterized_activity_definition = SELECT (Activity, Activity_happening, Activity_method, Activity_method_relationship, Condition, Condition_evaluation, Condition_relationship, Observation, Required_resource_assignment, Resource_as_realized_assignment, Resource_event, Resource_item_assignment, Task_objective, Work_output); END_TYPE; TYPE characterized_resource_select = SELECT (Managed_resource, Required_resource, Resource_as_realized, Resource_item, Resource_item_realization, Resource_item_relationship); END_TYPE; TYPE classification_item = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_property_representation, Activity_relationship, Activity_status, Address, Address_assignment, Affected_items_assignment, Alternate_product_relationship, Analysis, Analysis_assignment, Analysis_discipline_definition, Analysis_version, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approval_assignment, Approval_relationship, Approval_status, Approving_person_organization, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Attribute_translation_assignment, Breakdown, Breakdown_context, Breakdown_element, Breakdown_element_realization, Breakdown_element_usage, Breakdown_element_version, Breakdown_of, Calendar_date, Certification, Certification_assignment, Class, Collection_assignment, Collection_membership, Condition, Condition_assignment, Condition_evaluation, Condition_evaluation_assignment, Condition_evaluation_parameter, Condition_parameter, Condition_relationship, Constrained_general_parameter_relationship, Context_dependent_unit, Contract, Contract_assignment, Contract_relationship, Conversion_based_unit, Date_or_date_time_assignment, Date_time, Defined_state_relationship, Derived_unit, Description_text, Description_text_assignment, Descriptive_document_property, Digital_document_definition, Digital_file, Directed_activity, Document, Document_assignment, Document_definition_relationship, Document_location_identification, Document_property_representation, Document_version, Effectivity, Effectivity_assignment, Effectivity_relationship, Environment_assignment, Environment_definition, Environment_definition_version, Environment_view_definition_relationship, Event, Event_assignment, Event_relationship, Evidence, Experience_gained, Experience_instance, Experience_type, Expression, Expression_assignment, External_class_library, External_item_identification, External_source_identification, File, File_location_identification, File_relationship, General_model_parameter, Hardcopy, Identification_assignment, Identification_relationship, In_zone, Independent_property, Independent_property_relationship, Independent_property_representation, Information_right, Information_usage_right, Information_usage_right_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Item_assumed, Item_design_association, Item_shape, Item_usage_effectivity, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Language, Language_indication, Local_time, Location, Location_assignment, Location_relationship, Location_representation, Managed_resource, Managed_resource_relationship, Market, Numerical_document_property, Numerical_item_with_unit, Observation, Observation_assignment, Observation_consequence, Observation_relationship, Observed_environment, Observed_environment_assignment, Observed_environment_version, Observed_environment_view_definition_relationship, Organization, Organization_or_person_in_organization_assignment, Organization_relationship, Organization_type, Organizational_location_identification, Parameter_value_representation_item, Part_view_definition, Partial_document_assignment, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Physical_document_definition, Position, Position_assignment, Position_group, Position_group_assignment, Position_group_relationship, Position_position_type_assignment, Position_relationship, Position_type, Position_type_assignment, Probability_distribution, Product, Product_as_planned, Product_as_realized, Product_concept, Product_configuration, Product_design_to_individual, Product_design_version_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Project_relationship, Property_representation, Qualification_assignment, Qualification_type, Qualification_type_relationship, Regional_coordinate, Related_condition_parameter, Representation, Representation_context, Representation_item, Representation_relationship, Required_resource, Required_resource_assignment, Required_resource_relationship, Requirement, Requirement_assignment, Requirement_collection_relationship, Requirement_source, Requirement_version, Requirement_version_relationship, Requirement_view_definition, Resource_as_realized, Resource_as_realized_assignment, Resource_as_realized_relationship, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Resource_property_representation, Risk_impact_assignment, Risk_perception_relationship, Risk_perception_source_assignment, Security_classification, Security_classification_assignment, Selected_item, Selected_item_assignment, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_relationship, State_role, String_representation_item, Supplied_part_relationship, Task_element_state_relationship, Task_method, Task_method_state_relationship, Task_objective, Task_objective_state_relationship, Text_based_representation, Time_interval_relationship, Tracing_relationship, Type_of_person, Type_of_person_assignment, Type_of_person_definition, Type_of_person_definition_relationship, Type_of_person_definition_required_attributes_relationship, Uncertainty_with_unit, Unit, Validation, Value_with_unit, Verification, Verification_relationship, View_definition_context, View_definition_relationship, Work_order, Work_output, Work_output_assignment, Work_output_relationship, Work_request, Work_request_status); END_TYPE; TYPE classified_attribute_select = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_property, Activity_property_representation, Activity_relationship, Address_assignment, Affected_items_assignment, Alternate_product_relationship, Applied_activity_assignment, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approval_assignment, Approval_relationship, Approval_status, Approving_person_organization, Assigned_property, Breakdown_context, Breakdown_element_realization, Breakdown_element_usage, Certification, Certification_assignment, Condition, Condition_evaluation, Condition_evaluation_parameter, Condition_parameter, Condition_relationship, Contract, Contract_relationship, Date_or_date_time_assignment, Description_text, Descriptive_document_property, Digital_file, Document_assignment, Document_definition_relationship, Document_property_representation, Effectivity, Effectivity_assignment, Event_assignment, Event_relationship, External_source_identification, File_relationship, Global_location_representation, Group, Group_relationship, Hardcopy, Identification_assignment, Independent_property, Independent_property_relationship, Independent_property_representation, Information_right, Information_usage_right, Information_usage_right_relationship, Interface_connection, Interface_connector_definition, Interface_definition_connection, Interface_specification_definition, Issue, Justification, Justification_assignment, Justification_support_assignment, Language, Location, Location_relationship, Managed_resource, Managed_resource_relationship, Market, Numerical_document_property, Organization_or_person_in_organization_assignment, Organization_relationship, Organizational_location_identification, Part_view_definition, Person_in_organization, Product, Product_based_location_identification, Product_concept, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project_assignment, Project_relationship, Property_representation, Regional_coordinate, Regional_grid_location_representation, Related_condition_parameter, Representation, Representation_context, Representation_item, Required_resource, Required_resource_relationship, Requirement_view_definition, Resource_as_realized, Resource_as_realized_relationship, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Resource_property_representation, Risk, Security_classification, State, State_definition, State_definition_relationship, State_relationship, Time_interval_relationship, Unit, Value_with_unit, View_definition_context, View_definition_relationship, Work_order, Work_output, Work_output_relationship, Work_request, Work_request_status); END_TYPE; TYPE collection_assignment_select = SELECT (Activity, Activity_method, Contract, Organization, Product, Product_concept, Product_configuration, Product_version, Product_view_definition, Project, Work_order, Work_request); END_TYPE; TYPE collection_member_select = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_property_representation, Activity_relationship, Activity_status, Address, Address_assignment, Advisory_note, Affected_items_assignment, Alternate_product_relationship, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approval_assignment, Approval_relationship, Approval_status, Approving_person_organization, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Attribute_classification, Attribute_translation_assignment, Axis_placement_mapping, Breakdown_context, Breakdown_of, Calendar_date, Certification, Certification_assignment, Class, Classification_assignment, Collection_assignment, Collection_membership, Condition, Condition_assignment, Condition_evaluation, Condition_evaluation_assignment, Condition_evaluation_parameter, Condition_parameter, Condition_relationship, Contextual_shape_representation, Contract, Contract_assignment, Contract_relationship, Date_or_date_time_assignment, Date_time, Defined_state_relationship, Derived_unit_element, Description_text, Description_text_assignment, Document_assignment, Document_definition_relationship, Effectivity, Effectivity_assignment, Effectivity_relationship, Environment_assignment, Event, Event_assignment, Event_relationship, Evidence, Experience_gained, Experience_instance, Experience_type, Experience_type_relationship, External_source, External_source_identification, File, File_relationship, Function_value_pair, Geometric_item_specific_usage, Identification_assignment, Identification_relationship, In_zone, Independent_property, Independent_property_relationship, Information_right, Information_usage_right, Information_usage_right_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Item_assumed, Item_design_association, Item_shape, Item_usage_effectivity, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Language, Language_indication, Local_time, Location, Location_assignment, Location_relationship, Location_representation, Managed_resource, Managed_resource_relationship, Market, Measure_qualification, Name_assignment, Observation, Observation_assignment, Observation_consequence, Observation_relationship, Observed_environment_assignment, Observed_environment_to_definition, Observed_environment_to_definition_version, Observed_environment_to_definition_view, Organization, Organization_or_person_in_organization_assignment, Organization_organization_type_relationship, Organization_relationship, Organization_type, Organizational_location_identification, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Position, Position_assignment, Position_group, Position_group_assignment, Position_group_relationship, Position_group_role, Position_position_type_assignment, Position_relationship, Position_role, Position_type, Position_type_assignment, Position_type_role, Precision_qualifier, Product, Product_concept, Product_configuration, Product_configuration_relationship, Product_definition_element_relationship, Product_design_to_individual, Product_design_version_to_individual, Product_design_view_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_occurrence_definition_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Project_relationship, Property_definition_representation, Qualification_assignment, Qualification_type, Qualification_type_relationship, Regional_coordinate, Related_condition_parameter, Representation, Representation_context, Representation_item, Representation_relationship, Required_resource, Required_resource_assignment, Required_resource_relationship, Required_resource_requirement, Requirement_assignment, Requirement_satisfied_by, Requirement_source, Resource_as_realized, Resource_as_realized_assignment, Resource_as_realized_relationship, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Resource_property_representation, Risk_impact_assignment, Risk_perception_source_assignment, Same_as_external_item, Security_classification, Security_classification_assignment, Selected_item_assignment, Shape_dependent_property_representation, Shape_description_association, Shape_element, Shape_element_relationship, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_definition_role, State_relationship, State_role, Task_element_state_relationship, Task_method_state_relationship, Task_objective, Task_objective_state_relationship, Time_interval, Time_interval_assignment, Time_interval_relationship, Time_interval_role, Time_offset, Type_of_person, Type_of_person_assignment, Type_of_person_definition, Type_of_person_definition_relationship, Type_of_person_definition_required_attributes_relationship, Type_qualifier, Uncertainty_qualifier, Unit, Validation, Value_function, Value_with_unit, Verification, Verification_relationship, View_definition_context, View_definition_relationship, Work_order, Work_output, Work_output_assignment, Work_output_relationship, Work_request, Work_request_status); END_TYPE; TYPE condition_evaluation_item = SELECT (Activity, Activity_method, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Approval, Approval_assignment, Assembly_component_relationship, Assigned_property, Behaviour_description_association, Document_assignment, Interface_connection, Interface_definition_connection, Justification, Managed_resource, Product_definition_element_relationship, Product_group, Product_group_membership, Product_group_relationship, Required_resource, Resource_as_realized, Resource_as_realized_assignment, Resource_as_realized_relationship, Resource_event, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_relationship, Risk_impact_assignment, State_assertion, State_assessment, State_definition, Verification, View_definition_relationship); END_TYPE; TYPE condition_evaluation_parameter_item = SELECT (Activity, Activity_method, Activity_property, Activity_property_representation, Approval, Approval_assignment, Assembly_component_relationship, Assigned_property, Calendar_date, Certification_assignment, Classification_assignment, Contract_assignment, Date_or_date_time_assignment, Date_time, Document_assignment, Identification_assignment, Independent_property_representation, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Managed_resource, Organization_or_person_in_organization_assignment, Product, Product_as_individual, Product_concept, Product_definition_element_relationship, Product_version, Product_view_definition, Property_representation, Representation, Required_resource, Requirement_source, Resource_as_realized, Resource_as_realized_relationship, Resource_event, Resource_property, Resource_property_representation, State, State_definition, Task_io, View_definition_relationship, Work_output); END_TYPE; TYPE condition_item = SELECT (Activity, Activity_method, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Approval, Approval_assignment, Assembly_component_relationship, Assigned_property, Certification_assignment, Contract_assignment, Date_or_date_time_assignment, Document_assignment, Effectivity, Event_assignment, Evidence, Expression_assignment, Interface_connection, Interface_definition_connection, Issue, Justification_assignment, Location_assignment, Managed_resource, Managed_resource_relationship, Product_definition_element_relationship, Product_group, Product_group_membership, Product_group_relationship, Project_assignment, Qualification_assignment, Required_resource, Required_resource_assignment, Required_resource_relationship, Requirement_assignment, Resource_event, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Security_classification_assignment, State_definition, State_definition_relationship, Task_method_assignment, Task_method_relationship, Task_method_version_assignment, Task_method_version_relationship, View_definition_relationship, Work_order, Work_request); END_TYPE; TYPE condition_parameter_item = SELECT (Activity, Activity_method, Activity_method_relationship, Activity_property, Activity_property_representation, Applied_activity_method_assignment, Approval, Approval_assignment, Assigned_property, Calendar_date, Certification_assignment, Classification_assignment, Condition_relationship, Contract_assignment, Date_or_date_time_assignment, Date_time, Document_assignment, Evidence, Expression, Identification_assignment, Independent_property, Independent_property_representation, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Managed_resource, Observation, Organization, Organization_or_person_in_organization_assignment, Organization_type, parameter_value_select, Product, Product_as_individual, Product_concept, Product_configuration, Product_definition_element_relationship, Product_version, Product_view_definition, Property_representation, Representation, Required_resource, Required_resource_assignment, Required_resource_relationship, Resource_as_realized, Resource_as_realized_relationship, Resource_event, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Resource_property_representation, State, State_assessment, State_definition, State_transition_definition, Validation, Verification, Verification_relationship, View_definition_relationship, Work_output, Work_request); END_TYPE; TYPE connection_definition_items = SELECT (Interface_connector_definition, Product_view_definition); END_TYPE; TYPE connection_items = SELECT (Assembly_component_relationship, connection_definition_items, Interface_connector_occurrence, View_definition_relationship); END_TYPE; TYPE connector_on_item = SELECT (Assembly_component_relationship, Product_view_definition, View_definition_relationship); END_TYPE; TYPE constraint_context = SELECT (Task_element, Task_method_version); END_TYPE; TYPE contract_item = SELECT (Activity, Activity_method, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Analysis_version, Applied_activity_assignment, Applied_activity_method_assignment, Breakdown, Breakdown_element, Breakdown_version, Document, Document_version, External_class, External_class_library, Information_usage_right, Issue, Justification, Managed_resource, Organization, organization_or_person_in_organization_item, Person_in_organization, Product_as_individual, Product_as_planned, Product_as_realized, Product_configuration, Product_group, Product_group_relationship, Product_version, Project, Requirement, Requirement_assignment, Requirement_collection_relationship, Requirement_source, Requirement_version, Requirement_version_relationship, Requirement_view_definition, Resource_event, Resource_item, Resource_item_realization, Risk_perception_source_assignment, Security_classification, Task_element, Task_method, Task_method_version, Task_objective, Tracing_relationship, Validation, Verification); END_TYPE; TYPE date_or_date_time_item = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_property_representation, Activity_relationship, Address_assignment, Affected_items_assignment, Alternate_product_relationship, Analysis_assignment, Analysis_discipline_definition, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approving_person_organization, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Breakdown, Breakdown_element, Breakdown_element_realization, Breakdown_element_usage, Breakdown_element_version, Certification, Certification_assignment, Classification_assignment, Condition, Condition_assignment, Condition_evaluation, Condition_evaluation_assignment, Contract, Contract_assignment, Contract_relationship, Date_or_date_time_assignment, Descriptive_document_property, Digital_document_definition, Digital_file, Directed_activity, Document, Document_assignment, Document_definition, Document_definition_relationship, Document_version, Effectivity, Effectivity_assignment, Event_assignment, Evidence, Experience_instance, Hardcopy, Identification_assignment, Identification_relationship, Independent_property, Independent_property_relationship, Independent_property_representation, Information_usage_right, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Issue, Item_assumed, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Location_assignment, Location_representation, Managed_resource, Managed_resource_relationship, Numerical_document_property, Observation, Observation_assignment, Organization_or_person_in_organization_assignment, Organization_organization_type_relationship, Organization_relationship, Part, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Physical_document_definition, Position_assignment, Position_group_assignment, Position_position_type_assignment, Position_type_assignment, Product_as_planned, Product_as_realized, Product_concept, Product_configuration, Product_design_to_individual, Product_design_version_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Property_representation, Qualification_assignment, Representation, Required_resource, Required_resource_assignment, Requirement, Requirement_assignment, Requirement_collection_relationship, Requirement_source, Resource_as_realized, Resource_as_realized_assignment, Resource_event, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_property, Resource_property_representation, Risk, Risk_impact_assignment, Risk_perception_relationship, Risk_perception_source_assignment, Scheme_entry, Security_classification, Security_classification_assignment, Selected_item, Selected_item_assignment, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_relationship, Task_element, Task_element_state_relationship, Task_method, Task_method_state_relationship, Task_method_version, Task_objective, Task_objective_state_relationship, Tracing_relationship, Type_of_person_assignment, Validation, Verification, Verification_relationship, View_definition_context, Work_order, Work_output, Work_request); END_TYPE; TYPE date_or_date_time_select = SELECT (Calendar_date, Date_time); END_TYPE; TYPE date_or_event = SELECT (Calendar_date, Date_time, Event); END_TYPE; TYPE day_in_month_number = INTEGER; WHERE WR1: {1 <= SELF <= 31}; END_TYPE; TYPE defined_activities = SELECT (Activity_actual, Behaviour_description_association, Event_assignment, Issue, Observation_consequence, Product, Project, Resource_as_realized, Work_output); END_TYPE; TYPE defined_attributes = SELECT (Experience_type, Organization, Person_in_organization, Position_group, Position_group_role, Position_role, Position_type_role, Qualification_type, Type_of_person_assignment, Work_output_assignment); END_TYPE; TYPE defined_methods = SELECT (Activity, Activity_method, Analysis_assignment, behaviour_model, Event, Issue, Observation_consequence, Product, Product_group, Required_resource, Work_output_assignment); END_TYPE; TYPE described_element_select = SELECT (Product_occurrence_definition_relationship, View_definition_usage); END_TYPE; TYPE description_item = SELECT (Activity, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_property_representation, Activity_relationship, Address_assignment, Alternate_product_relationship, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Approval, Approval_assignment, Approval_relationship, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Behaviour_description_association, behaviour_model, Breakdown_context, Breakdown_of, Certification, Certification_assignment, Class, Classification_assignment, Condition, Condition_assignment, Condition_evaluation, Condition_evaluation_parameter, Condition_parameter, Condition_relationship, Contract, Contract_assignment, Contract_relationship, Date_or_date_time_assignment, Defined_state_relationship, Description_text, Description_text_assignment, Digital_file, Document_assignment, Document_definition_relationship, Effectivity, Effectivity_assignment, Effectivity_relationship, Event, Event_assignment, Event_relationship, Evidence, Experience_instance, Experience_type, Expression, External_source, External_source_identification, File, File_relationship, Geometric_item_specific_usage, Group, Group_relationship, Hardcopy, Identification_assignment, Identification_relationship, In_zone, Independent_property, Independent_property_relationship, Information_right, Information_usage_right, Information_usage_right_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Item_assumed, Item_shape, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Location, Location_assignment, Location_relationship, Location_representation, Managed_resource, Managed_resource_relationship, Market, Measure_qualification, Observation, Observation_consequence, Organization, Organization_or_person_in_organization_assignment, Organization_relationship, Organization_type, Organizational_location_identification, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Position, Position_group, Position_group_role, Position_relationship, Position_role, Position_type, Position_type_assignment, Position_type_role, Product, Product_concept, Product_configuration, Product_definition_element_relationship, Product_design_to_individual, Product_design_version_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Project_relationship, Property_definition_representation, Qualification_assignment, Qualification_type, Qualification_type_relationship, Related_condition_parameter, Representation, Representation_item, Representation_relationship, Required_resource, Required_resource_assignment, Required_resource_relationship, Requirement_assignment, Requirement_satisfied_by, Requirement_source, Resource_as_realized, Resource_as_realized_relationship, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Resource_property_representation, Risk_impact_assignment, Risk_perception_source_assignment, Same_as_external_item, Security_classification, Security_classification_assignment, Shape_dependent_property_representation, Shape_description_association, Shape_element, Shape_element_relationship, State, State_assertion, State_assessment, State_definition_relationship, State_definition_role, State_relationship, State_role, Task_element_state_relationship, Task_method_state_relationship, Task_objective, Task_objective_state_relationship, Time_interval, Time_interval_relationship, Time_interval_role, Type_of_person, Type_of_person_definition, Type_of_person_definition_relationship, Uncertainty_qualifier, Uncertainty_with_unit, Unit, Validation, Value_with_unit, Verification, View_definition_context, View_definition_relationship, Work_order, Work_output, Work_output_relationship, Work_request); END_TYPE; TYPE descriptive_or_numerical = SELECT (Descriptive_document_property, Numerical_document_property); END_TYPE; TYPE document_property_item = property_assignment_select; WHERE wr1: NOT ('DOCUMENT_PROPERTIES_ARM.ACTIVITY' IN TYPEOF(SELF)); wr2: NOT ('DOCUMENT_PROPERTIES_ARM.ACTIVITY_HAPPENING' IN TYPEOF(SELF)); wr3: NOT ('DOCUMENT_PROPERTIES_ARM.ACTIVITY_METHOD' IN TYPEOF(SELF)); wr4: NOT ('DOCUMENT_PROPERTIES_ARM.ADDRESS' IN TYPEOF(SELF)); wr5: NOT ('DOCUMENT_PROPERTIES_ARM.ALTERNATE_PRODUCT_RELATIONSHIP' IN TYPEOF(SELF)); wr6: NOT ('DOCUMENT_PROPERTIES_ARM.ANALYSIS_ASSIGNMENT' IN TYPEOF(SELF)); wr7: NOT ('DOCUMENT_PROPERTIES_ARM.APPLIED_ACTIVITY_ASSIGNMENT' IN TYPEOF(SELF)); wr8: NOT ('DOCUMENT_PROPERTIES_ARM.APPLIED_ACTIVITY_METHOD_ASSIGNMENT' IN TYPEOF(SELF)); wr9: NOT ('DOCUMENT_PROPERTIES_ARM.APPLIED_STATE_ASSIGNMENT' IN TYPEOF(SELF)); wr10: NOT ('DOCUMENT_PROPERTIES_ARM.APPLIED_STATE_DEFINITION_ASSIGNMENT' IN TYPEOF(SELF)); wr11: NOT ('DOCUMENT_PROPERTIES_ARM.ASSEMBLY_COMPONENT_RELATIONSHIP' IN TYPEOF(SELF)); wr13: NOT ('DOCUMENT_PROPERTIES_ARM.BREAKDOWN_ELEMENT_REALIZATION' IN TYPEOF(SELF)); wr14: NOT ('DOCUMENT_PROPERTIES_ARM.BREAKDOWN_ELEMENT_USAGE' IN TYPEOF(SELF)); wr15: NOT ('DOCUMENT_PROPERTIES_ARM.CONDITION_EVALUATION_PARAMETER' IN TYPEOF(SELF)); wr16: NOT ('DOCUMENT_PROPERTIES_ARM.CONDITION_PARAMETER' IN TYPEOF(SELF)); wr17: NOT ('DOCUMENT_PROPERTIES_ARM.DOCUMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr18: NOT ('DOCUMENT_PROPERTIES_ARM.EVENT' IN TYPEOF(SELF)); wr19: NOT ('DOCUMENT_PROPERTIES_ARM.EVIDENCE' IN TYPEOF(SELF)); wr20: NOT ('DOCUMENT_PROPERTIES_ARM.EXPERIENCE_INSTANCE' IN TYPEOF(SELF)); wr21: NOT ('DOCUMENT_PROPERTIES_ARM.GENERIC_EXPRESSION' IN TYPEOF(SELF)); wr22: NOT ('DOCUMENT_PROPERTIES_ARM.IN_ZONE' IN TYPEOF(SELF)); wr23: NOT ('DOCUMENT_PROPERTIES_ARM.INDEPENDENT_PROPERTY' IN TYPEOF(SELF)); wr24: NOT ('DOCUMENT_PROPERTIES_ARM.INDEPENDENT_PROPERTY_RELATIONSHIP' IN TYPEOF(SELF)); wr25: NOT ('DOCUMENT_PROPERTIES_ARM.INFORMATION_USAGE_RIGHT' IN TYPEOF(SELF)); wr26: NOT ('DOCUMENT_PROPERTIES_ARM.INTERFACE_CONNECTION' IN TYPEOF(SELF)); wr27: NOT ('DOCUMENT_PROPERTIES_ARM.INTERFACE_CONNECTOR_OCCURRENCE' IN TYPEOF(SELF)); wr28: NOT ('DOCUMENT_PROPERTIES_ARM.INTERFACE_DEFINITION_CONNECTION' IN TYPEOF(SELF)); wr29: NOT ('DOCUMENT_PROPERTIES_ARM.LOCATION_ASSIGNMENT' IN TYPEOF(SELF)); wr30: NOT ('DOCUMENT_PROPERTIES_ARM.OBSERVATION_CONSEQUENCE' IN TYPEOF(SELF)); wr31: NOT ('DOCUMENT_PROPERTIES_ARM.ORGANIZATION_OR_PERSON_IN_ORGANIZATION_ASSIGNMENT' IN TYPEOF(SELF)); wr32: NOT ('DOCUMENT_PROPERTIES_ARM.PART_VIEW_DEFINITION' IN TYPEOF(SELF)); wr33: NOT ('DOCUMENT_PROPERTIES_ARM.PERSON' IN TYPEOF(SELF)); wr34: NOT ('DOCUMENT_PROPERTIES_ARM.PERSON_IN_ORGANIZATION' IN TYPEOF(SELF)); wr35: NOT ('DOCUMENT_PROPERTIES_ARM.PRODUCT' IN TYPEOF(SELF)); wr36: NOT ('DOCUMENT_PROPERTIES_ARM.PRODUCT_CONCEPT' IN TYPEOF(SELF)); wr37: NOT ('DOCUMENT_PROPERTIES_ARM.PRODUCT_CONFIGURATION' IN TYPEOF(SELF)); wr38: NOT ('DOCUMENT_PROPERTIES_ARM.PRODUCT_GROUP' IN TYPEOF(SELF)); wr39: NOT ('DOCUMENT_PROPERTIES_ARM.PRODUCT_GROUP_MEMBERSHIP' IN TYPEOF(SELF)); wr40: NOT ('DOCUMENT_PROPERTIES_ARM.PRODUCT_VERSION' IN TYPEOF(SELF)); wr41: NOT ('DOCUMENT_PROPERTIES_ARM.PRODUCT_VERSION_RELATIONSHIP' IN TYPEOF(SELF)); wr42: NOT ('DOCUMENT_PROPERTIES_ARM.PRODUCT_VIEW_DEFINITION' IN TYPEOF(SELF)); wr43: NOT ('DOCUMENT_PROPERTIES_ARM.PROJECT' IN TYPEOF(SELF)); wr44: NOT ('DOCUMENT_PROPERTIES_ARM.PROPERTY_DEFINITION_REPRESENTATION' IN TYPEOF(SELF)); wr45: NOT ('DOCUMENT_PROPERTIES_ARM.RELATED_CONDITION_PARAMETER' IN TYPEOF(SELF)); wr46: NOT ('DOCUMENT_PROPERTIES_ARM.REPRESENTATION' IN TYPEOF(SELF)); wr47: NOT ('DOCUMENT_PROPERTIES_ARM.REPRESENTATION_CONTEXT' IN TYPEOF(SELF)); wr48: NOT ('DOCUMENT_PROPERTIES_ARM.REPRESENTATION_ITEM' IN TYPEOF(SELF)); wr49: NOT ('DOCUMENT_PROPERTIES_ARM.REQUIREMENT_SOURCE' IN TYPEOF(SELF)); wr50: NOT ('DOCUMENT_PROPERTIES_ARM.RISK_IMPACT_ASSIGNMENT' IN TYPEOF(SELF)); wr51: NOT ('DOCUMENT_PROPERTIES_ARM.RISK_PERCEPTION' IN TYPEOF(SELF)); wr52: NOT ('DOCUMENT_PROPERTIES_ARM.SECURITY_CLASSIFICATION' IN TYPEOF(SELF)); wr53: NOT ('DOCUMENT_PROPERTIES_ARM.STATE' IN TYPEOF(SELF)); wr54: NOT ('DOCUMENT_PROPERTIES_ARM.STATE_ASSERTION' IN TYPEOF(SELF)); wr55: NOT ('DOCUMENT_PROPERTIES_ARM.STATE_ASSESSMENT' IN TYPEOF(SELF)); wr56: NOT ('DOCUMENT_PROPERTIES_ARM.STATE_DEFINITION' IN TYPEOF(SELF)); wr57: NOT ('DOCUMENT_PROPERTIES_ARM.STATE_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr58: NOT ('DOCUMENT_PROPERTIES_ARM.STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr59: NOT ('DOCUMENT_PROPERTIES_ARM.TASK_IO_HIERARCHY' IN TYPEOF(SELF)); wr60: NOT ('DOCUMENT_PROPERTIES_ARM.TASK_METHOD_STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr61: NOT ('DOCUMENT_PROPERTIES_ARM.TASK_OBJECTIVE' IN TYPEOF(SELF)); wr62: NOT ('DOCUMENT_PROPERTIES_ARM.TASK_OBJECTIVE_STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr63: NOT ('DOCUMENT_PROPERTIES_ARM.TYPE_OF_PERSON_DEFINITION' IN TYPEOF(SELF)); wr64: NOT ('DOCUMENT_PROPERTIES_ARM.VERIFICATION' IN TYPEOF(SELF)); wr65: NOT ('DOCUMENT_PROPERTIES_ARM.VERIFICATION_RELATIONSHIP' IN TYPEOF(SELF)); wr66: NOT ('DOCUMENT_PROPERTIES_ARM.VIEW_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr67: NOT ('DOCUMENT_PROPERTIES_ARM.WORK_ORDER' IN TYPEOF(SELF)); wr68: NOT ('DOCUMENT_PROPERTIES_ARM.WORK_REQUEST' IN TYPEOF(SELF)); END_TYPE; TYPE documented_element_select = SELECT (Activity, Activity_method, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_property_representation, Activity_relationship, Address_assignment, Alias_identification, Alternate_product_relationship, Analysis, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Approval, Approval_assignment, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Breakdown, Breakdown_context, Breakdown_element, Breakdown_element_realization, Breakdown_element_usage, Breakdown_element_version, Certification, Certification_assignment, Class, Classification_assignment, Condition, Condition_assignment, Condition_evaluation, Condition_parameter, Contract, Contract_assignment, Contract_relationship, Date_or_date_time_assignment, Digital_document_definition, Digital_file, Document_assignment, Document_definition_relationship, Effectivity, Effectivity_assignment, Event_assignment, Evidence, Experience_instance, Experience_type, External_item_identification, Group, Group_relationship, Hardcopy, Identification_assignment, Independent_property, Independent_property_relationship, Independent_property_representation, Information_right, Information_usage_right, Information_usage_right_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Item_assumed, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Location, Location_assignment, Location_relationship, Location_representation, Managed_resource, Market, Observation, Observation_consequence, Organization, Organization_or_person_in_organization_assignment, Organization_relationship, Organization_type, Organizational_location_identification, Part, Part_version, Part_view_definition, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Physical_document_definition, Position, Position_group, Position_type, Position_type_assignment, Position_type_role, Product, Product_as_planned, Product_as_realized, Product_concept, Product_configuration, Product_design_to_individual, Product_design_version_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Property_representation, Qualification_assignment, Qualification_type, Regional_grid_location_representation, Representation, Representation_item, Required_resource, Required_resource_assignment, Required_resource_relationship, Requirement_assignment, Requirement_source, Resource_as_realized, Resource_event, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Resource_property_representation, Risk_impact_assignment, Risk_perception_source_assignment, Security_classification, Security_classification_assignment, Selected_item, Shape_element, Shape_element_relationship, State, State_assertion, State_assessment, State_definition, State_definition_relationship, Task_element, Task_element_state_relationship, Task_method, Task_method_state_relationship, Task_method_version, Task_objective, Task_objective_state_relationship, Type_of_person, Type_of_person_definition, Validation, Verification, View_definition_relationship, Work_order, Work_output, Work_request); END_TYPE; TYPE effectivity_item = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_property, Activity_property_representation, Address_assignment, Alternate_product_relationship, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Applied_state_assignment, Applied_state_definition_assignment, Approval_assignment, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Attribute_translation_assignment, Breakdown, Breakdown_element, Breakdown_element_definition, Breakdown_element_realization, Breakdown_element_usage, Breakdown_element_version, Breakdown_of, Breakdown_version, Certification_assignment, Classification_assignment, Condition_assignment, Condition_relationship, Constrained_general_parameter_relationship, Contract_assignment, Date_or_date_time_assignment, Document_assignment, Document_definition, Document_definition_relationship, Document_location_identification, Effectivity_assignment, Event, Event_assignment, Evidence, External_source_identification, File, File_relationship, Identification_assignment, Identification_relationship, In_zone, Independent_property_representation, Interface_connection, Interface_connector_occurrence, Interface_definition_for, Issue, Issue_consequence, Item_assumed, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Location_assignment, Managed_resource_relationship, Organization_or_person_in_organization_assignment, Organization_relationship, Person_in_organization, Person_or_organization_or_person_in_organization_in_position_relationship, Position_assignment, Position_group_assignment, Position_position_type_assignment, Position_type_assignment, Product, Product_as_individual, Product_as_individual_version, Product_as_individual_view, Product_configuration, Product_design_to_individual, Product_design_version_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project_assignment, Qualification_assignment, Required_resource_assignment, Required_resource_relationship, Requirement_assignment, Requirement_collection_relationship, Requirement_source, Resource_item_assignment, Resource_item_relationship, Resource_property, Resource_property_representation, Risk_impact_assignment, Risk_perception_source_assignment, Security_classification_assignment, Selected_item_assignment, State_definition_relationship, Type_of_person_assignment, Type_of_person_definition_relationship, Validation, Verification, Verification_relationship, View_definition_relationship, View_definition_usage, Work_order, Work_output_assignment, Work_output_relationship); END_TYPE; TYPE environment_item = SELECT (Activity, Activity_method, Environment_definition_view, Location, Organization, Person, Product, Product_concept, Product_group, Product_version, Validation, Verification); END_TYPE; TYPE event_item = SELECT (Activity, Activity_method, Activity_method_relationship, Activity_property, Activity_relationship, Alternate_product_relationship, Applied_activity_method_assignment, Applied_state_assignment, Approval, Assembly_relationship_substitution, Certification, Condition, Condition_evaluation_parameter, Contract, Contract_assignment, Contract_relationship, Evidence, Group, Independent_property, Independent_property_relationship, Justification, Managed_resource, Market, Observation, Product, Product_version, Product_view_definition, Project, Project_assignment, Representation, Representation_item, Required_resource, Required_resource_assignment, Resource_event, Resource_property, State, State_definition, State_definition_relationship, State_relationship, Task_method_state_relationship, Task_objective, Task_objective_state_relationship, Verification, Verification_relationship, View_definition_relationship, Work_request); END_TYPE; TYPE evidence_item = SELECT (Activity_actual, Activity_method, Activity_method_assignment, Activity_method_relationship, Activity_relationship, Activity_status, Affected_items_assignment, Alternate_product_relationship, Analysis_assignment, Analysis_version, Applied_activity_assignment, Applied_activity_method_assignment, Applied_independent_property, Applied_information_usage_right, Applied_state_assignment, Approval_assignment, Assembly_relationship_substitution, Assigned_property, Behaviour_description_association, Breakdown_of, Certification_assignment, Classification_assignment, Condition_assignment, Condition_evaluation_assignment, Condition_evaluation_parameter, Contract_assignment, Date_or_date_time_assignment, Defined_state_relationship, Description_text_assignment, Effectivity_assignment, Event_assignment, Expression_assignment, Interface_definition_connection, Interface_definition_for, Justification_assignment, Justification_relationship, Justification_support_assignment, Location_assignment, Observation, Observation_consequence, Observation_relationship, Organization_or_person_in_organization_assignment, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Product, Product_design_to_individual, Product_version, Product_version_relationship, Product_view_definition, Project_assignment, Representation, Representation_context, Representation_item, Required_resource_assignment, Resource_as_realized_assignment, Resource_as_realized_relationship, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item_assignment, Risk_impact_assignment, Risk_perception_source_assignment, Security_classification_assignment, State, State_assertion, State_assessment, State_relationship, Task_io_hierarchy, Task_objective_state_relationship, Time_interval_assignment, Type_of_person_assignment, Validation, Verification, View_definition_context, View_definition_relationship, Work_order, Work_output_assignment, Work_request); END_TYPE; TYPE evidence_support_item = SELECT (Validation, Verification); END_TYPE; TYPE expression_assignment_item = SELECT (Condition); END_TYPE; TYPE external_identification_item = SELECT (Document_definition, File, Organization, Person_in_organization, Product, Project, Required_resource, Work_output); END_TYPE; TYPE geometric_item_specific_usage_select = SELECT (Shape_element, Shape_element_relationship); END_TYPE; TYPE groupable_item = SELECT (Activity, Activity_method, Approval, Breakdown_of, Certification, Condition, Contract, Contract_relationship, Effectivity, Event, Experience_type, File, Group, Group_relationship, Interface_connection, Interface_definition_for, Justification, Location, Managed_resource, Observation, Product, Project, Required_resource, Resource_item, Resource_item_realization, Task_io, Verification, Work_order, Work_output, Work_request); WHERE WR1: NOT ('AP233_SYSTEMS_ENGINEERING_ARM_LF.GROUP' IN TYPEOF(SELF)); END_TYPE; TYPE hour_in_day = INTEGER; WHERE WR1: {0 <= SELF < 24}; END_TYPE; TYPE identification_item = SELECT (Activity, Activity_method, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_relationship, Address, Affected_items_assignment, Analysis, Analysis_version, Applied_activity_assignment, Applied_activity_method_assignment, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approval_status, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_relationship, Behaviour, Behaviour_version, Behaviour_view_definition, Breakdown, Breakdown_element, Breakdown_element_definition, Breakdown_element_version, Breakdown_version, Certification, Class, Condition, Condition_evaluation, Contract, Contract_relationship, Defined_state_relationship, Description_text_assignment, Descriptive_document_property, Digital_document_definition, Digital_file, Directed_activity, Disposition, Document, Document_assignment, Document_definition_relationship, Document_version, Effectivity, Environment_assignment, Environment_definition, Environment_definition_version, Environment_view_definition_relationship, Event, Evidence, Experience_instance, Experience_type, External_class_library, External_source_identification, File, Group, Group_relationship, Hardcopy, Identification_relationship, Independent_property, Independent_property_relationship, Information_right, Information_usage_right, Information_usage_right_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Item_shape, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Location, Location_representation, Managed_resource, Market, Numerical_document_property, Observation, Observation_assignment, Observation_consequence, Observed_environment, Observed_environment_assignment, Observed_environment_version, Observed_environment_view_definition_relationship, Organization, Organization_or_person_in_organization_assignment, Organization_type, Organizational_location_identification, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Physical_document_definition, Position, Position_assignment, Position_group, Position_role, Probability_distribution, Product, Product_as_individual, Product_as_individual_version, Product_as_individual_view, Product_as_planned, Product_as_realized, Product_concept, Product_configuration, Product_group, Product_group_membership, Product_group_relationship, Product_relationship, Product_version, Product_view_definition, Project, Qualification_assignment, Qualification_type, Representation, Representation_item, Required_resource, Required_resource_relationship, Requirement, Requirement_assignment, Requirement_source, Requirement_version, Requirement_version_relationship, Requirement_view_definition, Resource_as_realized, Resource_event, Resource_item, Resource_item_realization, Resource_property, Risk_impact_assignment, Risk_perception_source_assignment, Security_classification, Security_classification_assignment, Shape_element_relationship, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_relationship, State_transition_definition, System, System_version, Task_element_state_relationship, Task_method_assignment, Task_method_state_relationship, Task_method_version_assignment, Task_objective, Task_objective_state_relationship, Type_of_person, Type_of_person_definition, Validation, Verification, View_definition_context, View_definition_relationship, View_definition_usage, Work_order, Work_output, Work_request); END_TYPE; TYPE identifier = STRING; END_TYPE; TYPE in_zone_item = SELECT (Activity_method, Applied_activity_method_assignment, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Product_view_definition); END_TYPE; TYPE information_usage_right_item = SELECT (Activity_method, Activity_property, Alternate_product_relationship, Analysis_assignment, Analysis_discipline_definition, Applied_information_usage_right, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Breakdown, Breakdown_element, Breakdown_element_realization, Breakdown_element_usage, Breakdown_version, Certification, Certification_assignment, Contract, Contract_relationship, Digital_document_definition, Digital_file, Document, Document_definition_relationship, Document_version, Evidence, External_item_identification, File_relationship, Group, Group_relationship, Hardcopy, In_zone, Information_right, Information_usage_right, Information_usage_right_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Issue, Issue_consequence, Justification, Managed_resource, Organization, Person_in_organization, Physical_document_definition, Product, Product_as_individual, Product_as_individual_view, Product_as_planned, Product_as_realized, Product_configuration, Product_version, Product_view_definition, Project, Representation_item, Required_resource, Requirement, Requirement_assignment, Requirement_version, Requirement_view_definition, Resource_item, Resource_item_realization, Security_classification, Security_classification_assignment, Supplied_part_relationship, Task_element, Task_io, Task_method, Task_method_version, Task_objective, Validation, Verification, View_definition_relationship, Work_order, Work_output); END_TYPE; TYPE interface_definition_item = SELECT (Interface_connection, Interface_connector_occurrence, Product_view_definition); END_TYPE; TYPE item_usage_relationship_item = SELECT (Assembly_component_relationship, View_definition_usage); END_TYPE; TYPE justification_item = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Affected_items_assignment, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approval_assignment, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Behaviour_description_association, Breakdown_of, Certification, Classification_assignment, Condition, Condition_assignment, Contract, Contract_relationship, Description_text, Descriptive_document_property, Directed_activity, Document_assignment, Document_definition, Document_definition_relationship, Effectivity, Evidence, File_relationship, Independent_property, Independent_property_relationship, Information_usage_right, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Location_assignment, Managed_resource_relationship, Numerical_document_property, Observation, Observation_assignment, Product, Product_version, Product_version_relationship, Product_view_definition, Project_assignment, Property_value_representation, Qualification_type, Required_resource, Required_resource_assignment, Required_resource_relationship, Requirement_assignment, Resource_as_realized, Resource_event, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Security_classification, State_assertion, State_assessment, Task_element, Task_element_state_relationship, Task_io_hierarchy, Task_method, Task_method_state_relationship, Task_method_version, Task_objective, Task_objective_state_relationship, Validation, Verification, View_definition_relationship, Work_order, Work_output_assignment, Work_request); END_TYPE; TYPE justification_support_item = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_property, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_state_assignment, Applied_state_definition_assignment, Approval, Assembly_component_relationship, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Certification, Contract, Contract_relationship, Descriptive_document_property, Document, Document_definition, Document_definition_relationship, Document_version, Effectivity, Event, Evidence, File_relationship, Independent_property, Independent_property_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Location, Location_assignment, Numerical_document_property, Observation, Observation_assignment, Organization_or_person_in_organization_assignment, Product, Product_version, Product_version_relationship, Product_view_definition, Project, Resource_property, Risk_impact_assignment, State, State_definition, State_definition_relationship, State_relationship, Validation, Verification, View_definition_context, View_definition_relationship, Work_order, Work_output, Work_request); END_TYPE; TYPE label = STRING; END_TYPE; TYPE length_measure = REAL; END_TYPE; TYPE list_of_text_based_item = LIST[1:?] OF Textual_expression_representation_item; END_TYPE; TYPE list_or_set_of_text_based_item = SELECT (list_of_text_based_item, set_of_text_based_item); END_TYPE; TYPE location_assignment_select = SELECT (Activity, Activity_method_assignment, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Assembly_component_relationship, Event, File, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Managed_resource, Organization, Organization_type, Person, Person_in_organization, Position, Position_type, Product, Product_group, Product_version, Product_view_definition, Project, Required_resource, Required_resource_assignment, Resource_item, Resource_item_assignment, Resource_item_realization, Task_element, Task_method, Task_method_version, Type_of_person, Validation, Verification, View_definition_relationship); END_TYPE; TYPE measure_value = SELECT (any_number_value, any_string_value, length_measure, plane_angle_measure); END_TYPE; TYPE method_or_method_version = SELECT (Task_method, Task_method_version); 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 observation_consequence_item = SELECT (Activity, Work_order, Work_request); END_TYPE; TYPE observation_item = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_property_representation, Activity_relationship, Activity_status, Address, Address_assignment, Advisory_note, Affected_items_assignment, Alternate_product_relationship, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_information_usage_right, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approval_assignment, Approval_relationship, Approval_status, Approving_person_organization, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Attribute_classification, Attribute_translation_assignment, Axis_placement_mapping, Behaviour_description_association, Breakdown_context, Breakdown_of, Calendar_date, Certification, Certification_assignment, Class, Classification_assignment, Collection_assignment, Collection_membership, Condition, Condition_assignment, Condition_evaluation, Condition_evaluation_assignment, Condition_evaluation_parameter, Condition_parameter, Condition_relationship, Contextual_shape_representation, Contract, Contract_assignment, Contract_relationship, Date_or_date_time_assignment, Date_time, Decision_path, Defined_state_relationship, Derived_unit_element, Description_text, Description_text_assignment, Document_assignment, Document_definition_relationship, Effectivity, Effectivity_assignment, Effectivity_relationship, Environment_assignment, Event, Event_assignment, Event_relationship, Evidence, Experience_gained, Experience_instance, Experience_type, Experience_type_relationship, Expression_assignment, External_source, External_source_identification, File, File_relationship, Function_value_pair, Generic_expression, Geometric_item_specific_usage, Group, Group_relationship, Identification_assignment, Identification_relationship, In_zone, Independent_property, Independent_property_relationship, Information_right, Information_usage_right, Information_usage_right_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Item_assumed, Item_design_association, Item_shape, Item_usage_effectivity, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Language, Language_indication, Local_time, Location, Location_assignment, Location_relationship, Location_representation, Managed_resource, Managed_resource_relationship, Market, Measure_qualification, Name_assignment, Observation, Observation_assignment, Observation_consequence, Observation_relationship, Observed_environment_assignment, Observed_environment_to_definition, Observed_environment_to_definition_version, Observed_environment_to_definition_view, Organization, Organization_or_person_in_organization_assignment, Organization_organization_type_relationship, Organization_relationship, Organization_type, Organizational_location_identification, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Position, Position_assignment, Position_group, Position_group_assignment, Position_group_relationship, Position_group_role, Position_position_type_assignment, Position_relationship, Position_role, Position_type, Position_type_assignment, Position_type_role, Precision_qualifier, Product, Product_concept, Product_configuration, Product_configuration_relationship, Product_definition_element_relationship, Product_design_to_individual, Product_design_version_to_individual, Product_design_view_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_occurrence_definition_relationship, Product_planned_to_realized, Product_relationship, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Project_relationship, Property_definition_representation, Qualification_assignment, Qualification_type, Qualification_type_relationship, Regional_coordinate, Related_condition_parameter, Representation, Representation_context, Representation_item, Representation_relationship, Required_resource, Required_resource_assignment, Required_resource_relationship, Required_resource_requirement, Requirement_assignment, Requirement_satisfied_by, Requirement_source, Resource_as_realized, Resource_as_realized_assignment, Resource_as_realized_relationship, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Resource_property_representation, Risk_impact_assignment, Risk_perception_relationship, Risk_perception_source_assignment, Same_as_external_item, Security_classification, Security_classification_assignment, Selected_item_assignment, Shape_dependent_property_representation, Shape_description_association, Shape_element, Shape_element_relationship, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_definition_role, State_relationship, State_role, Task_element_state_relationship, Task_io_hierarchy, Task_method_state_relationship, Task_objective, Task_objective_state_relationship, Time_interval, Time_interval_assignment, Time_interval_relationship, Time_interval_role, Time_offset, Type_of_person, Type_of_person_assignment, Type_of_person_definition, Type_of_person_definition_relationship, Type_of_person_definition_required_attributes_relationship, Type_qualifier, Uncertainty_qualifier, Unit, Validation, Value_function, Value_with_unit, Verification, Verification_relationship, View_definition_context, View_definition_relationship, Work_order, Work_output, Work_output_assignment, Work_output_relationship, Work_request, Work_request_status); END_TYPE; TYPE observation_recorder = SELECT (Person, Person_in_organization, Product_as_realized, Type_of_person_assignment); END_TYPE; TYPE observed_context = SELECT (Activity, Activity_method, Activity_property, Alternate_product_relationship, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approval_assignment, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Behaviour_description_association, Certification_assignment, Condition_assignment, Condition_evaluation_assignment, Contract_assignment, Document_assignment, Effectivity_assignment, Event_assignment, Evidence, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Issue, Justification_assignment, Managed_resource, Observation_consequence, Product, Product_concept, Product_configuration, Product_design_to_individual, Product_group, Product_planned_to_realized, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Property_representation, Related_condition_parameter, Representation, Representation_item, Required_resource, Required_resource_assignment, Requirement_assignment, Resource_as_realized, Resource_as_realized_assignment, Resource_event, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_property, Risk_impact_assignment, Risk_perception_context, Risk_perception_source_assignment, Security_classification_assignment, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_relationship, State_role, Task_objective, Verification, View_definition_relationship, Work_order, Work_output, Work_request); END_TYPE; TYPE observed_environment_item = SELECT (Activity, Activity_method, Environment_definition_view, Location, Organization, Person, Product, Product_concept, Product_group, Product_version, Validation, Verification); 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_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_property_representation, Activity_relationship, Address, Address_assignment, Affected_items_assignment, Alias_identification, Alternate_product_relationship, Analysis, Analysis_discipline_definition, Analysis_version, Applied_activity_assignment, Applied_activity_method_assignment, Applied_state_assignment, Applied_state_definition_assignment, Approval, Approval_status, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Assumption, Assumption_assignment, Assumption_relationship, Breakdown, Breakdown_element, Breakdown_element_realization, Breakdown_element_usage, Certification, Certification_assignment, Class, Classification_assignment, Condition, Condition_assignment, Condition_evaluation, Condition_evaluation_assignment, Contract, Contract_assignment, Contract_relationship, Date_or_date_time_assignment, Descriptive_document_property, Digital_document_definition, Digital_file, Directed_activity, Document, Document_assignment, Document_definition, Document_version, Effectivity, Effectivity_assignment, Event, Event_assignment, Evidence, Hardcopy, Identification_assignment, Identification_relationship, Independent_property, Independent_property_relationship, Independent_property_representation, Information_usage_right, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Issue_consequence, Item_assumed, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Location_assignment, Managed_resource, Managed_resource_relationship, Numerical_document_property, Observation, Observation_assignment, Organization, Organization_or_person_in_organization_assignment, Part, Part_version, Part_view_definition, Person, Person_in_organization, Physical_document_definition, Position_assignment, Position_group_assignment, Position_position_type_assignment, Position_type, Position_type_assignment, Product, Product_as_individual, Product_as_planned, Product_as_realized, Product_configuration, Product_group, Product_group_membership, Product_group_relationship, Product_relationship, Product_version, Product_view_definition, Project, Project_assignment, Property_representation, Qualification_assignment, Qualification_type, Representation, Required_resource, Required_resource_assignment, Requirement, Requirement_assignment, Requirement_collection_relationship, Requirement_source, Requirement_version_relationship, Resource_as_realized, Resource_as_realized_assignment, Resource_event, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_property, Resource_property_representation, Risk_impact_assignment, Risk_perception_source_assignment, Scheme, Scheme_entry, Security_classification, Security_classification_assignment, Selected_item, Selected_item_assignment, Shape_element_relationship, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_relationship, Supplied_part_relationship, Task_element, Task_element_state_relationship, Task_method_state_relationship, Task_method_version, Task_objective, Task_objective_state_relationship, Tracing_relationship, Type_of_person_assignment, Validation, Verification, View_definition_context, View_definition_relationship, Work_order, Work_output, Work_request); END_TYPE; TYPE organization_or_person_in_organization_select = SELECT (Organization, Person_in_organization); END_TYPE; TYPE parameter_value_select = SELECT (Generic_expression, Product_view_definition, Representation, Representation_item, State_definition, State_relationship, Value_with_unit); END_TYPE; TYPE person_or_organization_or_person_in_organization_select = SELECT (Organization, Organization_or_person_in_organization_assignment, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Type_of_person, Type_of_person_definition_relationship); END_TYPE; TYPE plane_angle_measure = REAL; END_TYPE; TYPE position_context_item = SELECT (Organization, Position_group, Project); END_TYPE; TYPE position_group_item = SELECT (Activity, Activity_method, Approving_person_organization, Document_definition, Event, Evidence, Interface_definition_connection, Issue_consequence, Location, Organization_or_person_in_organization_assignment, Product, Product_concept, Product_configuration, Product_group, Product_version, Product_view_definition, Project, Required_resource, Resource_event, Risk_impact_assignment, Risk_perception_source_assignment, State, Verification, Work_order, Work_output_assignment, Work_request); END_TYPE; TYPE position_item = SELECT (Activity, Activity_method, Approving_person_organization, Document_definition, Event, Evidence, Interface_definition_connection, Issue_consequence, Location, Organization_or_person_in_organization_assignment, Product, Product_concept, Product_configuration, Product_group, Product_version, Product_view_definition, Project, Required_resource, Resource_event, Risk_impact_assignment, Risk_perception_source_assignment, State, Verification, Work_order, Work_output_assignment, Work_request); END_TYPE; TYPE position_person_or_organization_or_person_in_organization_select = SELECT (Organization, Person, Person_in_organization); END_TYPE; TYPE position_type_item = SELECT (Activity, Activity_method, Approving_person_organization, Document_definition, Event, Evidence, Interface_definition_connection, Issue_consequence, Location, Organization_or_person_in_organization_assignment, Product, Product_concept, Product_configuration, Product_group, Product_version, Product_view_definition, Project, Required_resource, Resource_event, Risk_impact_assignment, Risk_perception_source_assignment, State, Verification, Work_order, Work_output_assignment, Work_request); END_TYPE; TYPE product_based_location_representation = SELECT (Activity, Activity_method, Alternate_product_relationship, Assembly_relationship_substitution, Breakdown_of, Condition_evaluation_parameter, Constrained_general_parameter_relationship, Event, Evidence, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Justification, Language_indication, Managed_resource, Market, Observation, Organization, Organization_type, Person_in_organization, Product, Product_concept, Product_version, Project, Representation, Required_resource, Resource_event, Resource_item, Resource_item_realization, Resource_property, Risk_consequence, State, State_definition, State_relationship, Task_io, Verification, View_definition_relationship, Work_output, Work_request); END_TYPE; TYPE product_design_view_or_configuration = SELECT (Product_configuration, Product_view_definition); END_TYPE; TYPE product_item = SELECT (Assembly_component_relationship, Interface_connector_occurrence, Product_group, Product_view_definition, View_definition_usage); END_TYPE; TYPE product_select = SELECT (Product, Product_as_individual, Product_concept, Product_group, Product_version); END_TYPE; TYPE product_version_or_configuration = SELECT (Product_configuration, Product_version); END_TYPE; TYPE project_item = SELECT (Activity, Activity_method, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Alternate_product_relationship, Applied_activity_assignment, Applied_activity_method_assignment, Assembly_component_relationship, Assembly_relationship_substitution, Breakdown, Independent_property, Interface_connection, Interface_definition_connection, Organization, Person_in_organization, Product, Product_concept, Product_configuration, Product_group, Product_group_membership, Product_group_relationship, Product_version, Product_view_definition, Representation, Risk_impact_assignment, Risk_perception_context, Risk_perception_source_assignment, Risk_relationship, Task_objective, View_definition_relationship); END_TYPE; TYPE property_assignment_select = SELECT (Activity, Activity_happening, Activity_method, Address, Alternate_product_relationship, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_state_assignment, Applied_state_definition_assignment, Assembly_component_relationship, Breakdown_element_realization, Breakdown_element_usage, Condition_evaluation_parameter, Condition_parameter, Document_assignment, Document_definition, Event, Evidence, Experience_instance, File, Generic_expression, In_zone, Independent_property, Independent_property_relationship, Information_usage_right, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Location_assignment, Observation_consequence, Organization_or_person_in_organization_assignment, Part_view_definition, Person, Person_in_organization, Product, Product_concept, Product_configuration, Product_group, Product_group_membership, Product_version, Product_version_relationship, Product_view_definition, Project, Property_definition_representation, Related_condition_parameter, Representation, Representation_context, Representation_item, Requirement_source, Risk_impact_assignment, Risk_perception, Security_classification, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_relationship, Task_io_hierarchy, Task_method_state_relationship, Task_objective, Task_objective_state_relationship, Type_of_person_definition, Verification, Verification_relationship, View_definition_relationship, Work_order, Work_request); END_TYPE; TYPE qualifications_select = SELECT (Organization, Person, Person_in_organization); END_TYPE; TYPE representation_proxy_select = SELECT (Collection_version, Document_version, Scheme_entry, State_definition, State_transition_definition); END_TYPE; TYPE represented_definition = SELECT (Assigned_property, Independent_property); END_TYPE; TYPE required_resource_item = SELECT (Activity, Activity_method, Analysis_assignment, Applied_activity_assignment, Certification_assignment, Condition_evaluation_assignment, Contract_assignment, Event, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Issue, Justification, Managed_resource, Organization, Person_in_organization, Position, Position_type, Product, Product_version, Product_view_definition, Project, State_definition, Task_method_assignment, Task_method_version_assignment, Type_of_person, Verification, Work_order); END_TYPE; TYPE requirement_assignment_item = SELECT (Activity_method, Activity_property, Alternate_product_relationship, Analysis_discipline_definition, Applied_activity_method_assignment, Applied_state_assignment, Applied_state_definition_assignment, Assembly_component_relationship, Assembly_relationship_substitution, Breakdown_element_realization, Document_version, In_zone, Interface_connector_occurrence, Interface_definition_for, Product, Product_configuration, Product_version, Product_view_definition, Project, Required_resource_by_reference, Required_resource_by_requirement, State, State_definition, Validation, Verification, View_definition_relationship, Work_output, Work_request); END_TYPE; TYPE requirement_satisfaction_item = SELECT (requirement_assignment_item); END_TYPE; TYPE requirement_source_item = SELECT (Activity_method, Alternate_product_relationship, Analysis_discipline_definition, Applied_activity_method_assignment, Applied_state_assignment, Applied_state_definition_assignment, Approval_assignment, Approving_person_organization, Assembly_component_relationship, Certification_assignment, Contract_assignment, Directed_activity, Document_version, In_zone, Interface_connector_occurrence, Interface_definition_for, Observation, Organization, Organization_or_person_in_organization_assignment, Person_in_organization, Product, Product_concept, Product_version, Product_view_definition, Project_assignment, Resource_event, Shape_element, State, State_definition, Validation, Verification, View_definition_relationship); END_TYPE; TYPE resource_as_realized_item = SELECT (Activity_actual, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_relationship, Affected_items_assignment, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Behaviour_description_association, Certification, Certification_assignment, Condition_evaluation_assignment, Contract, Contract_assignment, Contract_relationship, Directed_activity, Event, Event_assignment, Evidence, Interface_connection, Interface_definition_connection, Interface_definition_for, Observation, Observation_assignment, Observation_consequence, Product, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Representation, Representation_item, Requirement_assignment, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Risk_impact_assignment, Risk_perception_context, Security_classification_assignment, State, State_assessment, State_definition, State_definition_relationship, State_relationship, State_role, Task_io_hierarchy, Task_objective, Verification, Work_output_assignment); END_TYPE; TYPE resource_as_realized_relationship_select = SELECT (Required_resource, Resource_event); END_TYPE; TYPE resource_assignment_item = SELECT (Activity_method, Analysis_assignment, Contract, Contract_relationship, Event, Evidence, Interface_connector_occurrence, Location, Managed_resource, Person_in_organization, Position_group_assignment, Product, Product_as_individual, Product_as_individual_version, Product_as_individual_view, Product_group, Product_version, Product_view_definition, Project, Work_order); END_TYPE; TYPE resource_item_select = SELECT (Document, Document_definition, Document_version, File, Location, Organization, Organization_type, Person, Person_in_organization, Position, Position_type, Product, Product_as_individual, Product_as_individual_version, Product_as_individual_view, Product_group, Product_version, Product_view_definition, Type_of_person, Work_order); END_TYPE; TYPE resource_requirement_select = SELECT (Requirement_version); END_TYPE; TYPE risk_impact_item = SELECT (Activity, Activity_method, Activity_method_realization_relationship, Activity_property, Activity_relationship, Alternate_product_relationship, Applied_activity_assignment, Applied_state_assignment, Approval, Assembly_relationship_substitution, Breakdown_context, Breakdown_of, Condition, Defined_state_relationship, Evidence, Independent_property, Independent_property_relationship, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Issue, Issue_consequence, Managed_resource, Managed_resource_relationship, Market, Organization, Organization_or_person_in_organization_assignment, Person, Person_in_organization, Product, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Representation, Representation_item, Required_resource, Required_resource_assignment, Requirement_assignment, Requirement_source, Resource_event, Resource_item, Resource_item_assignment, Resource_item_relationship, Resource_property, State, State_assertion, State_assessment, State_definition_relationship, State_relationship, Task_method_state_relationship, Task_objective, Task_objective_state_relationship, Verification, Verification_relationship, View_definition_relationship); END_TYPE; TYPE risk_perception_source_item = SELECT (Activity, Activity_method, Activity_property, Activity_relationship, Alternate_product_relationship, Applied_state_assignment, Approval, Approving_person_organization, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Breakdown_context, Breakdown_of, Certification_assignment, Condition, Condition_evaluation_parameter, Contract, Contract_assignment, Contract_relationship, Defined_state_relationship, Document_assignment, Effectivity_assignment, Evidence, Experience_gained, Experience_instance, Expression_assignment, File, Generic_expression, Independent_property, Independent_property_relationship, Information_right, Information_usage_right, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Managed_resource, Managed_resource_relationship, Market, Observation, Observation_consequence, Observation_relationship, Organization, Organization_or_person_in_organization_assignment, Person, Person_in_organization, Person_or_organization_or_person_in_organization_in_position, Person_or_organization_or_person_in_organization_in_position_relationship, Position, Position_assignment, Position_group, Position_group_assignment, Position_group_relationship, Position_position_type_assignment, Position_relationship, Position_role, Position_type, Position_type_assignment, Position_type_role, Product, Product_concept, Product_design_to_individual, Product_design_version_to_individual, Product_group, Product_group_relationship, Product_planned_to_realized, Product_version, Product_version_relationship, Product_view_definition, Project, Project_assignment, Project_relationship, Qualification_assignment, Qualification_type, Representation, Representation_item, Required_resource, Required_resource_assignment, Requirement_assignment, Requirement_source, Resource_as_realized, Resource_event, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, Selected_item, Selected_item_assignment, State, State_assertion, State_assessment, State_definition, State_definition_relationship, State_relationship, Task_method_state_relationship, Task_objective, Task_objective_state_relationship, Type_of_person, Type_of_person_assignment, Type_of_person_definition, Type_of_person_definition_relationship, Type_of_person_definition_required_attributes_relationship, Verification, Verification_relationship, View_definition_relationship, Work_order, Work_output, Work_output_assignment); END_TYPE; TYPE same_as_item = SELECT (Activity, Activity_method, Activity_method_realization, Activity_property, Activity_status, Address, Approval, Approval_status, Assumption, Breakdown_context, Calendar_date, Certification, Condition, Condition_evaluation, Condition_evaluation_parameter, Condition_parameter, Contract, Date_time, Derived_unit_element, Description_text, Event, Evidence, Experience_gained, Experience_instance, Experience_type, External_source, External_source_identification, Independent_property, Information_right, Information_usage_right, Item_assumed, Item_usage_effectivity, Justification, Language, Language_indication, Local_time, Location, Location_representation, Managed_resource, Market, Measure_qualification, Observation, Observation_consequence, Organization, Organization_type, Organizational_location_identification, Person, Position, Position_group, Position_group_role, Position_role, Position_type, Position_type_role, Precision_qualifier, Product, Product_concept, Product_version, Product_view_definition, Qualification_type, Regional_coordinate, Related_condition_parameter, Representation_context, Required_resource, Required_resource_requirement, Requirement_source, Resource_as_realized, Resource_event, Resource_item, Resource_property, Security_classification, State, State_assertion, State_assessment, State_definition, State_definition_role, State_role, Task_objective, Time_interval, Time_offset, Type_of_person, Type_of_person_definition, Type_qualifier, Uncertainty_qualifier, Unit, Value_with_unit, View_definition_context, Work_request_status); END_TYPE; TYPE scheme_entry_item_select = activity_method_item; WHERE wr1: NOT ('SCHEME_ARM.ACTIVITY' IN TYPEOF(SELF)); wr2: NOT ('SCHEME_ARM.ACTIVITY_METHOD' IN TYPEOF(SELF)); wr3: NOT ('SCHEME_ARM.ACTIVITY_PROPERTY' IN TYPEOF(SELF)); wr4: NOT ('SCHEME_ARM.ANALYSIS_ASSIGNMENT' IN TYPEOF(SELF)); wr5: NOT ('SCHEME_ARM.APPLIED_ACTIVITY_ASSIGNMENT' IN TYPEOF(SELF)); wr6: NOT ('SCHEME_ARM.APPROVAL_ASSIGNMENT' IN TYPEOF(SELF)); wr7: NOT ('SCHEME_ARM.ASSEMBLY_COMPONENT_RELATIONSHIP' IN TYPEOF(SELF)); wr8: NOT ('SCHEME_ARM.ASSIGNED_PROPERTY' IN TYPEOF(SELF)); wr9: NOT ('SCHEME_ARM.BEHAVIOUR_DESCRIPTION_ASSOCIATION' IN TYPEOF(SELF)); wr10: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT' IN TYPEOF(SELF)); wr11: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_DEFINITION' IN TYPEOF(SELF)); wr12: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_USAGE' IN TYPEOF(SELF)); wr13: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_VERSION' IN TYPEOF(SELF)); wr14: NOT ('SCHEME_ARM.CERTIFICATION' IN TYPEOF(SELF)); wr15: NOT ('SCHEME_ARM.CONDITION' IN TYPEOF(SELF)); wr16: NOT ('SCHEME_ARM.CONTRACT' IN TYPEOF(SELF)); wr17: NOT ('SCHEME_ARM.CONTRACT_RELATIONSHIP' IN TYPEOF(SELF)); wr18: NOT ('SCHEME_ARM.DATE_OR_DATE_TIME_ASSIGNMENT' IN TYPEOF(SELF)); wr19: NOT ('SCHEME_ARM.EVENT' IN TYPEOF(SELF)); wr20: NOT ('SCHEME_ARM.FILE' IN TYPEOF(SELF)); wr21: NOT ('SCHEME_ARM.IN_ZONE' IN TYPEOF(SELF)); wr22: NOT ('SCHEME_ARM.INTERFACE_CONNECTION' IN TYPEOF(SELF)); wr23: NOT ('SCHEME_ARM.INTERFACE_CONNECTOR_OCCURRENCE' IN TYPEOF(SELF)); wr24: NOT ('SCHEME_ARM.INTERFACE_DEFINITION_CONNECTION' IN TYPEOF(SELF)); wr25: NOT ('SCHEME_ARM.JUSTIFICATION' IN TYPEOF(SELF)); wr26: NOT ('SCHEME_ARM.LOCATION' IN TYPEOF(SELF)); wr27: NOT ('SCHEME_ARM.MANAGED_RESOURCE' IN TYPEOF(SELF)); wr28: NOT ('SCHEME_ARM.OBSERVATION' IN TYPEOF(SELF)); wr29: NOT ('SCHEME_ARM.OBSERVATION_CONSEQUENCE' IN TYPEOF(SELF)); wr30: NOT ('SCHEME_ARM.ORGANIZATION' IN TYPEOF(SELF)); wr31: NOT ('SCHEME_ARM.ORGANIZATION_TYPE' IN TYPEOF(SELF)); wr32: NOT ('SCHEME_ARM.PERSON' IN TYPEOF(SELF)); wr33: NOT ('SCHEME_ARM.PERSON_IN_ORGANIZATION' IN TYPEOF(SELF)); wr34: NOT ('SCHEME_ARM.POSITION' IN TYPEOF(SELF)); wr35: NOT ('SCHEME_ARM.POSITION_GROUP' IN TYPEOF(SELF)); wr36: NOT ('SCHEME_ARM.POSITION_TYPE' IN TYPEOF(SELF)); wr37: NOT ('SCHEME_ARM.PRODUCT' IN TYPEOF(SELF)); wr38: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL' IN TYPEOF(SELF)); wr39: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL_VERSION' IN TYPEOF(SELF)); wr40: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL_VIEW' IN TYPEOF(SELF)); wr41: NOT ('SCHEME_ARM.PRODUCT_BASED_LOCATION_IDENTIFICATION' IN TYPEOF(SELF)); wr42: NOT ('SCHEME_ARM.PRODUCT_CONCEPT' IN TYPEOF(SELF)); wr43: NOT ('SCHEME_ARM.PRODUCT_CONFIGURATION' IN TYPEOF(SELF)); wr44: NOT ('SCHEME_ARM.PRODUCT_GROUP' IN TYPEOF(SELF)); wr45: NOT ('SCHEME_ARM.PRODUCT_GROUP_MEMBERSHIP' IN TYPEOF(SELF)); wr46: NOT ('SCHEME_ARM.PRODUCT_VERSION' IN TYPEOF(SELF)); wr47: NOT ('SCHEME_ARM.PRODUCT_VERSION_RELATIONSHIP' IN TYPEOF(SELF)); wr48: NOT ('SCHEME_ARM.PRODUCT_VIEW_DEFINITION' IN TYPEOF(SELF)); wr49: NOT ('SCHEME_ARM.PROJECT' IN TYPEOF(SELF)); wr50: NOT ('SCHEME_ARM.REQUIRED_RESOURCE' IN TYPEOF(SELF)); wr51: NOT ('SCHEME_ARM.REQUIRED_RESOURCE_ASSIGNMENT' IN TYPEOF(SELF)); wr52: NOT ('SCHEME_ARM.REQUIREMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr53: NOT ('SCHEME_ARM.RESOURCE_AS_REALIZED' IN TYPEOF(SELF)); wr54: NOT ('SCHEME_ARM.RESOURCE_EVENT' IN TYPEOF(SELF)); wr55: NOT ('SCHEME_ARM.RESOURCE_ITEM' IN TYPEOF(SELF)); wr56: NOT ('SCHEME_ARM.RESOURCE_ITEM_REALIZATION' IN TYPEOF(SELF)); wr57: NOT ('SCHEME_ARM.RESOURCE_PROPERTY' IN TYPEOF(SELF)); wr58: NOT ('SCHEME_ARM.RISK_IMPACT_ASSIGNMENT' IN TYPEOF(SELF)); wr59: NOT ('SCHEME_ARM.RISK_PERCEPTION' IN TYPEOF(SELF)); wr60: NOT ('SCHEME_ARM.RISK_PERCEPTION_SOURCE_ASSIGNMENT' IN TYPEOF(SELF)); wr61: NOT ('SCHEME_ARM.SCHEME_ENTRY' IN TYPEOF(SELF)); wr62: NOT ('SCHEME_ARM.SECURITY_CLASSIFICATION' IN TYPEOF(SELF)); wr63: NOT ('SCHEME_ARM.STATE_DEFINITION' IN TYPEOF(SELF)); wr64: NOT ('SCHEME_ARM.STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr65: NOT ('SCHEME_ARM.TASK_IO' IN TYPEOF(SELF)); wr66: NOT ('SCHEME_ARM.TASK_IO_HIERARCHY' IN TYPEOF(SELF)); wr67: NOT ('SCHEME_ARM.TASK_METHOD' IN TYPEOF(SELF)); wr68: NOT ('SCHEME_ARM.TASK_METHOD_VERSION' IN TYPEOF(SELF)); wr69: NOT ('SCHEME_ARM.TASK_OBJECTIVE' IN TYPEOF(SELF)); wr70: NOT ('SCHEME_ARM.TYPE_OF_PERSON' IN TYPEOF(SELF)); wr71: NOT ('SCHEME_ARM.TYPE_OF_PERSON_DEFINITION' IN TYPEOF(SELF)); wr72: NOT ('SCHEME_ARM.VERIFICATION' IN TYPEOF(SELF)); wr73: NOT ('SCHEME_ARM.VIEW_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr74: NOT ('SCHEME_ARM.WORK_OUTPUT' IN TYPEOF(SELF)); wr75: NOT ('SCHEME_ARM.WORK_OUTPUT_ASSIGNMENT' IN TYPEOF(SELF)); END_TYPE; TYPE scheme_subject_select = activity_method_item; WHERE wr1: NOT ('SCHEME_ARM.ACTIVITY' IN TYPEOF(SELF)); wr2: NOT ('SCHEME_ARM.ACTIVITY_METHOD' IN TYPEOF(SELF)); wr3: NOT ('SCHEME_ARM.ACTIVITY_PROPERTY' IN TYPEOF(SELF)); wr4: NOT ('SCHEME_ARM.ANALYSIS_ASSIGNMENT' IN TYPEOF(SELF)); wr5: NOT ('SCHEME_ARM.APPLIED_ACTIVITY_ASSIGNMENT' IN TYPEOF(SELF)); wr6: NOT ('SCHEME_ARM.APPROVAL_ASSIGNMENT' IN TYPEOF(SELF)); wr7: NOT ('SCHEME_ARM.ASSEMBLY_COMPONENT_RELATIONSHIP' IN TYPEOF(SELF)); wr8: NOT ('SCHEME_ARM.ASSIGNED_PROPERTY' IN TYPEOF(SELF)); wr9: NOT ('SCHEME_ARM.BEHAVIOUR_DESCRIPTION_ASSOCIATION' IN TYPEOF(SELF)); wr10: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT' IN TYPEOF(SELF)); wr11: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_DEFINITION' IN TYPEOF(SELF)); wr12: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_USAGE' IN TYPEOF(SELF)); wr13: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_VERSION' IN TYPEOF(SELF)); wr14: NOT ('SCHEME_ARM.CERTIFICATION' IN TYPEOF(SELF)); wr15: NOT ('SCHEME_ARM.CONDITION' IN TYPEOF(SELF)); wr16: NOT ('SCHEME_ARM.CONTRACT' IN TYPEOF(SELF)); wr17: NOT ('SCHEME_ARM.CONTRACT_RELATIONSHIP' IN TYPEOF(SELF)); wr18: NOT ('SCHEME_ARM.DATE_OR_DATE_TIME_ASSIGNMENT' IN TYPEOF(SELF)); wr19: NOT ('SCHEME_ARM.EVENT' IN TYPEOF(SELF)); wr20: NOT ('SCHEME_ARM.FILE' IN TYPEOF(SELF)); wr21: NOT ('SCHEME_ARM.IN_ZONE' IN TYPEOF(SELF)); wr22: NOT ('SCHEME_ARM.INTERFACE_CONNECTION' IN TYPEOF(SELF)); wr23: NOT ('SCHEME_ARM.INTERFACE_CONNECTOR_OCCURRENCE' IN TYPEOF(SELF)); wr24: NOT ('SCHEME_ARM.INTERFACE_DEFINITION_CONNECTION' IN TYPEOF(SELF)); wr25: NOT ('SCHEME_ARM.JUSTIFICATION' IN TYPEOF(SELF)); wr26: NOT ('SCHEME_ARM.LOCATION' IN TYPEOF(SELF)); wr27: NOT ('SCHEME_ARM.MANAGED_RESOURCE' IN TYPEOF(SELF)); wr28: NOT ('SCHEME_ARM.OBSERVATION' IN TYPEOF(SELF)); wr29: NOT ('SCHEME_ARM.OBSERVATION_CONSEQUENCE' IN TYPEOF(SELF)); wr30: NOT ('SCHEME_ARM.ORGANIZATION' IN TYPEOF(SELF)); wr31: NOT ('SCHEME_ARM.ORGANIZATION_TYPE' IN TYPEOF(SELF)); wr32: NOT ('SCHEME_ARM.PERSON' IN TYPEOF(SELF)); wr33: NOT ('SCHEME_ARM.PERSON_IN_ORGANIZATION' IN TYPEOF(SELF)); wr34: NOT ('SCHEME_ARM.POSITION' IN TYPEOF(SELF)); wr35: NOT ('SCHEME_ARM.POSITION_GROUP' IN TYPEOF(SELF)); wr36: NOT ('SCHEME_ARM.POSITION_TYPE' IN TYPEOF(SELF)); wr37: NOT ('SCHEME_ARM.PRODUCT' IN TYPEOF(SELF)); wr38: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL' IN TYPEOF(SELF)); wr39: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL_VERSION' IN TYPEOF(SELF)); wr40: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL_VIEW' IN TYPEOF(SELF)); wr41: NOT ('SCHEME_ARM.PRODUCT_BASED_LOCATION_IDENTIFICATION' IN TYPEOF(SELF)); wr42: NOT ('SCHEME_ARM.PRODUCT_CONCEPT' IN TYPEOF(SELF)); wr43: NOT ('SCHEME_ARM.PRODUCT_CONFIGURATION' IN TYPEOF(SELF)); wr44: NOT ('SCHEME_ARM.PRODUCT_GROUP' IN TYPEOF(SELF)); wr45: NOT ('SCHEME_ARM.PRODUCT_GROUP_MEMBERSHIP' IN TYPEOF(SELF)); wr46: NOT ('SCHEME_ARM.PRODUCT_VERSION' IN TYPEOF(SELF)); wr47: NOT ('SCHEME_ARM.PRODUCT_VERSION_RELATIONSHIP' IN TYPEOF(SELF)); wr48: NOT ('SCHEME_ARM.PRODUCT_VIEW_DEFINITION' IN TYPEOF(SELF)); wr49: NOT ('SCHEME_ARM.PROJECT' IN TYPEOF(SELF)); wr50: NOT ('SCHEME_ARM.REQUIRED_RESOURCE' IN TYPEOF(SELF)); wr51: NOT ('SCHEME_ARM.REQUIRED_RESOURCE_ASSIGNMENT' IN TYPEOF(SELF)); wr52: NOT ('SCHEME_ARM.REQUIREMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr53: NOT ('SCHEME_ARM.RESOURCE_AS_REALIZED' IN TYPEOF(SELF)); wr54: NOT ('SCHEME_ARM.RESOURCE_EVENT' IN TYPEOF(SELF)); wr55: NOT ('SCHEME_ARM.RESOURCE_ITEM' IN TYPEOF(SELF)); wr56: NOT ('SCHEME_ARM.RESOURCE_ITEM_REALIZATION' IN TYPEOF(SELF)); wr57: NOT ('SCHEME_ARM.RESOURCE_PROPERTY' IN TYPEOF(SELF)); wr58: NOT ('SCHEME_ARM.RISK_IMPACT_ASSIGNMENT' IN TYPEOF(SELF)); wr59: NOT ('SCHEME_ARM.RISK_PERCEPTION' IN TYPEOF(SELF)); wr60: NOT ('SCHEME_ARM.RISK_PERCEPTION_SOURCE_ASSIGNMENT' IN TYPEOF(SELF)); wr61: NOT ('SCHEME_ARM.SCHEME_ENTRY' IN TYPEOF(SELF)); wr62: NOT ('SCHEME_ARM.SECURITY_CLASSIFICATION' IN TYPEOF(SELF)); wr63: NOT ('SCHEME_ARM.STATE_DEFINITION' IN TYPEOF(SELF)); wr64: NOT ('SCHEME_ARM.STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr65: NOT ('SCHEME_ARM.TASK_IO' IN TYPEOF(SELF)); wr66: NOT ('SCHEME_ARM.TASK_IO_HIERARCHY' IN TYPEOF(SELF)); wr67: NOT ('SCHEME_ARM.TASK_METHOD' IN TYPEOF(SELF)); wr68: NOT ('SCHEME_ARM.TASK_METHOD_VERSION' IN TYPEOF(SELF)); wr69: NOT ('SCHEME_ARM.TASK_OBJECTIVE' IN TYPEOF(SELF)); wr70: NOT ('SCHEME_ARM.TYPE_OF_PERSON' IN TYPEOF(SELF)); wr71: NOT ('SCHEME_ARM.TYPE_OF_PERSON_DEFINITION' IN TYPEOF(SELF)); wr72: NOT ('SCHEME_ARM.VERIFICATION' IN TYPEOF(SELF)); wr73: NOT ('SCHEME_ARM.VIEW_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr74: NOT ('SCHEME_ARM.WORK_OUTPUT' IN TYPEOF(SELF)); wr75: NOT ('SCHEME_ARM.WORK_OUTPUT_ASSIGNMENT' IN TYPEOF(SELF)); END_TYPE; TYPE scheme_version_select = activity_method_item; WHERE wr1: NOT ('SCHEME_ARM.ACTIVITY' IN TYPEOF(SELF)); wr2: NOT ('SCHEME_ARM.ACTIVITY_METHOD' IN TYPEOF(SELF)); wr3: NOT ('SCHEME_ARM.ACTIVITY_PROPERTY' IN TYPEOF(SELF)); wr4: NOT ('SCHEME_ARM.ANALYSIS_ASSIGNMENT' IN TYPEOF(SELF)); wr5: NOT ('SCHEME_ARM.APPLIED_ACTIVITY_ASSIGNMENT' IN TYPEOF(SELF)); wr6: NOT ('SCHEME_ARM.APPROVAL_ASSIGNMENT' IN TYPEOF(SELF)); wr7: NOT ('SCHEME_ARM.ASSEMBLY_COMPONENT_RELATIONSHIP' IN TYPEOF(SELF)); wr8: NOT ('SCHEME_ARM.ASSIGNED_PROPERTY' IN TYPEOF(SELF)); wr9: NOT ('SCHEME_ARM.BEHAVIOUR_DESCRIPTION_ASSOCIATION' IN TYPEOF(SELF)); wr10: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT' IN TYPEOF(SELF)); wr11: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_DEFINITION' IN TYPEOF(SELF)); wr12: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_USAGE' IN TYPEOF(SELF)); wr13: NOT ('SCHEME_ARM.BREAKDOWN_ELEMENT_VERSION' IN TYPEOF(SELF)); wr14: NOT ('SCHEME_ARM.CERTIFICATION' IN TYPEOF(SELF)); wr15: NOT ('SCHEME_ARM.CONDITION' IN TYPEOF(SELF)); wr16: NOT ('SCHEME_ARM.CONTRACT' IN TYPEOF(SELF)); wr17: NOT ('SCHEME_ARM.CONTRACT_RELATIONSHIP' IN TYPEOF(SELF)); wr18: NOT ('SCHEME_ARM.DATE_OR_DATE_TIME_ASSIGNMENT' IN TYPEOF(SELF)); wr19: NOT ('SCHEME_ARM.EVENT' IN TYPEOF(SELF)); wr20: NOT ('SCHEME_ARM.FILE' IN TYPEOF(SELF)); wr21: NOT ('SCHEME_ARM.IN_ZONE' IN TYPEOF(SELF)); wr22: NOT ('SCHEME_ARM.INTERFACE_CONNECTION' IN TYPEOF(SELF)); wr23: NOT ('SCHEME_ARM.INTERFACE_CONNECTOR_OCCURRENCE' IN TYPEOF(SELF)); wr24: NOT ('SCHEME_ARM.INTERFACE_DEFINITION_CONNECTION' IN TYPEOF(SELF)); wr25: NOT ('SCHEME_ARM.JUSTIFICATION' IN TYPEOF(SELF)); wr26: NOT ('SCHEME_ARM.LOCATION' IN TYPEOF(SELF)); wr27: NOT ('SCHEME_ARM.MANAGED_RESOURCE' IN TYPEOF(SELF)); wr28: NOT ('SCHEME_ARM.OBSERVATION' IN TYPEOF(SELF)); wr29: NOT ('SCHEME_ARM.OBSERVATION_CONSEQUENCE' IN TYPEOF(SELF)); wr30: NOT ('SCHEME_ARM.ORGANIZATION' IN TYPEOF(SELF)); wr31: NOT ('SCHEME_ARM.ORGANIZATION_TYPE' IN TYPEOF(SELF)); wr32: NOT ('SCHEME_ARM.PERSON' IN TYPEOF(SELF)); wr33: NOT ('SCHEME_ARM.PERSON_IN_ORGANIZATION' IN TYPEOF(SELF)); wr34: NOT ('SCHEME_ARM.POSITION' IN TYPEOF(SELF)); wr35: NOT ('SCHEME_ARM.POSITION_GROUP' IN TYPEOF(SELF)); wr36: NOT ('SCHEME_ARM.POSITION_TYPE' IN TYPEOF(SELF)); wr37: NOT ('SCHEME_ARM.PRODUCT' IN TYPEOF(SELF)); wr38: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL' IN TYPEOF(SELF)); wr39: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL_VERSION' IN TYPEOF(SELF)); wr40: NOT ('SCHEME_ARM.PRODUCT_AS_INDIVIDUAL_VIEW' IN TYPEOF(SELF)); wr41: NOT ('SCHEME_ARM.PRODUCT_BASED_LOCATION_IDENTIFICATION' IN TYPEOF(SELF)); wr42: NOT ('SCHEME_ARM.PRODUCT_CONCEPT' IN TYPEOF(SELF)); wr43: NOT ('SCHEME_ARM.PRODUCT_CONFIGURATION' IN TYPEOF(SELF)); wr44: NOT ('SCHEME_ARM.PRODUCT_GROUP' IN TYPEOF(SELF)); wr45: NOT ('SCHEME_ARM.PRODUCT_GROUP_MEMBERSHIP' IN TYPEOF(SELF)); wr46: NOT ('SCHEME_ARM.PRODUCT_VERSION' IN TYPEOF(SELF)); wr47: NOT ('SCHEME_ARM.PRODUCT_VERSION_RELATIONSHIP' IN TYPEOF(SELF)); wr48: NOT ('SCHEME_ARM.PRODUCT_VIEW_DEFINITION' IN TYPEOF(SELF)); wr49: NOT ('SCHEME_ARM.PROJECT' IN TYPEOF(SELF)); wr50: NOT ('SCHEME_ARM.REQUIRED_RESOURCE' IN TYPEOF(SELF)); wr51: NOT ('SCHEME_ARM.REQUIRED_RESOURCE_ASSIGNMENT' IN TYPEOF(SELF)); wr52: NOT ('SCHEME_ARM.REQUIREMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr53: NOT ('SCHEME_ARM.RESOURCE_AS_REALIZED' IN TYPEOF(SELF)); wr54: NOT ('SCHEME_ARM.RESOURCE_EVENT' IN TYPEOF(SELF)); wr55: NOT ('SCHEME_ARM.RESOURCE_ITEM' IN TYPEOF(SELF)); wr56: NOT ('SCHEME_ARM.RESOURCE_ITEM_REALIZATION' IN TYPEOF(SELF)); wr57: NOT ('SCHEME_ARM.RESOURCE_PROPERTY' IN TYPEOF(SELF)); wr58: NOT ('SCHEME_ARM.RISK_IMPACT_ASSIGNMENT' IN TYPEOF(SELF)); wr59: NOT ('SCHEME_ARM.RISK_PERCEPTION' IN TYPEOF(SELF)); wr60: NOT ('SCHEME_ARM.RISK_PERCEPTION_SOURCE_ASSIGNMENT' IN TYPEOF(SELF)); wr61: NOT ('SCHEME_ARM.SCHEME_ENTRY' IN TYPEOF(SELF)); wr62: NOT ('SCHEME_ARM.SECURITY_CLASSIFICATION' IN TYPEOF(SELF)); wr63: NOT ('SCHEME_ARM.STATE_DEFINITION' IN TYPEOF(SELF)); wr64: NOT ('SCHEME_ARM.STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr65: NOT ('SCHEME_ARM.TASK_IO' IN TYPEOF(SELF)); wr66: NOT ('SCHEME_ARM.TASK_IO_HIERARCHY' IN TYPEOF(SELF)); wr67: NOT ('SCHEME_ARM.TASK_METHOD' IN TYPEOF(SELF)); wr68: NOT ('SCHEME_ARM.TASK_METHOD_VERSION' IN TYPEOF(SELF)); wr69: NOT ('SCHEME_ARM.TASK_OBJECTIVE' IN TYPEOF(SELF)); wr70: NOT ('SCHEME_ARM.TYPE_OF_PERSON' IN TYPEOF(SELF)); wr71: NOT ('SCHEME_ARM.TYPE_OF_PERSON_DEFINITION' IN TYPEOF(SELF)); wr72: NOT ('SCHEME_ARM.VERIFICATION' IN TYPEOF(SELF)); wr73: NOT ('SCHEME_ARM.VIEW_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr74: NOT ('SCHEME_ARM.WORK_OUTPUT' IN TYPEOF(SELF)); wr75: NOT ('SCHEME_ARM.WORK_OUTPUT_ASSIGNMENT' IN TYPEOF(SELF)); END_TYPE; TYPE second_in_minute = REAL; WHERE WR1: {0 <= SELF <= 60.000000}; END_TYPE; TYPE security_classification_item = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Affected_items_assignment, Alternate_product_relationship, Analysis_version, Applied_activity_assignment, Applied_activity_method_assignment, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Breakdown, Breakdown_element_definition, Breakdown_element_realization, Breakdown_element_usage, Breakdown_element_version, Digital_document_definition, Digital_file, Directed_activity, Document, Document_assignment, Document_version, Event, Evidence, Hardcopy, In_zone, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Managed_resource, Observation, Observation_assignment, Observation_consequence, Observation_relationship, Physical_document_definition, Product, Product_as_individual, Product_as_individual_view, Product_as_planned, Product_as_realized, Product_configuration, Product_design_to_individual, Product_design_version_to_individual, Product_group, Product_group_membership, Product_group_relationship, Product_relationship, Product_version, Product_view_definition, Project_relationship, Requirement, Requirement_assignment, Requirement_collection_relationship, Requirement_source, Requirement_version, Requirement_version_relationship, Requirement_view_definition, Resource_item, Resource_item_realization, Risk_consequence, Task_element, Task_element_state_relationship, Task_method, Task_method_version, Task_objective, Task_objective_state_relationship, Tracing_relationship, Validation, Verification, Work_order, Work_output, Work_output_assignment, Work_output_relationship, Work_request, Work_request_status); END_TYPE; TYPE selected_item_context_items = SELECT (Breakdown, Contract, Contract_relationship, Part, Part_version, Product_as_individual, Product_as_individual_version, Product_concept, Product_configuration, Project); END_TYPE; TYPE selected_item_select = SELECT (Interface_connection, Interface_connector_definition, Interface_connector_occurrence, Interface_definition_connection, Product, Product_version); END_TYPE; TYPE set_of_text_based_item = SET[1:?] OF Textual_expression_representation_item; END_TYPE; TYPE shape_dependent_select = SELECT (Item_shape, Shape_element); END_TYPE; TYPE shape_model = SELECT (External_geometric_model, Geometric_model); END_TYPE; TYPE shape_select = SELECT (Item_shape, Shape_element, Shape_element_relationship); END_TYPE; TYPE shapeable_item = SELECT (Product_occurrence_definition_relationship, Product_view_definition, View_definition_usage); END_TYPE; TYPE state_based_behaviour_element = SELECT (State_definition, State_definition_relationship); END_TYPE; TYPE state_definition_of_item = SELECT (Activity, Activity_method, Alternate_product_relationship, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Approval, Assembly_component_relationship, Assembly_relationship_substitution, Assumption, Behaviour_description_association, Breakdown_element_definition, Breakdown_element_realization, Breakdown_element_version, Certification, Contract, Contract_relationship, Event, File, File_location_identification, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Issue_reference, Location, Managed_resource, Observation_consequence, Organization, Person_in_organization, Product, Product_as_individual, Product_as_individual_view, Product_as_planned, Product_as_realized, Product_concept, Product_configuration, Product_group, Product_version, Product_view_definition, Project, Resource_as_realized, Resource_as_realized_assignment, Resource_as_realized_relationship, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Risk_attitude, Security_classification, State, Task_io_hierarchy, Verification, View_definition_relationship, Work_order, Work_request); END_TYPE; TYPE state_of_item = SELECT (Activity, Activity_method, Alternate_product_relationship, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Applied_state_definition_assignment, Approval, Assembly_component_relationship, Assembly_relationship_substitution, Assumption, Behaviour_description_association, Breakdown, Breakdown_element, Breakdown_element_definition, Breakdown_element_realization, Breakdown_element_usage, Breakdown_element_version, Certification, Contract, Contract_relationship, Digital_document_definition, Digital_file, Event, Evidence, evidence_support_item, File, File_location_identification, Information_usage_right, Interface_connection, Interface_connector_definition, Interface_connector_occurrence, Interface_definition_connection, Interface_specification_definition, Justification, Location, Managed_resource, Observation, Observation_consequence, Organization, Part_view_definition, Person_in_organization, Physical_document_definition, Product, Product_as_individual, Product_as_individual_view, Product_as_planned, Product_as_realized, Product_concept, Product_configuration, Product_group, Product_version, Project, Resource_as_realized, Resource_as_realized_assignment, Resource_as_realized_relationship, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Risk_attitude, Risk_impact_assignment, Risk_perception, Security_classification, State, State_assessment, State_definition, State_definition_relationship, State_relationship, State_role, Task_objective, Type_of_person, Verification, View_definition_relationship, Work_order, Work_request); END_TYPE; TYPE state_or_state_definition_select = SELECT (Applied_state_assignment, Applied_state_definition_assignment, State, State_definition); END_TYPE; TYPE string_select = SELECT (Activity, Activity_method, Activity_method_assignment, Activity_method_realization, Activity_method_realization_relationship, Activity_method_relationship, Activity_property, Activity_relationship, Alternate_part_relationship, Applied_activity_assignment, Applied_activity_method_assignment, Approval, Approval_relationship, Approval_status, Assembly_component_relationship, Assembly_relationship_substitution, Assigned_property, Breakdown, Breakdown_element, Breakdown_element_realization, Breakdown_element_usage, Breakdown_element_version, Certification, Condition, Condition_evaluation, Condition_evaluation_parameter, Condition_parameter, Condition_relationship, Contract, Contract_relationship, Date_or_date_time_assignment, Digital_document_definition, Document, Document_assignment, Document_definition_relationship, Document_version, Event, Evidence, Experience_gained, Experience_type, External_item_identification, External_source_identification, File_relationship, Global_location_representation, Identification_assignment, Independent_property, Independent_property_relationship, Information_right, Information_usage_right, Interface_connection, Interface_connector_occurrence, Interface_definition_connection, Interface_definition_for, Justification, Justification_assignment, Justification_relationship, Justification_support_assignment, Location, Location_assignment, Location_relationship, Managed_resource, Managed_resource_relationship, Observation, Observation_assignment, Observation_consequence, Observation_relationship, Organization_relationship, Organization_type, Organizational_location_identification, Person_in_organization, Physical_document_definition, Position, Position_group, Position_relationship, Position_role, Position_type, Product, Product_as_individual, Product_as_individual_version, Product_as_individual_view, Product_based_location_identification, Product_configuration, Product_group, Product_group_relationship, Product_relationship, Product_version, Product_view_definition, Project, Project_assignment, Project_relationship, Qualification_type, Regional_coordinate, Regional_grid_location_representation, Related_condition_parameter, Representation_item, Required_resource, Required_resource_relationship, Requirement, Requirement_assignment, Requirement_collection_relationship, Requirement_source, Requirement_version, Requirement_version_relationship, Requirement_view_definition, Resource_as_realized, Resource_as_realized_relationship, Resource_event, Resource_event_correspondence_relationship, Resource_event_relationship, Resource_item, Resource_item_assignment, Resource_item_realization, Resource_item_relationship, Resource_property, State, State_definition, State_definition_relationship, State_relationship, Task_element, Task_method, Task_method_version, Task_objective, Tracing_relationship, Type_of_person, Type_of_person_assignment, Type_of_person_definition, Type_of_person_definition_relationship, Validation, Verification, View_definition_relationship, Work_order, Work_output, Work_output_relationship, Work_request); END_TYPE; TYPE task_item = activity_method_item; WHERE wr1: NOT ('TASK_ELEMENT_ARM.ACTIVITY' IN TYPEOF(SELF)); wr2: NOT ('TASK_ELEMENT_ARM.ACTIVITY_METHOD' IN TYPEOF(SELF)); wr3: NOT ('TASK_ELEMENT_ARM.ACTIVITY_PROPERTY' IN TYPEOF(SELF)); wr4: NOT ('TASK_ELEMENT_ARM.ANALYSIS_ASSIGNMENT' IN TYPEOF(SELF)); wr5: NOT ('TASK_ELEMENT_ARM.APPLIED_ACTIVITY_ASSIGNMENT' IN TYPEOF(SELF)); wr6: NOT ('TASK_ELEMENT_ARM.APPROVAL_ASSIGNMENT' IN TYPEOF(SELF)); wr7: NOT ('TASK_ELEMENT_ARM.ASSEMBLY_COMPONENT_RELATIONSHIP' IN TYPEOF(SELF)); wr8: NOT ('TASK_ELEMENT_ARM.BEHAVIOUR_DESCRIPTION_ASSOCIATION' IN TYPEOF(SELF)); wr9: NOT ('TASK_ELEMENT_ARM.BREAKDOWN_ELEMENT' IN TYPEOF(SELF)); wr10: NOT ('TASK_ELEMENT_ARM.BREAKDOWN_ELEMENT_DEFINITION' IN TYPEOF(SELF)); wr11: NOT ('TASK_ELEMENT_ARM.BREAKDOWN_ELEMENT_USAGE' IN TYPEOF(SELF)); wr12: NOT ('TASK_ELEMENT_ARM.BREAKDOWN_ELEMENT_VERSION' IN TYPEOF(SELF)); wr13: NOT ('TASK_ELEMENT_ARM.CERTIFICATION' IN TYPEOF(SELF)); wr14: NOT ('TASK_ELEMENT_ARM.CONDITION' IN TYPEOF(SELF)); wr15: NOT ('TASK_ELEMENT_ARM.CONTRACT' IN TYPEOF(SELF)); wr16: NOT ('TASK_ELEMENT_ARM.CONTRACT_RELATIONSHIP' IN TYPEOF(SELF)); wr17: NOT ('TASK_ELEMENT_ARM.DATE_OR_DATE_TIME_ASSIGNMENT' IN TYPEOF(SELF)); wr18: NOT ('TASK_ELEMENT_ARM.EVENT' IN TYPEOF(SELF)); wr19: NOT ('TASK_ELEMENT_ARM.IN_ZONE' IN TYPEOF(SELF)); wr20: NOT ('TASK_ELEMENT_ARM.INTERFACE_CONNECTION' IN TYPEOF(SELF)); wr21: NOT ('TASK_ELEMENT_ARM.INTERFACE_CONNECTOR_OCCURRENCE' IN TYPEOF(SELF)); wr22: NOT ('TASK_ELEMENT_ARM.INTERFACE_DEFINITION_CONNECTION' IN TYPEOF(SELF)); wr23: NOT ('TASK_ELEMENT_ARM.JUSTIFICATION' IN TYPEOF(SELF)); wr24: NOT ('TASK_ELEMENT_ARM.LOCATION' IN TYPEOF(SELF)); wr25: NOT ('TASK_ELEMENT_ARM.MANAGED_RESOURCE' IN TYPEOF(SELF)); wr26: NOT ('TASK_ELEMENT_ARM.OBSERVATION' IN TYPEOF(SELF)); wr27: NOT ('TASK_ELEMENT_ARM.OBSERVATION_CONSEQUENCE' IN TYPEOF(SELF)); wr28: NOT ('TASK_ELEMENT_ARM.ORGANIZATION' IN TYPEOF(SELF)); wr29: NOT ('TASK_ELEMENT_ARM.ORGANIZATION_TYPE' IN TYPEOF(SELF)); wr30: NOT ('TASK_ELEMENT_ARM.PERSON' IN TYPEOF(SELF)); wr31: NOT ('TASK_ELEMENT_ARM.PERSON_IN_ORGANIZATION' IN TYPEOF(SELF)); wr32: NOT ('TASK_ELEMENT_ARM.POSITION' IN TYPEOF(SELF)); wr33: NOT ('TASK_ELEMENT_ARM.POSITION_GROUP' IN TYPEOF(SELF)); wr34: NOT ('TASK_ELEMENT_ARM.POSITION_TYPE' IN TYPEOF(SELF)); wr35: NOT ('TASK_ELEMENT_ARM.PRODUCT_AS_INDIVIDUAL' IN TYPEOF(SELF)); wr36: NOT ('TASK_ELEMENT_ARM.PRODUCT_AS_INDIVIDUAL_VERSION' IN TYPEOF(SELF)); wr37: NOT ('TASK_ELEMENT_ARM.PRODUCT_AS_INDIVIDUAL_VIEW' IN TYPEOF(SELF)); wr38: NOT ('TASK_ELEMENT_ARM.PRODUCT_BASED_LOCATION_IDENTIFICATION' IN TYPEOF(SELF)); wr39: NOT ('TASK_ELEMENT_ARM.PRODUCT_CONCEPT' IN TYPEOF(SELF)); wr40: NOT ('TASK_ELEMENT_ARM.PRODUCT_CONFIGURATION' IN TYPEOF(SELF)); wr41: NOT ('TASK_ELEMENT_ARM.PRODUCT_GROUP' IN TYPEOF(SELF)); wr42: NOT ('TASK_ELEMENT_ARM.PRODUCT_GROUP_MEMBERSHIP' IN TYPEOF(SELF)); wr43: NOT ('TASK_ELEMENT_ARM.PROJECT' IN TYPEOF(SELF)); wr44: NOT ('TASK_ELEMENT_ARM.REQUIREMENT_ASSIGNMENT' IN TYPEOF(SELF)); wr45: NOT ('TASK_ELEMENT_ARM.RESOURCE_AS_REALIZED' IN TYPEOF(SELF)); wr46: NOT ('TASK_ELEMENT_ARM.RESOURCE_EVENT' IN TYPEOF(SELF)); wr47: NOT ('TASK_ELEMENT_ARM.RESOURCE_ITEM_REALIZATION' IN TYPEOF(SELF)); wr48: NOT ('TASK_ELEMENT_ARM.RISK_IMPACT_ASSIGNMENT' IN TYPEOF(SELF)); wr49: NOT ('TASK_ELEMENT_ARM.RISK_PERCEPTION' IN TYPEOF(SELF)); wr50: NOT ('TASK_ELEMENT_ARM.RISK_PERCEPTION_SOURCE_ASSIGNMENT' IN TYPEOF(SELF)); wr51: NOT ('TASK_ELEMENT_ARM.SCHEME_ENTRY' IN TYPEOF(SELF)); wr52: NOT ('TASK_ELEMENT_ARM.SECURITY_CLASSIFICATION' IN TYPEOF(SELF)); wr53: NOT ('TASK_ELEMENT_ARM.STATE_DEFINITION' IN TYPEOF(SELF)); wr54: NOT ('TASK_ELEMENT_ARM.STATE_RELATIONSHIP' IN TYPEOF(SELF)); wr55: NOT ('TASK_ELEMENT_ARM.TASK_IO' IN TYPEOF(SELF)); wr56: NOT ('TASK_ELEMENT_ARM.TASK_IO_HIERARCHY' IN TYPEOF(SELF)); wr57: NOT ('TASK_ELEMENT_ARM.TASK_METHOD' IN TYPEOF(SELF)); wr58: NOT ('TASK_ELEMENT_ARM.TASK_METHOD_VERSION' IN TYPEOF(SELF)); wr59: NOT ('TASK_ELEMENT_ARM.TASK_OBJECTIVE' IN TYPEOF(SELF)); wr60: NOT ('TASK_ELEMENT_ARM.TYPE_OF_PERSON' IN TYPEOF(SELF)); wr61: NOT ('TASK_ELEMENT_ARM.TYPE_OF_PERSON_DEFINITION' IN TYPEOF(SELF)); wr62: NOT ('TASK_ELEMENT_ARM.VERIFICATION' IN TYPEOF(SELF)); wr63: NOT ('TASK_ELEMENT_ARM.VIEW_DEFINITION_RELATIONSHIP' IN TYPEOF(SELF)); wr64: NOT ('TASK_ELEMENT_ARM.WORK_OUTPUT' IN TYPEOF(SELF)); wr65: NOT ('TASK_ELEMENT_ARM.WORK_OUTPUT_ASSIGNMENT' IN TYPEOF(SELF)); END_TYPE; TYPE template_definition_select = SELECT (Geometric_model); END_TYPE; TYPE text = STRING; END_TYPE; TYPE text_based_item_select = SELECT (Included_text_based_representation, Textual_expression_composition, Textual_expression_representation_item); END_TYPE; TYPE time_interval_item = SELECT (Activity, Activity_method_assignment, Affected_items_assignment, Directed_activity, Observation, Observation_assignment, Work_order, Work_output, Work_request); END_TYPE; TYPE type_of_person_item_select = SELECT (Activity, Activity_method, Activity_method_assignment, Analysis_assignment, Behaviour_description_association, behaviour_model, Document_assignment, Evidence, Experience_gained, Experience_instance, Experience_type, Interface_definition_connection, Interface_definition_for, Observation_consequence, Person, Person_in_organization, Position, Position_group, Position_type, Product, Product_version, Project, Project_assignment, Required_resource_assignment, Resource_item_assignment, Risk_impact_assignment, Verification, View_definition_relationship, Work_order, Work_output_assignment, Work_request); END_TYPE; TYPE validation_item = SELECT (Activity_method, Organization_or_person_in_organization_assignment, Product_version, State_definition); END_TYPE; TYPE value_qualifier = SELECT (Precision_qualifier, Type_qualifier, Uncertainty_qualifier); END_TYPE; TYPE version_or_definition = SELECT (Product_version, Product_view_definition); END_TYPE; TYPE work_item = SELECT (Activity, Activity_method, Analysis_assignment, Applied_activity_assignment, Applied_activity_method_assignment, Event, Project, Verification); END_TYPE; TYPE work_output_item = SELECT (Activity_method, Analysis_assignment, Behaviour_description_association, Breakdown, Breakdown_version, Contract, Contract_relationship, Evidence, File, Location, Managed_resource, Organization, Organization_type, Part, Part_version, Part_view_definition, Person, Person_in_organization, Position, Position_type, Product, Product_as_individual, Product_as_individual_version, Product_as_individual_view, Product_group, Product_version, Product_view_definition, Project_assignment, Required_resource, Resource_as_realized, Resource_item, Resource_item_realization, State_definition, Task_io, Type_of_person); END_TYPE; TYPE year_number = INTEGER; END_TYPE; ENTITY Abs_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Acos_function SUBTYPE OF (Unary_function_call); END_ENTITY; 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 ('AP233_SYSTEMS_ENGINEERING_ARM_LF.ACTIVITY_ACTUAL' IN TYPEOF(predicted)); END_ENTITY; ENTITY Activity_method SUPERTYPE OF (ONEOF (Task_element, Task_method, Task_method_version)); name : STRING; description : OPTIONAL STRING; consequence : OPTIONAL STRING; purpose : STRING; END_ENTITY; ENTITY Activity_method_assignment; relation_type : STRING; assigned_method : Activity_method; associated_request : Work_request; END_ENTITY; ENTITY Activity_method_realization; id : STRING; name : STRING; description : OPTIONAL STRING; activity_method : Activity_method; realized_by : activity_realization_select; END_ENTITY; ENTITY Activity_method_realization_relationship; id : STRING; name : STRING; description : OPTIONAL STRING; relating : Activity_method_realization; related : Activity_method_realization; END_ENTITY; ENTITY Activity_method_relationship SUPERTYPE OF (ONEOF (Task_element_relationship, Task_method_relationship, Task_method_version_relationship)); name : STRING; description : OPTIONAL STRING; relating_method : Activity_method; related_method : Activity_method; END_ENTITY; ENTITY Activity_property; name : STRING; description : STRING; described_element : characterized_activity_definition; END_ENTITY; ENTITY Activity_property_representation; description : OPTIONAL STRING; property : Activity_property; rep : Representation; role : STRING; 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 Address; name : OPTIONAL STRING; street_number : OPTIONAL STRING; street : OPTIONAL STRING; postal_box : OPTIONAL STRING; town : OPTIONAL STRING; region : OPTIONAL STRING; postal_code : OPTIONAL STRING; country : OPTIONAL STRING; internal_location : OPTIONAL STRING; facsimile_number : OPTIONAL STRING; telephone_number : OPTIONAL STRING; electronic_mail_address : OPTIONAL STRING; telex_number : OPTIONAL STRING; url : OPTIONAL STRING; WHERE WR1: (EXISTS(street_number) OR EXISTS(street) OR EXISTS(postal_box) OR EXISTS(town) OR EXISTS(region) OR EXISTS(postal_code) OR EXISTS(country) OR EXISTS(internal_location) OR EXISTS(facsimile_number) OR EXISTS(telephone_number) OR EXISTS(electronic_mail_address) OR EXISTS(telex_number)); END_ENTITY; ENTITY Address_assignment; address_type : OPTIONAL STRING; assigned_address : Address; located_person_organizations : SET[1:?] OF organization_or_person_in_organization_select; END_ENTITY; ENTITY Address_based_location_representation SUBTYPE OF (Location_representation); postal_address : Address; END_ENTITY; ENTITY Advisory_note; advisory : Advisory_task_step; applies_to : Task_element; END_ENTITY; ENTITY Advisory_task_step SUBTYPE OF (Task_step); END_ENTITY; ENTITY Affected_items_assignment; assigned_work_request : Work_request; items : SET[1:?] OF affected_item_select; END_ENTITY; ENTITY Alias_identification SUBTYPE OF (Identification_assignment); SELF\Identification_assignment.items : SET[1:?] OF alias_identification_item; DERIVE SELF\Identification_assignment.role : STRING := 'alias'; END_ENTITY; ENTITY Alternate_part_relationship SUBTYPE OF (Alternate_product_relationship); SELF\Alternate_product_relationship.alternate_product : Part; SELF\Alternate_product_relationship.base_product : Part; END_ENTITY; ENTITY Alternate_product_relationship; name : OPTIONAL STRING; description : OPTIONAL STRING; alternate_product : Product; base_product : Product; criteria : OPTIONAL STRING; UNIQUE UR1: alternate_product, base_product; WHERE WR1: alternate_product :<>: base_product; WR2: EXISTS(criteria) OR (TYPEOF(SELF\Alternate_product_relationship) <> TYPEOF(SELF)); END_ENTITY; ENTITY Amount_of_substance_unit SUBTYPE OF (Unit); END_ENTITY; ENTITY Analysis SUBTYPE OF (Product); END_ENTITY; ENTITY Analysis_assignment; analysis : Analysis_version; applied_to : analysed_item; END_ENTITY; ENTITY Analysis_design_version_relationship SUBTYPE OF (Analysis_assignment); SELF\Analysis_assignment.applied_to : Product_version; END_ENTITY; ENTITY Analysis_discipline_definition SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Analysis_version; END_ENTITY; ENTITY Analysis_model SUBTYPE OF (Representation); SELF\Representation.context_of_items : Analysis_representation_context; END_ENTITY; ENTITY Analysis_representation_context SUBTYPE OF (Representation_context); END_ENTITY; ENTITY Analysis_version SUBTYPE OF (Product_version); SELF\Product_version.of_product : Analysis; END_ENTITY; ENTITY Analysis_version_relationship SUBTYPE OF (Product_version_relationship); SELF\Product_version_relationship.relating_version : Analysis_version; SELF\Product_version_relationship.related_version : Analysis_version; END_ENTITY; ENTITY Analysis_version_sequence SUBTYPE OF (Analysis_version_relationship); DERIVE predecessor : Analysis_version := SELF\Analysis_version_relationship.relating_version; successor : Analysis_version := SELF\Analysis_version_relationship.related_version; END_ENTITY; ENTITY And_expression SUBTYPE OF (Multiple_arity_boolean_expression); END_ENTITY; ENTITY And_state_cause_effect_definition SUBTYPE OF (State_cause_effect_definition); END_ENTITY; ENTITY Applied_activity_assignment; assigned_activity : Activity; items : SET[1:?] OF activity_item; role : STRING; 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_independent_activity_property SUBTYPE OF (Activity_property); base_element_property : Independent_property; DERIVE SELF\Activity_property.name : STRING := base_element_property.property_type; END_ENTITY; ENTITY Applied_independent_property SUBTYPE OF (Assigned_property); base_independent_property : Independent_property; DERIVE SELF\Assigned_property.name : STRING := base_independent_property.property_type; END_ENTITY; ENTITY Applied_independent_resource_property SUBTYPE OF (Resource_property); base_element_property : Independent_property; DERIVE SELF\Resource_property.name : STRING := base_element_property.property_type; END_ENTITY; ENTITY Applied_information_usage_right; item : SET[1:?] OF information_usage_right_item; right_applied : Information_usage_right; 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 Asin_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Assembly_component_relationship ABSTRACT SUPERTYPE OF (ONEOF (Next_assembly_usage, Promissory_usage, Component_upper_level_identification)) SUBTYPE OF (Product_occurrence_definition_relationship); location_indicator : OPTIONAL STRING; quantity : OPTIONAL Value_with_unit; WHERE WR1: NOT (EXISTS(quantity)) OR ((NOT ('NUMBER' IN TYPEOF(quantity.value_component))) XOR (quantity.value_component > 0)); END_ENTITY; ENTITY Assembly_relationship_substitution; name : OPTIONAL STRING; description : OPTIONAL STRING; base_relationship : Assembly_component_relationship; substitute_relationship : Assembly_component_relationship; UNIQUE UR1: base_relationship, substitute_relationship; WHERE WR1: base_relationship.relating_view :=: substitute_relationship.relating_view; WR2: base_relationship :<>: substitute_relationship; END_ENTITY; ENTITY Assigned_document_property SUBTYPE OF (Assigned_property); SELF\Assigned_property.described_element : document_property_item; DERIVE SELF\Assigned_property.name : STRING := 'document property'; WHERE WR1: SIZEOF(['AP233_SYSTEMS_ENGINEERING_ARM_LF.DOCUMENT_DEFINITION', 'AP233_SYSTEMS_ENGINEERING_ARM_LF.FILE'] * TYPEOF(SELF\Assigned_property.described_element)) = 1; END_ENTITY; ENTITY Assigned_property; id : OPTIONAL STRING; name : STRING; description : OPTIONAL STRING; described_element : property_assignment_select; END_ENTITY; ENTITY Assumption; id : STRING; name : OPTIONAL STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Assumption_assignment; assumption : Assumption; description : OPTIONAL STRING; item : assumption_item; role : STRING; END_ENTITY; ENTITY Assumption_relationship; description : OPTIONAL STRING; role : STRING; relating_assumption : Assumption; related_assumption : Assumption; END_ENTITY; ENTITY Atan_function SUBTYPE OF (Binary_function_call); END_ENTITY; ENTITY Attribute_classification; allowed_value : Class; attribute_name : STRING; classified_entity : SET[1:?] OF classified_attribute_select; END_ENTITY; ENTITY Attribute_translation_assignment; considered_instance : string_select; considered_attribute : STRING; translation_text : STRING; translation_language : Language; UNIQUE UR1: considered_instance, considered_attribute, translation_language; END_ENTITY; ENTITY Axis_placement SUPERTYPE OF (ONEOF (Axis_placement_2d, Axis_placement_3d)) SUBTYPE OF (Detailed_geometric_model_element); origin : Cartesian_point; x_axis : Direction; y_axis : Direction; DERIVE dim : INTEGER := SIZEOF(origin.coordinates); WHERE WR1: dim > 1; WR2: dim = SIZEOF(x_axis.coordinates); WR3: dim = SIZEOF(y_axis.coordinates); END_ENTITY; ENTITY Axis_placement_2d SUBTYPE OF (Axis_placement); END_ENTITY; ENTITY Axis_placement_3d SUBTYPE OF (Axis_placement); END_ENTITY; ENTITY Axis_placement_mapping; source : Axis_placement; target : Axis_placement; WHERE WR1: source\Axis_placement.dim = target\Axis_placement.dim; END_ENTITY; ENTITY Behaviour SUBTYPE OF (Product); END_ENTITY; ENTITY Behaviour_description_association; description : OPTIONAL STRING; representation : behaviour_model; represented_item : behaviour_item; role : OPTIONAL STRING; END_ENTITY; ENTITY Behaviour_version SUBTYPE OF (Product_version); SELF\Product_version.of_product : Behaviour; END_ENTITY; ENTITY Behaviour_version_sequence SUBTYPE OF (Product_version_relationship); SELF\Product_version_relationship.relating_version : Behaviour_version; SELF\Product_version_relationship.related_version : Behaviour_version; DERIVE predecessor : Behaviour_version := SELF\Product_version_relationship.relating_version; successor : Behaviour_version := SELF\Product_version_relationship.related_version; END_ENTITY; ENTITY Behaviour_view_definition SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Behaviour_version; END_ENTITY; ENTITY Binary_boolean_expression ABSTRACT SUPERTYPE OF (ONEOF (Xor_expression, Equals_expression)) SUBTYPE OF (Binary_generic_expression, Boolean_expression); END_ENTITY; ENTITY Binary_function_call ABSTRACT SUPERTYPE OF (Atan_function) SUBTYPE OF (Binary_numeric_expression); END_ENTITY; ENTITY Binary_generic_expression ABSTRACT SUPERTYPE SUBTYPE OF (Generic_expression); operands : LIST[2:2] OF Generic_expression; END_ENTITY; ENTITY Binary_numeric_expression ABSTRACT SUPERTYPE OF (ONEOF (Minus_expression, Div_expression, Mod_expression, Slash_expression, Power_expression)) SUBTYPE OF (Binary_generic_expression, Numeric_expression); SELF\Binary_generic_expression.operands : LIST[2:2] OF Numeric_expression; END_ENTITY; ENTITY Boolean_defined_function ABSTRACT SUPERTYPE SUBTYPE OF (Boolean_expression, Defined_function); END_ENTITY; ENTITY Boolean_expression ABSTRACT SUPERTYPE OF (ONEOF (Simple_boolean_expression, Unary_boolean_expression, Binary_boolean_expression, Multiple_arity_boolean_expression, Comparison_expression, Interval_expression, Boolean_defined_function)) SUBTYPE OF (Expression); END_ENTITY; ENTITY Boolean_literal SUBTYPE OF (Generic_literal, Simple_boolean_expression); the_value : BOOLEAN; END_ENTITY; ENTITY Boolean_variable SUBTYPE OF (Simple_boolean_expression, Variable); END_ENTITY; ENTITY Breakdown SUBTYPE OF (Product); END_ENTITY; ENTITY Breakdown_context; id : STRING; name : STRING; description : OPTIONAL STRING; breakdown : Breakdown_version; breakdown_element : Breakdown_element_definition; END_ENTITY; ENTITY Breakdown_element SUBTYPE OF (Product); END_ENTITY; ENTITY Breakdown_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_usage SUBTYPE OF (View_definition_usage); name : STRING; SELF\View_definition_relationship.relating_view : Breakdown_element_definition; SELF\View_definition_relationship.related_view : Breakdown_element_definition; DERIVE child_element : Breakdown_element_definition := SELF\View_definition_relationship.related_view; parent_element : Breakdown_element_definition := SELF\View_definition_relationship.relating_view; END_ENTITY; ENTITY Breakdown_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 SUBTYPE OF (Product_version); SELF\Product_version.of_product : Breakdown; INVERSE breakdown_of : SET[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 Cartesian_point SUBTYPE OF (Detailed_geometric_model_element); coordinates : LIST[1:3] OF length_measure; END_ENTITY; ENTITY Cartesian_transformation_2d SUBTYPE OF (Detailed_geometric_model_element); multiplication_matrix : ARRAY[1:2] OF Direction; translation : Cartesian_point; WHERE WR1: SIZEOF(multiplication_matrix[1]\Direction.coordinates) = 2; WR2: SIZEOF(multiplication_matrix[2]\Direction.coordinates) = 2; WR3: SIZEOF(translation.coordinates) = 2; END_ENTITY; ENTITY Cartesian_transformation_3d SUBTYPE OF (Detailed_geometric_model_element); multiplication_matrix : ARRAY[1:3] OF Direction; translation : Cartesian_point; WHERE WR1: SIZEOF(multiplication_matrix[1]\Direction.coordinates) = 3; WR2: SIZEOF(multiplication_matrix[2]\Direction.coordinates) = 3; WR3: SIZEOF(multiplication_matrix[3]\Direction.coordinates) = 3; WR4: SIZEOF(translation.coordinates) = 3; END_ENTITY; ENTITY Causal_consequence SUBTYPE OF (View_definition_relationship); SELF\View_definition_relationship.relating_view : Risk_consequence; SELF\View_definition_relationship.related_view : Risk_consequence; END_ENTITY; ENTITY Certification; name : STRING; description : OPTIONAL STRING; kind : STRING; END_ENTITY; ENTITY Certification_assignment; assigned_certification : Certification; items : SET[1:?] OF certification_item; role : STRING; END_ENTITY; ENTITY Chain_based_geometric_item_specific_usage SUBTYPE OF (Geometric_item_specific_usage); nodes : LIST[2:?] OF UNIQUE Geometric_model; undirected_link : LIST[1:?] OF UNIQUE chained_geometric_model_link; END_ENTITY; ENTITY Class SUPERTYPE OF (ONEOF (Class_by_extension, Class_by_intension)); id : STRING; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Class_by_extension SUBTYPE OF (Class); END_ENTITY; ENTITY Class_by_intension SUBTYPE OF (Class); END_ENTITY; ENTITY Classification_assignment; assigned_class : Class; items : SET[1:?] OF classification_item; role : OPTIONAL STRING; END_ENTITY; ENTITY Collection SUBTYPE OF (Product); END_ENTITY; ENTITY Collection_assignment; collection : Collection_view_definition; is_assigned_to : collection_assignment_select; END_ENTITY; ENTITY Collection_membership; member : collection_member_select; of_collection : Collection_view_definition; END_ENTITY; ENTITY Collection_relationship SUBTYPE OF (Product_relationship); SELF\Product_relationship.relating_product : Collection; SELF\Product_relationship.related_product : Collection; DERIVE related_collection : Collection := SELF\Product_relationship.related_product; relating_collection : Collection := SELF\Product_relationship.relating_product; END_ENTITY; ENTITY Collection_version SUBTYPE OF (Product_version); SELF\Product_version.of_product : Collection; DERIVE of_collection : Collection := SELF\Product_version.of_product; END_ENTITY; ENTITY Collection_version_relationship SUBTYPE OF (Product_version_relationship); SELF\Product_version_relationship.relating_version : Collection_version; SELF\Product_version_relationship.related_version : Collection_version; END_ENTITY; ENTITY Collection_version_sequence_relationship SUBTYPE OF (Collection_version_relationship); DERIVE predecessor : Collection_version := SELF\Product_version_relationship.relating_version; successor : Collection_version := SELF\Product_version_relationship.related_version; END_ENTITY; ENTITY Collection_view_definition SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Collection_version; END_ENTITY; ENTITY Comparison_equal SUBTYPE OF (Comparison_expression); END_ENTITY; ENTITY Comparison_expression ABSTRACT SUPERTYPE OF (ONEOF (Comparison_equal, Comparison_greater, Comparison_greater_equal, Comparison_less, Comparison_less_equal, Comparison_not_equal, Like_expression)) SUBTYPE OF (Binary_generic_expression, Boolean_expression); SELF\Binary_generic_expression.operands : LIST[2:2] OF Expression; WHERE WR1: (('NUMERIC_EXPRESSION_ARM.NUMERIC_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[1])) AND ('NUMERIC_EXPRESSION_ARM.NUMERIC_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[2]))) OR (('BOOLEAN_EXPRESSION_ARM.BOOLEAN_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[1])) AND ('BOOLEAN_EXPRESSION_ARM.BOOLEAN_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[2]))) OR (('STRING_EXPRESSION_ARM.STRING_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[1])) AND ('STRING_EXPRESSION_ARM.STRING_EXPRESSION' IN TYPEOF(SELF\Binary_generic_expression.operands[2]))); END_ENTITY; ENTITY Comparison_greater SUBTYPE OF (Comparison_expression); END_ENTITY; ENTITY Comparison_greater_equal SUBTYPE OF (Comparison_expression); END_ENTITY; ENTITY Comparison_less SUBTYPE OF (Comparison_expression); END_ENTITY; ENTITY Comparison_less_equal SUBTYPE OF (Comparison_expression); END_ENTITY; ENTITY Comparison_not_equal SUBTYPE OF (Comparison_expression); 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\Product_occurrence_definition_relationship.relating_view :=: upper_assembly_relationship\Product_occurrence_definition_relationship.relating_view; WR3: SELF\Product_occurrence_definition_relationship.related_view :=: sub_assembly_relationship\Product_occurrence_definition_relationship.related_view; WR4: (upper_assembly_relationship\Product_occurrence_definition_relationship.related_view :=: sub_assembly_relationship\Product_occurrence_definition_relationship.relating_view) OR (SIZEOF(QUERY(pdr <* USEDIN(upper_assembly_relationship\Product_occurrence_definition_relationship.related_view, 'AP233_SYSTEMS_ENGINEERING_ARM_LF.PRODUCT_OCCURRENCE_DEFINITION_RELATIONSHIP.RELATED_VIEW') | pdr.relating_view :=: sub_assembly_relationship\Product_occurrence_definition_relationship.relating_view)) = 1); WR5: SIZEOF(['AP233_SYSTEMS_ENGINEERING_ARM_LF.NEXT_ASSEMBLY_USAGE', 'AP233_SYSTEMS_ENGINEERING_ARM_LF.COMPONENT_UPPER_LEVEL_IDENTIFICATION'] * TYPEOF(upper_assembly_relationship)) = 1; END_ENTITY; ENTITY Composition_of_state SUBTYPE OF (State_relationship); DERIVE part : SET[1:?] OF State := SELF\State_relationship.related; whole : SET[1:?] OF State := SELF\State_relationship.relating; END_ENTITY; ENTITY Composition_of_state_definition SUBTYPE OF (State_definition_relationship); DERIVE part : SET[1:?] OF State_definition := SELF\State_definition_relationship.related; whole : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating; END_ENTITY; ENTITY Concat_expression SUBTYPE OF (Multiple_arity_generic_expression, String_expression); SELF\Multiple_arity_generic_expression.operands : LIST[2:?] OF String_expression; END_ENTITY; ENTITY Concurrent_elements SUBTYPE OF (Structured_task_element); elements : SET[2:?] OF Task_element; END_ENTITY; ENTITY Condition; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Condition_assignment; assigned_condition : Condition; item : condition_item; END_ENTITY; ENTITY Condition_evaluation; name : STRING; description : OPTIONAL STRING; result : LOGICAL; condition : Condition; END_ENTITY; ENTITY Condition_evaluation_assignment; assigned_condition_evaluation : Condition_evaluation; item : condition_evaluation_item; END_ENTITY; ENTITY Condition_evaluation_parameter; name : STRING; description : OPTIONAL STRING; condition_evaluation : Condition_evaluation; evaluation_parameter : condition_evaluation_parameter_item; END_ENTITY; ENTITY Condition_parameter; name : STRING; description : OPTIONAL STRING; condition : Condition; parameter : OPTIONAL condition_parameter_item; END_ENTITY; ENTITY Condition_relationship; name : STRING; description : OPTIONAL STRING; relating_condition : Condition; related_condition : Condition; END_ENTITY; ENTITY Conditional_effectivity SUBTYPE OF (Effectivity); condition : Condition; END_ENTITY; ENTITY Constrained_general_parameter_relationship SUBTYPE OF (Independent_property_relationship); SELF\Independent_property_relationship.relating : General_model_parameter; SELF\Independent_property_relationship.related : General_model_parameter; required_class : Class; WHERE WR1: (required_class.id IN CLASSOF(related)) AND (required_class.id IN CLASSOF(relating)); END_ENTITY; ENTITY Context_dependent_unit SUBTYPE OF (Unit); WHERE WR1: EXISTS(SELF\Unit.name); END_ENTITY; ENTITY Contextual_item_shape SUBTYPE OF (Item_shape); SELF\Item_shape.described_element : described_element_select; DERIVE shaped_product : Product_view_definition := spa_get_definition(SELF); END_ENTITY; ENTITY Contextual_shape_representation; contextual_shape : Contextual_item_shape; representing_relationship : Geometric_model_relationship; DERIVE context_representation : Geometric_model := representing_relationship.rep_2; positioned_representation : Geometric_model := representing_relationship.rep_1; END_ENTITY; ENTITY Contract; id : STRING; purpose : STRING; kind : STRING; END_ENTITY; ENTITY Contract_assignment; assigned_contract : Contract; items : SET[1:?] OF contract_item; END_ENTITY; ENTITY Contract_relationship; relating_contract : Contract; related_contract : Contract; END_ENTITY; ENTITY Conversion_based_unit SUBTYPE OF (Unit); conversion_factor : Value_with_unit; WHERE WR1: EXISTS(SELF\Unit.name); END_ENTITY; ENTITY Cos_function SUBTYPE OF (Unary_function_call); 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 Dated_effectivity SUBTYPE OF (Effectivity); start_bound : date_or_event; end_bound : OPTIONAL date_or_event; END_ENTITY; ENTITY Decision_path; condition : Condition; defined_in : Multiple_decision_point; path_element : Task_element; END_ENTITY; ENTITY Decision_point SUBTYPE OF (Structured_task_element); condition : Condition; true_case_element : OPTIONAL Task_element; false_case_element : OPTIONAL Task_element; unknown_case_element : OPTIONAL Task_element; END_ENTITY; ENTITY Decreasing_resource_event SUBTYPE OF (Resource_event); END_ENTITY; ENTITY Defined_function ABSTRACT SUPERTYPE ; END_ENTITY; ENTITY Defined_state_relationship; name : STRING; description : OPTIONAL STRING; definitive_state : State_assertion; defined_state : State_assessment; END_ENTITY; ENTITY Definitional_representation_relationship SUBTYPE OF (Representation_relationship); WHERE WR1: acyclic_representation_relationship(SELF, [SELF\Representation_relationship.rep_2], 'AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'REPRESENTATION'); 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 Description_text; description : STRING; END_ENTITY; ENTITY Description_text_assignment; description : Description_text; items : SET[1:?] OF description_item; END_ENTITY; ENTITY Descriptive_document_property SUBTYPE OF (String_representation_item); INVERSE valued_characteristic : SET[1:1] OF Document_property_representation FOR items; END_ENTITY; ENTITY Detailed_geometric_model_element ABSTRACT SUPERTYPE OF (ONEOF (Cartesian_point, Direction, Axis_placement, Cartesian_transformation_2d, Cartesian_transformation_3d, Geometric_placement_operation)) SUBTYPE OF (Representation_item); END_ENTITY; ENTITY Digital_document_definition SUBTYPE OF (Document_definition); files : SET[0:?] OF Digital_file; END_ENTITY; ENTITY Digital_file SUBTYPE OF (File); END_ENTITY; ENTITY Directed_activity SUBTYPE OF (Activity); directive : Work_order; END_ENTITY; ENTITY Direction SUBTYPE OF (Detailed_geometric_model_element); coordinates : LIST[2:3] OF length_measure; END_ENTITY; ENTITY Disposition SUBTYPE OF (Approval); name : STRING; END_ENTITY; ENTITY Distribution_by_value SUBTYPE OF (Probability_distribution); defined_function : Value_function; distribution_function : STRING; END_ENTITY; ENTITY Div_expression SUBTYPE OF (Binary_numeric_expression); 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_definition SUPERTYPE OF (ONEOF (Digital_document_definition, Physical_document_definition)) SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Document_version; DERIVE associated_document_version : Document_version := SELF\Product_view_definition.defined_version; description : STRING := SELF\Product_view_definition.name; END_ENTITY; ENTITY Document_definition_relationship; relation_type : STRING; description : OPTIONAL STRING; relating_document_definition : Document_definition; related_document_definition : Document_definition; WHERE WR1: relating_document_definition :<>: related_document_definition; END_ENTITY; ENTITY Document_location_identification SUBTYPE OF (External_source_identification); WHERE WR1: 'AP233_SYSTEMS_ENGINEERING_ARM_LF.DOCUMENT_DEFINITION' IN TYPEOF(SELF\External_source_identification.item); END_ENTITY; ENTITY Document_property_representation SUBTYPE OF (Representation); SELF\Representation.items : SET[1:?] OF descriptive_or_numerical; WHERE WR1: SIZEOF(QUERY(pr <* USEDIN(SELF, 'AP233_SYSTEMS_ENGINEERING_ARM_LF.PROPERTY_DEFINITION_REPRESENTATION.REP') | 'AP233_SYSTEMS_ENGINEERING_ARM_LF.ASSIGNED_PROPERTY' IN TYPEOF(pr\Property_representation.property))) > 0; WR2: SELF\Representation.context_of_items.kind = 'document parameters'; WR3: SIZEOF(QUERY(it1 <* SELF\Representation.items | SIZEOF(QUERY(it2 <* SELF\Representation.items | it1.name = it2.name)) > 1)) = 0; 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: 'AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'TIME_UNIT' IN TYPEOF(SELF\Value_with_unit.unit); END_ENTITY; ENTITY Effectivity SUPERTYPE OF ((ONEOF (Serial_effectivity, Dated_effectivity, Lot_effectivity, Time_interval_effectivity)) ANDOR (ONEOF (Conditional_effectivity, Dated_effectivity, Lot_effectivity, Serial_effectivity, Time_interval_effectivity))); id : STRING; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Effectivity_assignment; assigned_effectivity : Effectivity; role : STRING; items : SET[1:?] OF effectivity_item; END_ENTITY; ENTITY Effectivity_relationship; relation_type : STRING; description : OPTIONAL STRING; relating_effectivity : Effectivity; related_effectivity : Effectivity; END_ENTITY; ENTITY Electric_current_unit SUBTYPE OF (Unit); END_ENTITY; ENTITY Element_constraint SUBTYPE OF (Task_element_relationship); applies_in : OPTIONAL constraint_context; END_ENTITY; ENTITY End_task SUBTYPE OF (Task_element); END_ENTITY; ENTITY Environment; syntactic_representation : Generic_variable; semantics : Variable_semantics; END_ENTITY; ENTITY Environment_assignment; environment : Environment_definition_view; item : environment_item; END_ENTITY; ENTITY Environment_definition SUBTYPE OF (Product); END_ENTITY; ENTITY Environment_definition_version SUBTYPE OF (Product_version); of_environment : Environment_definition; END_ENTITY; ENTITY Environment_definition_view SUBTYPE OF (Product_view_definition); defined_environment_version : Environment_definition_version; END_ENTITY; ENTITY Environment_view_definition_relationship SUBTYPE OF (View_definition_relationship); SELF\View_definition_relationship.relating_view : Environment_definition_view; SELF\View_definition_relationship.related_view : Environment_definition_view; DERIVE related_environment : Environment_definition_view := SELF\View_definition_relationship.related_view; relating_environment : Environment_definition_view := SELF\View_definition_relationship.relating_view; END_ENTITY; ENTITY Equals_expression SUBTYPE OF (Binary_boolean_expression); END_ENTITY; ENTITY Event; id : STRING; name : STRING; description : OPTIONAL STRING; actual_start_date : OPTIONAL date_or_date_time_select; planned_start_date : OPTIONAL date_or_date_time_select; END_ENTITY; ENTITY Event_assignment; assigned_event : Event; items : SET[1:?] OF event_item; role : STRING; END_ENTITY; ENTITY Event_relationship; relation_type : STRING; description : OPTIONAL STRING; relating_event : Event; related_event : Event; END_ENTITY; ENTITY Evidence; supports : evidence_support_item; items : SET[1:?] OF evidence_item; END_ENTITY; ENTITY Exit_loop SUBTYPE OF (Task_element); END_ENTITY; ENTITY Exp_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Expanded_uncertainty SUBTYPE OF (Standard_uncertainty); coverage_factor : REAL; END_ENTITY; ENTITY Experience_gained; experience_of : Experience_instance; gained_by : person_or_organization_or_person_in_organization_select; role : OPTIONAL STRING; END_ENTITY; ENTITY Experience_instance; description : OPTIONAL STRING; is_defined_by : Experience_type; consists_of : OPTIONAL defined_activities; END_ENTITY; ENTITY Experience_type; name : STRING; description : OPTIONAL STRING; consists_of : OPTIONAL defined_methods; END_ENTITY; ENTITY Experience_type_relationship; compound_experience : Experience_type; component_experience : Experience_type; END_ENTITY; ENTITY Expression ABSTRACT SUPERTYPE OF (ONEOF (Numeric_expression, Boolean_expression, String_expression)) SUBTYPE OF (Generic_expression); END_ENTITY; ENTITY Expression_assignment; expression : Expression; items : SET[1:?] OF expression_assignment_item; END_ENTITY; ENTITY External_analysis_model SUBTYPE OF (Analysis_model); external_file : Digital_file; END_ENTITY; ENTITY External_class SUBTYPE OF (Class); external_source : External_class_library; END_ENTITY; ENTITY External_class_library SUBTYPE OF (External_source); END_ENTITY; ENTITY External_functional_model SUBTYPE OF (Function_based_behaviour_model); external_file : Digital_file; END_ENTITY; ENTITY External_geometric_model SUBTYPE OF (Geometric_model); SELF\Representation.items : SET[1:1] OF Axis_placement; external_file : Digital_file; WHERE WR1: SELF\Representation.context_of_items.dimension_count = 3; WR2: SELF\Representation.context_of_items.kind = 'external'; END_ENTITY; ENTITY External_item_identification SUBTYPE OF (External_source_identification); external_id : STRING; END_ENTITY; ENTITY External_source; id : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY External_source_identification; source_id : STRING; source_type : STRING; item : external_identification_item; description : OPTIONAL STRING; END_ENTITY; ENTITY External_state_based_behaviour_model SUBTYPE OF (State_based_behaviour_model); external_file : Digital_file; END_ENTITY; ENTITY File ABSTRACT SUPERTYPE OF (ONEOF (Digital_file, Hardcopy)); id : STRING; version : OPTIONAL STRING; contained_data_type : OPTIONAL STRING; END_ENTITY; ENTITY File_location_identification SUBTYPE OF (External_item_identification); WHERE WR1: 'AP233_SYSTEMS_ENGINEERING_ARM_LF.FILE' IN TYPEOF(SELF\External_source_identification.item); END_ENTITY; ENTITY File_relationship; relation_type : STRING; description : OPTIONAL STRING; relating_document_file : File; related_document_file : File; WHERE WR1: relating_document_file :<>: related_document_file; END_ENTITY; ENTITY Format_function SUBTYPE OF (Binary_generic_expression, String_expression); DERIVE value_to_format : Generic_expression := SELF\Binary_generic_expression.operands[1]; format_string : Generic_expression := SELF\Binary_generic_expression.operands[2]; WHERE WR1: (('AP233_SYSTEMS_ENGINEERING_ARM_LF.NUMERIC_EXPRESSION') IN TYPEOF(value_to_format)) AND (('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION') IN TYPEOF(format_string)); END_ENTITY; ENTITY Function_based_behaviour_model SUBTYPE OF (Representation); SELF\Representation.context_of_items : Function_based_behaviour_representation_context; SELF\Representation.items : SET[1:?] OF Function_based_behaviour_representation_item; END_ENTITY; ENTITY Function_based_behaviour_representation_context SUBTYPE OF (Representation_context); END_ENTITY; ENTITY Function_based_behaviour_representation_item SUBTYPE OF (Representation_item); item : Task_element; END_ENTITY; ENTITY Function_parameter_value SUPERTYPE OF (Int_value_function) SUBTYPE OF (Numeric_expression, Unary_generic_expression); SELF\Unary_generic_expression.operand : String_expression; END_ENTITY; ENTITY Function_value_pair; function_value : Probability_function_value; variable_value : Random_variable; 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_usage SUBTYPE OF (Breakdown_element_usage); SELF\View_definition_relationship.relating_view : Functional_element_definition; SELF\View_definition_relationship.related_view : Functional_element_definition; END_ENTITY; ENTITY Functional_element_version SUBTYPE OF (Breakdown_element_version); SELF\Breakdown_element_version.of_product : Functional_element; END_ENTITY; ENTITY General_model_parameter SUBTYPE OF (Independent_property); END_ENTITY; ENTITY Generic_expression ABSTRACT SUPERTYPE OF (ONEOF (Simple_generic_expression, Unary_generic_expression, Binary_generic_expression, Multiple_arity_generic_expression)); WHERE WR1: Is_Acyclic(SELF); END_ENTITY; ENTITY Generic_literal ABSTRACT SUPERTYPE SUBTYPE OF (Simple_generic_expression); END_ENTITY; ENTITY Generic_variable ABSTRACT SUPERTYPE OF (Variable) SUBTYPE OF (Simple_generic_expression); INVERSE interpretation : Environment FOR syntactic_representation; END_ENTITY; ENTITY Geometric_composition_with_operator_transformation SUBTYPE OF (Definitional_representation_relationship, Geometric_relationship_with_operator_transformation); END_ENTITY; ENTITY Geometric_composition_with_placement_transformation SUBTYPE OF (Definitional_representation_relationship, Geometric_relationship_with_placement_transformation); END_ENTITY; ENTITY Geometric_coordinate_space SUBTYPE OF (Numerical_representation_context); dimension_count : INTEGER; WHERE WR1: dimension_count > 0; END_ENTITY; ENTITY Geometric_item_specific_usage; name : STRING; description : OPTIONAL STRING; definition : geometric_item_specific_usage_select; identified_item : Detailed_geometric_model_element; used_model : shape_model; END_ENTITY; ENTITY Geometric_model SUBTYPE OF (Representation); version_id : OPTIONAL STRING; model_extent : OPTIONAL length_measure; SELF\Representation.context_of_items : Geometric_coordinate_space; SELF\Representation.items : SET[1:?] OF Detailed_geometric_model_element; END_ENTITY; ENTITY Geometric_model_relationship SUBTYPE OF (Representation_relationship); SELF\Representation_relationship.rep_1 : Geometric_model; SELF\Representation_relationship.rep_2 : Geometric_model; WHERE WR1: rep_1 <> rep_2; END_ENTITY; ENTITY Geometric_model_relationship_with_transformation ABSTRACT SUPERTYPE OF (ONEOF (Geometric_relationship_with_placement_transformation, Geometric_relationship_with_operator_transformation)) SUBTYPE OF (Geometric_model_relationship); WHERE WR1: rep_1.context_of_items :<>: rep_2.context_of_items; END_ENTITY; ENTITY Geometric_operator_transformation SUBTYPE OF (Geometric_placement_operation); target : cartesian_transformation; END_ENTITY; ENTITY Geometric_placement SUBTYPE OF (Geometric_placement_operation); target : Axis_placement; END_ENTITY; ENTITY Geometric_placement_model SUBTYPE OF (Geometric_model); SELF\Representation.items : SET[1:1] OF Geometric_placement_operation; END_ENTITY; ENTITY Geometric_placement_operation ABSTRACT SUPERTYPE OF (ONEOF (Geometric_placement, Geometric_operator_transformation)) SUBTYPE OF (Detailed_geometric_model_element); source : Axis_placement; template_definition : template_definition_select; END_ENTITY; ENTITY Geometric_relationship_with_operator_transformation SUBTYPE OF (Geometric_model_relationship_with_transformation); transformation : cartesian_transformation; WHERE WR1: rep_1.context_of_items\Geometric_coordinate_space.dimension_count :=: rep_2.context_of_items\Geometric_coordinate_space.dimension_count; END_ENTITY; ENTITY Geometric_relationship_with_placement_transformation SUBTYPE OF (Geometric_model_relationship_with_transformation); transformation : Axis_placement_mapping; WHERE WR1: rep_1.context_of_items\Geometric_coordinate_space.dimension_count :=: rep_2.context_of_items\Geometric_coordinate_space.dimension_count; END_ENTITY; ENTITY Global_location_representation SUBTYPE OF (Location_representation); altitude : OPTIONAL Value_with_unit; geographical_area : OPTIONAL STRING; latitude : Value_with_unit; longitude : Value_with_unit; END_ENTITY; ENTITY Group; id : OPTIONAL STRING; name : STRING; description : OPTIONAL STRING; elements : SET[0:?] OF groupable_item; membership_meaning : OPTIONAL STRING; END_ENTITY; ENTITY Group_relationship; description : OPTIONAL STRING; relation_type : STRING; relating_group : Group; related_group : Group; END_ENTITY; ENTITY Hardcopy SUBTYPE OF (File); END_ENTITY; ENTITY Hierarchical_interface_connection SUBTYPE OF (Interface_connection); END_ENTITY; ENTITY Identification_assignment; identifier : STRING; role : STRING; description : OPTIONAL STRING; items : SET[1:?] OF identification_item; END_ENTITY; ENTITY Identification_relationship; relating_identification_assignment : Identification_assignment; related_identification_assignment : Identification_assignment; END_ENTITY; ENTITY In_zone; id : STRING; name : STRING; description : OPTIONAL STRING; located_item : in_zone_item; zone : Zone_element_definition; END_ENTITY; ENTITY Included_text_based_representation SUBTYPE OF (Representation_item); source : Text_based_representation; END_ENTITY; ENTITY Incomplete_reference_marking SUBTYPE OF (Classification_assignment); WHERE WR1: SIZEOF(QUERY(item <* SELF\Classification_assignment.items | NOT ('AP233_SYSTEMS_ENGINEERING_ARM_LF.IDRM_MARKED_ITEM' IN TYPEOF(item)))) = 0; WR2: SELF\Classification_assignment.assigned_class.id = 'reference'; END_ENTITY; ENTITY Increasing_resource_event SUBTYPE OF (Resource_event); END_ENTITY; ENTITY Independent_property; id : STRING; property_type : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Independent_property_relationship; relation_type : STRING; description : OPTIONAL STRING; relating : Independent_property; related : Independent_property; END_ENTITY; ENTITY Independent_property_representation SUBTYPE OF (Property_definition_representation); SELF\Property_definition_representation.definition : Independent_property; DERIVE property : Independent_property := SELF\Property_definition_representation.definition; END_ENTITY; ENTITY Index_expression SUBTYPE OF (Binary_generic_expression, String_expression); DERIVE operand : Generic_expression := SELF\Binary_generic_expression.operands[1]; index : Generic_expression := SELF\Binary_generic_expression.operands[2]; WHERE WR1: ('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION' IN TYPEOF(operand)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.NUMERIC_EXPRESSION' IN TYPEOF(index)); WR2: Is_int_expr(index); END_ENTITY; ENTITY Information_right; id : STRING; name : STRING; description : OPTIONAL STRING; restriction : OPTIONAL STRING; END_ENTITY; ENTITY Information_usage_right; id : STRING; name : STRING; comment : OPTIONAL STRING; grants_right : SET[1:?] OF Information_right; END_ENTITY; ENTITY Information_usage_right_relationship; relating : Information_usage_right; related : Information_usage_right; relation_type : STRING; END_ENTITY; ENTITY Int_literal SUBTYPE OF (Literal_number); SELF\Literal_number.the_value : INTEGER; END_ENTITY; ENTITY Int_numeric_variable SUBTYPE OF (Numeric_variable); END_ENTITY; ENTITY Int_value_function SUBTYPE OF (Function_parameter_value); END_ENTITY; ENTITY Integer_defined_function ABSTRACT SUPERTYPE SUBTYPE OF (Numeric_defined_function); END_ENTITY; ENTITY Interface_connection; id : STRING; description : OPTIONAL STRING; connection_type : STRING; connecting : connection_items; connected : connection_items; END_ENTITY; ENTITY Interface_connector SUBTYPE OF (Product); END_ENTITY; ENTITY Interface_connector_definition SUBTYPE OF (Product_view_definition); connector_on : Product_view_definition; SELF\Product_view_definition.defined_version : Interface_connector_version; END_ENTITY; ENTITY Interface_connector_occurrence; id : STRING; name : STRING; description : OPTIONAL STRING; occurrence_of : Interface_connector_definition; connector_on : connector_on_item; END_ENTITY; ENTITY Interface_connector_version SUBTYPE OF (Product_version); SELF\Product_version.of_product : Interface_connector; END_ENTITY; ENTITY Interface_definition_connection; id : STRING; description : OPTIONAL STRING; connection_type : STRING; connecting : connection_definition_items; connected : connection_definition_items; END_ENTITY; ENTITY Interface_definition_for; id : STRING; name : STRING; description : OPTIONAL STRING; interface : Interface_specification_definition; interface_component : interface_definition_item; END_ENTITY; ENTITY Interface_specification SUBTYPE OF (Product); END_ENTITY; ENTITY Interface_specification_definition SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Interface_specification_version; END_ENTITY; ENTITY Interface_specification_version SUBTYPE OF (Product_version); SELF\Product_version.of_product : Interface_specification; END_ENTITY; ENTITY Interval_expression SUBTYPE OF (Boolean_expression, Multiple_arity_generic_expression); DERIVE interval_low : Generic_expression := SELF\Multiple_arity_generic_expression.operands[1]; interval_item : Generic_expression := SELF\Multiple_arity_generic_expression.operands[2]; interval_high : Generic_expression := SELF\Multiple_arity_generic_expression.operands[3]; WHERE WR1: ('AP233_SYSTEMS_ENGINEERING_ARM_LF.EXPRESSION' IN TYPEOF(interval_low)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.EXPRESSION' IN TYPEOF(interval_item)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.EXPRESSION' IN TYPEOF(interval_high)); WR2: (('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION' IN TYPEOF(SELF.interval_low)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION' IN TYPEOF(SELF.interval_high)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION' IN TYPEOF(SELF.interval_item))) OR (('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION' IN TYPEOF(SELF.interval_low)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.NUMERIC_EXPRESSION' IN TYPEOF(SELF.interval_item)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.NUMERIC_EXPRESSION' IN TYPEOF(SELF.interval_high))); END_ENTITY; ENTITY Issue SUBTYPE OF (Observation); END_ENTITY; ENTITY Issue_consequence SUBTYPE OF (Observation_consequence); END_ENTITY; ENTITY Issue_reference SUBTYPE OF (Observation_assignment); END_ENTITY; ENTITY Item_assumed; assumption : Assumption; item : assumed_item; END_ENTITY; ENTITY Item_design_association; configuration : Product_configuration; design : version_or_definition; UNIQUE UR1: configuration, design; END_ENTITY; ENTITY Item_shape; id : OPTIONAL STRING; description : OPTIONAL STRING; described_element : shapeable_item; END_ENTITY; ENTITY Item_usage_effectivity; effectivity_domain : Effectivity; item_usage_relationship : item_usage_relationship_item; resolved_configuration : Item_design_association; END_ENTITY; ENTITY Justification; id : STRING; name : OPTIONAL STRING; description : STRING; context_description : OPTIONAL STRING; END_ENTITY; ENTITY Justification_assignment; justification : Justification; description : OPTIONAL STRING; item : justification_item; role : STRING; END_ENTITY; ENTITY Justification_relationship; name : STRING; description : OPTIONAL STRING; relating_justification : Justification; related_justification : Justification; END_ENTITY; ENTITY Justification_support_assignment; justification : Justification; description : OPTIONAL STRING; support_item : justification_support_item; role : STRING; END_ENTITY; ENTITY Language; language_code : STRING; country_code : OPTIONAL STRING; UNIQUE UR1: language_code; END_ENTITY; ENTITY Language_indication; considered_instance : string_select; considered_attribute : STRING; used_language : Language; END_ENTITY; ENTITY Length_function SUBTYPE OF (Numeric_expression, Unary_generic_expression); SELF\Unary_generic_expression.operand : String_expression; END_ENTITY; ENTITY Length_unit SUBTYPE OF (Unit); END_ENTITY; ENTITY Like_expression SUBTYPE OF (Comparison_expression); WHERE WR1: ('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION' IN TYPEOF(SELF\Comparison_expression.operands[1])) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION' IN TYPEOF(SELF\Comparison_expression.operands[2])); END_ENTITY; ENTITY Literal_number ABSTRACT SUPERTYPE OF (ONEOF (Int_literal, Real_literal)) SUBTYPE OF (Generic_literal, Simple_numeric_expression); the_value : NUMBER; 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 Location; name : STRING; description : OPTIONAL STRING; alternative_location_representations : SET[0:?] OF Location_representation; END_ENTITY; ENTITY Location_assignment; description : OPTIONAL STRING; role : OPTIONAL STRING; entity_for_location : location_assignment_select; location_for_assignment : Location; END_ENTITY; ENTITY Location_relationship; name : STRING; description : OPTIONAL STRING; relating : Location; related : Location; END_ENTITY; ENTITY Location_representation ABSTRACT SUPERTYPE OF (ONEOF (Address_based_location_representation, Global_location_representation, Organization_based_location_representation, Product_based_location_identification, Regional_grid_location_representation)); END_ENTITY; ENTITY Log_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Log10_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Log2_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Looping_element SUPERTYPE OF (ONEOF (Repeat_count, Repeat_until, Repeat_while)) SUBTYPE OF (Structured_task_element); repeated_element : Task_element; END_ENTITY; ENTITY Lot_effectivity SUBTYPE OF (Effectivity); lot_id : STRING; lot_size : Value_with_unit; END_ENTITY; ENTITY Luminous_intensity_unit SUBTYPE OF (Unit); END_ENTITY; ENTITY Make_from_relationship SUBTYPE OF (View_definition_usage); SELF\View_definition_relationship.relating_view : Part_view_definition; SELF\View_definition_relationship.related_view : Part_view_definition; quantity : OPTIONAL Value_with_unit; priority : OPTIONAL INTEGER; WHERE WR1: SELF\View_definition_relationship.relating_view :<>: SELF\View_definition_relationship.related_view; WR2: NOT (EXISTS(quantity)) XOR ((NOT ('NUMBER' IN TYPEOF(quantity.value_component))) XOR (quantity.value_component > 0)); END_ENTITY; ENTITY Managed_resource ABSTRACT SUPERTYPE ; name : STRING; description : OPTIONAL STRING; quantity : OPTIONAL Value_with_unit; END_ENTITY; ENTITY Managed_resource_by_reference SUBTYPE OF (Managed_resource); item : resource_item_select; END_ENTITY; ENTITY Managed_resource_by_resource_item SUBTYPE OF (Managed_resource); item : Resource_item; END_ENTITY; ENTITY Managed_resource_relationship; name : STRING; description : OPTIONAL STRING; relating : Managed_resource; related : Managed_resource; END_ENTITY; ENTITY Market; name : STRING; market_segment_type : OPTIONAL STRING; END_ENTITY; ENTITY Mass_unit SUBTYPE OF (Unit); END_ENTITY; ENTITY Maximum_function SUBTYPE OF (Multiple_arity_function_call); END_ENTITY; ENTITY Measure_item ABSTRACT SUPERTYPE OF (ONEOF (Measure_item_with_precision, Numerical_item_with_global_unit, Numerical_item_with_unit, Value_list, Value_range, Value_range_with_global_unit, Value_set, Value_with_tolerances)) SUBTYPE OF (Representation_item); WHERE WR1: SIZEOF(USEDIN(SELF, 'AP233_SYSTEMS_ENGINEERING_ARM_LF.REPRESENTATION.ITEMS')) > 0; END_ENTITY; ENTITY Measure_item_with_precision SUBTYPE OF (Measure_item); significant_digits : INTEGER; END_ENTITY; ENTITY Measure_qualification; name : STRING; description : STRING; qualified_measure : Value_with_unit; qualifiers : SET[1:?] OF value_qualifier; WHERE WR1: NOT ('AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'NUMERICAL_ITEM_WITH_UNIT' IN TYPEOF(qualified_measure)); WR2: SIZEOF(QUERY(temp <* qualifiers | 'AP233_SYSTEMS_ENGINEERING_ARM_LF.PRECISION_QUALIFIER' IN TYPEOF(temp))) < 2; END_ENTITY; ENTITY Minimum_function SUBTYPE OF (Multiple_arity_function_call); END_ENTITY; ENTITY Minus_expression SUBTYPE OF (Binary_numeric_expression); END_ENTITY; ENTITY Minus_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Mod_expression SUBTYPE OF (Binary_numeric_expression); END_ENTITY; ENTITY Mult_expression SUBTYPE OF (Multiple_arity_numeric_expression); END_ENTITY; ENTITY Multiple_arity_boolean_expression ABSTRACT SUPERTYPE OF (ONEOF (And_expression, Or_expression)) SUBTYPE OF (Boolean_expression, Multiple_arity_generic_expression); SELF\Multiple_arity_generic_expression.operands : LIST[2:?] OF Boolean_expression; END_ENTITY; ENTITY Multiple_arity_function_call ABSTRACT SUPERTYPE SUBTYPE OF (Multiple_arity_numeric_expression); END_ENTITY; ENTITY Multiple_arity_generic_expression ABSTRACT SUPERTYPE SUBTYPE OF (Generic_expression); operands : LIST[2:?] OF Generic_expression; END_ENTITY; ENTITY Multiple_arity_numeric_expression ABSTRACT SUPERTYPE OF (ONEOF (Plus_expression, Mult_expression, Multiple_arity_function_call)) SUBTYPE OF (Multiple_arity_generic_expression, Numeric_expression); SELF\Multiple_arity_generic_expression.operands : LIST[2:?] OF Numeric_expression; END_ENTITY; ENTITY Multiple_decision_point SUBTYPE OF (Structured_task_element); INVERSE paths : SET[2:?] OF Decision_path FOR defined_in; END_ENTITY; ENTITY Name_assignment; name : STRING; role : STRING; items : assigned_name_select; END_ENTITY; ENTITY Named_variable_semantics SUBTYPE OF (Variable_semantics); name : STRING; variable_context : Generic_expression; END_ENTITY; ENTITY Next_assembly_usage SUBTYPE OF (Assembly_component_relationship); END_ENTITY; ENTITY Not_expression SUBTYPE OF (Unary_boolean_expression); SELF\Unary_generic_expression.operand : Boolean_expression; END_ENTITY; ENTITY Numeric_defined_function ABSTRACT SUPERTYPE OF (ONEOF (Integer_defined_function, Real_defined_function)) SUBTYPE OF (Defined_function, Numeric_expression); END_ENTITY; ENTITY Numeric_expression ABSTRACT SUPERTYPE SUBTYPE OF (Expression); DERIVE is_int : BOOLEAN := Is_int_expr(SELF); sql_mappable : BOOLEAN := Is_sql_mappable(SELF); END_ENTITY; ENTITY Numeric_variable SUPERTYPE OF (ONEOF (Int_numeric_variable, Real_numeric_variable)) SUBTYPE OF (Simple_numeric_expression, Variable); WHERE WR1: ('AP233_SYSTEMS_ENGINEERING_ARM_LF.INT_NUMERIC_VARIABLE' IN TYPEOF(SELF)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.REAL_NUMERIC_VARIABLE' IN TYPEOF(SELF)); END_ENTITY; ENTITY Numerical_document_property SUBTYPE OF (Numerical_item_with_unit); INVERSE valued_characteristic : SET[1:1] OF Document_property_representation FOR items; 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, 'AP233_SYSTEMS_ENGINEERING_ARM_LF.REPRESENTATION.ITEMS') | 'AP233_SYSTEMS_ENGINEERING_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 Observation; id : STRING; name : STRING; description : STRING; in_context : SET[0:?] OF observed_context; observed_by : SET[0:?] OF observation_recorder; observed_during : OPTIONAL Activity_actual; END_ENTITY; ENTITY Observation_assignment; assigned_observation : Observation; item : observation_item; role : STRING; END_ENTITY; ENTITY Observation_consequence; id : STRING; name : STRING; inferred_from : Observation; requests : observation_consequence_item; role : STRING; END_ENTITY; ENTITY Observation_relationship; relating : Observation; related : Observation; role : STRING; END_ENTITY; ENTITY Observed_environment SUBTYPE OF (Product); END_ENTITY; ENTITY Observed_environment_assignment; environment : Observed_environment_view; item : observed_environment_item; END_ENTITY; ENTITY Observed_environment_to_definition; defined_environment : Environment_definition; observed_environment : Observed_environment; END_ENTITY; ENTITY Observed_environment_to_definition_version; defined_environment_version : Environment_definition_version; observed_environment_version : Observed_environment_version; END_ENTITY; ENTITY Observed_environment_to_definition_view; defined_environment_view : Observed_environment_view; observed_environment_view : Environment_definition_view; END_ENTITY; ENTITY Observed_environment_version SUBTYPE OF (Product_version); of_environment : Observed_environment; END_ENTITY; ENTITY Observed_environment_view SUBTYPE OF (Product_view_definition); observed_environment_version : Observed_environment_version; END_ENTITY; ENTITY Observed_environment_view_definition_relationship SUBTYPE OF (View_definition_relationship); SELF\View_definition_relationship.relating_view : Observed_environment_view; SELF\View_definition_relationship.related_view : Observed_environment_view; DERIVE related_environment : Observed_environment_view := SELF\View_definition_relationship.related_view; relating_environment : Observed_environment_view := SELF\View_definition_relationship.relating_view; END_ENTITY; ENTITY Odd_function SUBTYPE OF (Unary_boolean_expression); SELF\Unary_generic_expression.operand : Numeric_expression; WHERE WR1: Is_int_expr(SELF\Numeric_expression); END_ENTITY; ENTITY Or_expression SUBTYPE OF (Multiple_arity_boolean_expression); END_ENTITY; ENTITY Or_state_cause_effect_definition SUBTYPE OF (State_cause_effect_definition); END_ENTITY; ENTITY Organization; id : OPTIONAL STRING; name : STRING; END_ENTITY; ENTITY Organization_based_location_representation SUBTYPE OF (Location_representation); location_identifications : LIST[0:?] OF Organizational_location_identification; organization_for_location : Organization; 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 Organization_organization_type_relationship; organization : Organization; organization_type : Organization_type; END_ENTITY; ENTITY Organization_relationship; relation_type : STRING; description : OPTIONAL STRING; relating_organization : Organization; related_organization : Organization; END_ENTITY; ENTITY Organization_type; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Organizational_location_identification; identification_type : STRING; location_value : STRING; END_ENTITY; ENTITY Parameter_value_representation_item SUBTYPE OF (Representation_item); parameter_value : parameter_value_select; END_ENTITY; ENTITY Parameterized_distribution SUBTYPE OF (Probability_distribution); has_parameters : LIST[1:?] OF Probability_distribution_parameter; parameterization_name : STRING; END_ENTITY; ENTITY Part SUBTYPE OF (Product); 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; END_ENTITY; ENTITY Person_or_organization_or_person_in_organization_in_position; name : STRING; description : STRING; person_or_organization : position_person_or_organization_or_person_in_organization_select; position : Position; END_ENTITY; ENTITY Person_or_organization_or_person_in_organization_in_position_relationship; name : STRING; description : OPTIONAL STRING; relating : Person_or_organization_or_person_in_organization_in_position; related : Person_or_organization_or_person_in_organization_in_position; 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_document_definition SUBTYPE OF (Document_definition); components : SET[0:?] OF Hardcopy; 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_usage SUBTYPE OF (Breakdown_element_usage); SELF\View_definition_relationship.relating_view : Physical_element_definition; SELF\View_definition_relationship.related_view : Physical_element_definition; 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 Plus_expression SUBTYPE OF (Multiple_arity_numeric_expression); END_ENTITY; ENTITY Position; name : STRING; description : OPTIONAL STRING; address : OPTIONAL Address; position_context : position_context_item; END_ENTITY; ENTITY Position_assignment; items : SET[1:?] OF position_item; position : Position; role : Position_role; END_ENTITY; ENTITY Position_group; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Position_group_assignment; items : SET[1:?] OF position_group_item; position_group : Position_group; role : Position_group_role; END_ENTITY; ENTITY Position_group_relationship; group : Position_group; position : Position; END_ENTITY; ENTITY Position_group_role; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Position_position_type_assignment; assigned_position_type : Position_type; assigned_to : Position; END_ENTITY; ENTITY Position_relationship; name : STRING; description : OPTIONAL STRING; relating_position : Position; related_position : Position; END_ENTITY; ENTITY Position_role; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Position_type; name : STRING; description : OPTIONAL STRING; defined_by : Type_of_person; END_ENTITY; ENTITY Position_type_assignment; items : SET[1:?] OF position_type_item; position_type : Position_type; role : Position_type_role; END_ENTITY; ENTITY Position_type_role; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Power_expression SUBTYPE OF (Binary_numeric_expression); END_ENTITY; ENTITY Pre_defined_type_qualifier SUBTYPE OF (Type_qualifier); WHERE WR1: SELF\Type_qualifier.name IN pre_defined_type_qualifiers; END_ENTITY; ENTITY Precision_qualifier; precision_value : INTEGER; END_ENTITY; ENTITY Probability ABSTRACT SUPERTYPE SUBTYPE OF (Representation); END_ENTITY; ENTITY Probability_by_name SUBTYPE OF (Probability); SELF\Representation.items : SET[1:1] OF Probability_named_value; DERIVE has_value : SET[1:1] OF Probability_named_value := SELF\Representation.items; END_ENTITY; ENTITY Probability_derivation_parameter SUBTYPE OF (Numerical_item_with_global_unit); END_ENTITY; ENTITY Probability_derived SUBTYPE OF (Probability_numeric); derives_from : Probability_generator; has_parameter : LIST[1:?] OF Probability_derivation_parameter; END_ENTITY; ENTITY Probability_distribution ABSTRACT SUPERTYPE SUBTYPE OF (Probability_generator); distribution_name : OPTIONAL STRING; is_continuous : STRING; mean : REAL; variance : REAL; END_ENTITY; ENTITY Probability_distribution_parameter SUBTYPE OF (Numerical_item_with_global_unit); END_ENTITY; ENTITY Probability_function_value SUBTYPE OF (Numerical_item_with_global_unit); END_ENTITY; ENTITY Probability_generator ABSTRACT SUPERTYPE SUBTYPE OF (Representation); END_ENTITY; ENTITY Probability_named_value SUBTYPE OF (Representation_item); END_ENTITY; ENTITY Probability_numeric SUBTYPE OF (Probability); SELF\Representation.items : SET[1:1] OF Probability_numeric_value; DERIVE has_value : SET[1:1] OF Probability_numeric_value := SELF\Representation.items; END_ENTITY; ENTITY Probability_numeric_value SUBTYPE OF (Numerical_item_with_global_unit); END_ENTITY; ENTITY Probability_representation SUBTYPE OF (Activity_property_representation); SELF\Activity_property_representation.property : Risk_event_probability; SELF\Activity_property_representation.rep : Probability; END_ENTITY; ENTITY Product; id : STRING; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Product_as_individual SUBTYPE OF (Product); END_ENTITY; ENTITY Product_as_individual_version ABSTRACT SUPERTYPE OF (ONEOF (Product_as_planned, Product_as_realized)) SUBTYPE OF (Product_version); SELF\Product_version.of_product : Product_as_individual; END_ENTITY; ENTITY Product_as_individual_view SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Product_as_individual_version; END_ENTITY; ENTITY Product_as_planned SUBTYPE OF (Product_as_individual_version); END_ENTITY; ENTITY Product_as_realized SUBTYPE OF (Product_as_individual_version); END_ENTITY; ENTITY Product_based_location_identification SUBTYPE OF (Location_representation); location_identification : STRING; location_name : OPTIONAL STRING; referenced_product : product_based_location_representation; 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_configuration_hierarchical_relationship SUBTYPE OF (Product_configuration_relationship); DERIVE child : Product_configuration := SELF\Product_configuration_relationship.related_product_configuration; parent : Product_configuration := SELF\Product_configuration_relationship.relating_product_configuration; END_ENTITY; ENTITY Product_configuration_relationship SUPERTYPE OF (ONEOF (Product_configuration_hierarchical_relationship, Product_configuration_revision_sequence)); relating_product_configuration : Product_configuration; related_product_configuration : Product_configuration; END_ENTITY; ENTITY Product_configuration_revision_sequence SUBTYPE OF (Product_configuration_relationship); DERIVE predecessor : Product_configuration := SELF\Product_configuration_relationship.relating_product_configuration; successor : Product_configuration := SELF\Product_configuration_relationship.related_product_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_design_to_individual; product_design : Product; individual_product : Product_as_individual; END_ENTITY; ENTITY Product_design_version_to_individual; product_design_version : product_version_or_configuration; individual_product : Product_as_individual_version; END_ENTITY; ENTITY Product_design_view_to_individual; product_as_individual_view : Product_as_individual_view; product_view_definition : product_design_view_or_configuration; END_ENTITY; ENTITY Product_group; id : STRING; description : OPTIONAL STRING; purpose : STRING; membership_rule : OPTIONAL STRING; product_group_context : OPTIONAL STRING; END_ENTITY; ENTITY Product_group_membership; member : product_select; of_group : Product_group; END_ENTITY; ENTITY Product_group_relationship; description : OPTIONAL STRING; relating : Product_group; related : Product_group; role : OPTIONAL STRING; END_ENTITY; ENTITY Product_occurrence_definition_relationship ABSTRACT SUPERTYPE ; relating_view : Product_view_definition; related_view : Product_view_definition; END_ENTITY; ENTITY Product_planned_to_realized; planned_product : Product_as_planned; realized_product : Product_as_realized; END_ENTITY; ENTITY Product_relationship; relation_type : STRING; description : OPTIONAL STRING; relating_product : Product; related_product : Product; END_ENTITY; ENTITY Product_version; id : STRING; description : OPTIONAL STRING; of_product : Product; END_ENTITY; ENTITY Product_version_relationship; relation_type : OPTIONAL STRING; description : OPTIONAL STRING; relating_version : Product_version; related_version : Product_version; WHERE WR1: relating_version :<>: related_version; WR2: EXISTS(relation_type) OR (TYPEOF(SELF\Product_version_relationship) <> TYPEOF(SELF)); END_ENTITY; ENTITY Product_view_definition; id : OPTIONAL STRING; name : OPTIONAL STRING; additional_characterization : OPTIONAL STRING; initial_context : View_definition_context; additional_contexts : SET[0:?] OF View_definition_context; defined_version : Product_version; WHERE WR1: NOT (initial_context IN additional_contexts); WR2: EXISTS(id) OR (TYPEOF(SELF\Product_view_definition) <> TYPEOF(SELF)); END_ENTITY; ENTITY Project; id : STRING; name : STRING; description : OPTIONAL STRING; responsible_organizations : SET[0:?] 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[1:?] OF project_item; END_ENTITY; ENTITY Project_relationship; relation_type : STRING; description : OPTIONAL STRING; relating_project : Project; related_project : Project; END_ENTITY; ENTITY Promissory_usage SUBTYPE OF (Assembly_component_relationship); END_ENTITY; ENTITY Property_definition_representation ABSTRACT SUPERTYPE ; description : OPTIONAL STRING; definition : represented_definition; rep : Representation; role : OPTIONAL STRING; END_ENTITY; ENTITY Property_representation SUBTYPE OF (Property_definition_representation); SELF\Property_definition_representation.definition : Assigned_property; DERIVE property : Assigned_property := SELF\Property_definition_representation.definition; END_ENTITY; ENTITY Property_value_representation SUBTYPE OF (Representation); SELF\Representation.context_of_items : Numerical_representation_context; END_ENTITY; ENTITY Qualification_assignment; assigned_qualification_type : Qualification_type; received_by : qualifications_select; END_ENTITY; ENTITY Qualification_type; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Qualification_type_relationship; name : STRING; description : OPTIONAL STRING; relating : Qualification_type; related : Qualification_type; END_ENTITY; ENTITY Qualified_numerical_item_with_unit SUBTYPE OF (Numerical_item_with_unit, Qualified_representation_item); END_ENTITY; ENTITY Qualified_representation_item ABSTRACT SUPERTYPE SUBTYPE OF (Representation_item); qualifiers : SET[1:?] OF value_qualifier; WHERE WR1: SIZEOF(QUERY(temp <* qualifiers | 'AP233_SYSTEMS_ENGINEERING_ARM_LF.PRECISION_QUALIFIER' IN TYPEOF(temp))) < 2; END_ENTITY; ENTITY Qualitative_uncertainty SUBTYPE OF (Uncertainty_qualifier); uncertainty_value : STRING; END_ENTITY; ENTITY Random_variable SUBTYPE OF (Numerical_item_with_global_unit); END_ENTITY; ENTITY Ratio_unit SUBTYPE OF (Unit); END_ENTITY; ENTITY Real_defined_function ABSTRACT SUPERTYPE SUBTYPE OF (Numeric_defined_function); END_ENTITY; ENTITY Real_literal SUBTYPE OF (Literal_number); SELF\Literal_number.the_value : REAL; END_ENTITY; ENTITY Real_numeric_variable SUBTYPE OF (Numeric_variable); END_ENTITY; ENTITY Regional_coordinate; name : STRING; coordinate_value : Value_with_unit; grid_system : Regional_grid_location_representation; END_ENTITY; ENTITY Regional_grid_location_representation SUBTYPE OF (Location_representation); name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Related_condition_parameter; name : STRING; description : OPTIONAL STRING; conditon_evaluation_parameter : Condition_evaluation_parameter; condition_parameter : Condition_parameter; END_ENTITY; ENTITY Related_consequence SUBTYPE OF (View_definition_relationship); SELF\View_definition_relationship.relating_view : Risk_perception; SELF\View_definition_relationship.related_view : Risk_consequence; END_ENTITY; ENTITY Relative_event SUBTYPE OF (Event); base_event : Event; offset : Duration; END_ENTITY; ENTITY Repeat_count SUBTYPE OF (Looping_element); count : INTEGER; END_ENTITY; ENTITY Repeat_until SUBTYPE OF (Looping_element); condition : Condition; END_ENTITY; ENTITY Repeat_while SUBTYPE OF (Looping_element); condition : Condition; END_ENTITY; ENTITY Representation; id : OPTIONAL identifier; name : OPTIONAL label; description : OPTIONAL text; context_of_items : Representation_context; items : SET[1:?] OF Representation_item; WHERE WR1: EXISTS(name) OR (TYPEOF(SELF\Representation) <> TYPEOF(SELF)); END_ENTITY; ENTITY Representation_context; id : identifier; kind : text; INVERSE representations_in_context : SET[1:?] OF Representation FOR context_of_items; END_ENTITY; ENTITY Representation_item ABSTRACT SUPERTYPE ; name : OPTIONAL label; END_ENTITY; ENTITY Representation_proxy_item SUBTYPE OF (Representation_item); item : representation_proxy_select; END_ENTITY; ENTITY Representation_relationship; relation_type : OPTIONAL label; description : OPTIONAL text; rep_1 : Representation; rep_2 : Representation; WHERE WR1: EXISTS(relation_type) OR (TYPEOF(SELF\Representation_relationship) <> TYPEOF(SELF)); WR2: EXISTS(description) OR (TYPEOF(SELF\Representation_relationship) <> TYPEOF(SELF)); END_ENTITY; ENTITY Required_resource ABSTRACT SUPERTYPE OF (ONEOF (Required_resource_by_reference, Required_resource_by_requirement, Required_resource_by_resource_item)); name : STRING; description : OPTIONAL STRING; required_quantity : OPTIONAL Value_with_unit; END_ENTITY; ENTITY Required_resource_assignment; assigned_resource : Required_resource; item : required_resource_item; END_ENTITY; ENTITY Required_resource_by_reference SUBTYPE OF (Required_resource); item : resource_item_select; END_ENTITY; ENTITY Required_resource_by_requirement SUBTYPE OF (Required_resource); END_ENTITY; ENTITY Required_resource_by_resource_item SUBTYPE OF (Required_resource); resource_item : Resource_item; END_ENTITY; ENTITY Required_resource_relationship; name : STRING; description : OPTIONAL STRING; relating : Required_resource; related : Required_resource; END_ENTITY; ENTITY Required_resource_requirement; item : resource_requirement_select; resource_requirement : Required_resource_by_requirement; END_ENTITY; ENTITY Requirement SUBTYPE OF (Product); END_ENTITY; ENTITY Requirement_assignment; id : STRING; description : OPTIONAL STRING; assigned_requirement : Requirement_view_definition; assigned_to : requirement_assignment_item; END_ENTITY; ENTITY Requirement_collection_relationship SUBTYPE OF (Requirement_view_definition_relationship); DERIVE collection : Requirement_view_definition := SELF\Requirement_view_definition_relationship.primary; member : Requirement_view_definition := SELF\Requirement_view_definition_relationship.secondary; END_ENTITY; ENTITY Requirement_satisfied_by; id : STRING; description : OPTIONAL STRING; satisfied_by : requirement_satisfaction_item; satisfied_requirement : Requirement_view_definition; related_assignment : OPTIONAL Requirement_assignment; END_ENTITY; ENTITY Requirement_source; id : STRING; description : OPTIONAL STRING; source : requirement_source_item; sourced_requirement : Requirement_view_definition; END_ENTITY; ENTITY Requirement_version SUBTYPE OF (Product_version); SELF\Product_version.of_product : Requirement; END_ENTITY; ENTITY Requirement_version_relationship SUBTYPE OF (Product_version_relationship); SELF\Product_version_relationship.relating_version : Requirement_version; SELF\Product_version_relationship.related_version : Requirement_version; DERIVE predecessor : Requirement_version := SELF\Product_version_relationship.relating_version; successor : Requirement_version := SELF\Product_version_relationship.related_version; END_ENTITY; ENTITY Requirement_view_definition SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Requirement_version; END_ENTITY; ENTITY Requirement_view_definition_relationship SUPERTYPE OF (ONEOF (Requirement_collection_relationship, Tracing_relationship)) SUBTYPE OF (View_definition_relationship); SELF\View_definition_relationship.relating_view : Requirement_view_definition; SELF\View_definition_relationship.related_view : Requirement_view_definition; DERIVE primary : Requirement_view_definition := SELF\View_definition_relationship.relating_view; secondary : Requirement_view_definition := SELF\View_definition_relationship.related_view; WHERE WR1: primary :<>: secondary; END_ENTITY; ENTITY Resource_as_realized; name : STRING; description : OPTIONAL STRING; quantity : OPTIONAL Value_with_unit; END_ENTITY; ENTITY Resource_as_realized_assignment; assigned_resource : Resource_as_realized; item : resource_as_realized_item; END_ENTITY; ENTITY Resource_as_realized_by_reference SUBTYPE OF (Resource_as_realized); item : resource_item_select; END_ENTITY; ENTITY Resource_as_realized_by_resource_item SUBTYPE OF (Resource_as_realized); resource_item : Resource_item; END_ENTITY; ENTITY Resource_as_realized_relationship; name : STRING; description : OPTIONAL STRING; relating : Resource_as_realized; related : resource_as_realized_relationship_select; END_ENTITY; ENTITY Resource_event ABSTRACT SUPERTYPE ; name : STRING; description : OPTIONAL STRING; quantity : OPTIONAL Value_with_unit; resource : Managed_resource; END_ENTITY; ENTITY Resource_event_correspondence_relationship; name : STRING; description : OPTIONAL STRING; relating : Resource_event; related : Required_resource; END_ENTITY; ENTITY Resource_event_relationship; name : STRING; description : OPTIONAL STRING; relating : Resource_event; related : Resource_event; END_ENTITY; ENTITY Resource_group_relationship SUBTYPE OF (Resource_item_relationship); quantity : OPTIONAL Value_with_unit; END_ENTITY; ENTITY Resource_item; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Resource_item_assignment; assigned_resource : Resource_item; item : resource_assignment_item; END_ENTITY; ENTITY Resource_item_realization; item : resource_item_select; resource_item : Resource_item; END_ENTITY; ENTITY Resource_item_relationship; name : STRING; description : OPTIONAL STRING; relating : Resource_item; related : Resource_item; END_ENTITY; ENTITY Resource_property; name : STRING; description : STRING; described_element : characterized_resource_select; END_ENTITY; ENTITY Resource_property_representation; description : OPTIONAL STRING; property : Resource_property; rep : Representation; role : STRING; END_ENTITY; ENTITY Risk SUBTYPE OF (Product); END_ENTITY; ENTITY Risk_attitude SUBTYPE OF (Property_representation); SELF\Property_definition_representation.rep : Property_value_representation; SELF\Property_definition_representation.definition : Risk_level; DERIVE criticality_factor : Property_value_representation := SELF\Property_definition_representation.rep; END_ENTITY; ENTITY Risk_consequence SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Risk_version; END_ENTITY; ENTITY Risk_event SUBTYPE OF (Applied_activity_method_assignment); SELF\Applied_activity_method_assignment.items : SET[1:1] OF Risk_perception; DERIVE SELF\Applied_activity_method_assignment.role : STRING := 'causal event'; associated_risk : SET[1:1] OF Risk_perception := SELF\Applied_activity_method_assignment.items; END_ENTITY; ENTITY Risk_event_probability SUBTYPE OF (Activity_property); SELF\Activity_property.described_element : Activity_method; END_ENTITY; ENTITY Risk_impact_assignment; assigned_risk_consequence : Risk_consequence; items : SET[1:?] OF risk_impact_item; END_ENTITY; ENTITY Risk_level SUBTYPE OF (Assigned_property); SELF\Assigned_property.described_element : Risk_perception; END_ENTITY; ENTITY Risk_perception SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : Risk_version; SELF\Product_view_definition.initial_context : Risk_perception_context; DERIVE risk_perception_context : Risk_perception_context := SELF\Product_view_definition.initial_context; END_ENTITY; ENTITY Risk_perception_context SUBTYPE OF (View_definition_context); END_ENTITY; ENTITY Risk_perception_relationship SUBTYPE OF (View_definition_relationship); SELF\View_definition_relationship.relating_view : Risk_perception; SELF\View_definition_relationship.related_view : Risk_perception; END_ENTITY; ENTITY Risk_perception_source_assignment; assigned_risk : Risk_perception; items : SET[1:?] OF risk_perception_source_item; END_ENTITY; ENTITY Risk_relationship SUBTYPE OF (Product_relationship); SELF\Product_relationship.relating_product : Risk; SELF\Product_relationship.related_product : Risk; DERIVE related_risk : Risk := SELF\Product_relationship.related_product; relating_risk : Risk := SELF\Product_relationship.relating_product; END_ENTITY; ENTITY Risk_version SUBTYPE OF (Product_version); SELF\Product_version.of_product : Risk; DERIVE of_risk : Risk := SELF\Product_version.of_product; END_ENTITY; ENTITY Same_as_external_item; external_item_id : STRING; description : OPTIONAL STRING; role : STRING; external_source : External_source; items : SET[0:?] OF same_as_item; END_ENTITY; ENTITY Scheme SUBTYPE OF (Activity_method); END_ENTITY; ENTITY Scheme_entry SUBTYPE OF (Activity_method); scheme : Scheme_version; END_ENTITY; ENTITY Scheme_entry_assignment SUBTYPE OF (Applied_activity_method_assignment); SELF\Applied_activity_method_assignment.assigned_activity_method : Scheme_entry; SELF\Applied_activity_method_assignment.items : SET[1:?] OF scheme_entry_item_select; DERIVE assigned_entry : Scheme_entry := SELF\Applied_activity_method_assignment.assigned_activity_method; END_ENTITY; ENTITY Scheme_entry_relationship SUBTYPE OF (Activity_method_relationship); SELF\Activity_method_relationship.relating_method : Scheme_entry; SELF\Activity_method_relationship.related_method : Scheme_entry; DERIVE related_entry : Scheme_entry := SELF\Activity_method_relationship.related_method; relating_entry : Scheme_entry := SELF\Activity_method_relationship.relating_method; END_ENTITY; ENTITY Scheme_relationship SUBTYPE OF (Activity_method_relationship); SELF\Activity_method_relationship.relating_method : Scheme; SELF\Activity_method_relationship.related_method : Scheme; DERIVE related_scheme : Scheme := SELF\Activity_method_relationship.related_method; relating_scheme : Scheme := SELF\Activity_method_relationship.relating_method; END_ENTITY; ENTITY Scheme_subject_assignment SUBTYPE OF (Applied_activity_method_assignment); SELF\Applied_activity_method_assignment.assigned_activity_method : Scheme; SELF\Applied_activity_method_assignment.items : SET[1:?] OF scheme_subject_select; DERIVE assigned_scheme : Scheme := SELF\Applied_activity_method_assignment.assigned_activity_method; END_ENTITY; ENTITY Scheme_version SUBTYPE OF (Activity_method); of_scheme : Scheme; END_ENTITY; ENTITY Scheme_version_assignment SUBTYPE OF (Applied_activity_method_assignment); SELF\Applied_activity_method_assignment.assigned_activity_method : Scheme_version; SELF\Applied_activity_method_assignment.items : SET[1:?] OF scheme_version_select; DERIVE assigned_scheme_version : Scheme_version := SELF\Applied_activity_method_assignment.assigned_activity_method; END_ENTITY; ENTITY Scheme_version_relationship SUBTYPE OF (Activity_method_relationship); SELF\Activity_method_relationship.relating_method : Scheme_version; SELF\Activity_method_relationship.related_method : Scheme_version; DERIVE related_scheme_version : Scheme_version := SELF\Activity_method_relationship.related_method; relating_scheme_version : Scheme_version := SELF\Activity_method_relationship.relating_method; END_ENTITY; ENTITY Security_classification; classification_level : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Security_classification_assignment; classification : Security_classification; items : SET[1:?] OF security_classification_item; END_ENTITY; ENTITY Selected_item SUBTYPE OF (Class); END_ENTITY; ENTITY Selected_item_assignment; assigned_class : Selected_item; item : selected_item_select; item_context : SET[1:?] OF selected_item_context_items; END_ENTITY; ENTITY Sequence_of_state SUBTYPE OF (State_relationship); DERIVE predecessor : SET[1:?] OF State := SELF\State_relationship.related; successor : SET[1:?] OF State := SELF\State_relationship.relating; END_ENTITY; ENTITY Sequence_of_state_definition SUBTYPE OF (State_definition_relationship); DERIVE predecessor : SET[1:?] OF State_definition := SELF\State_definition_relationship.related; successor : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating; END_ENTITY; ENTITY Sequencing_relationship SUBTYPE OF (Scheme_entry_relationship); sequencing_type : STRING; time_lag : OPTIONAL Time_interval; END_ENTITY; ENTITY Serial_effectivity SUBTYPE OF (Effectivity); start_id : STRING; end_id : OPTIONAL STRING; END_ENTITY; ENTITY Shape_dependent_property_representation; characteristic_type : STRING; description : OPTIONAL STRING; described_element : shape_dependent_select; property_representation : Representation; END_ENTITY; ENTITY Shape_description_association; represented_characteristic : shape_select; representation : shape_model; role : OPTIONAL STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Shape_element; id : OPTIONAL STRING; element_name : OPTIONAL STRING; description : OPTIONAL STRING; containing_shape : Item_shape; WHERE WR1: EXISTS(element_name) OR (TYPEOF(SELF\Shape_element) <> TYPEOF(SELF)); END_ENTITY; 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; ENTITY Shape_placement_association SUBTYPE OF (Shape_description_association); SELF\Shape_description_association.representation : Geometric_placement_model; SELF\Shape_description_association.represented_characteristic : Contextual_item_shape; END_ENTITY; ENTITY Simple_boolean_expression ABSTRACT SUPERTYPE OF (ONEOF (Boolean_literal, Boolean_variable)) SUBTYPE OF (Boolean_expression, Simple_generic_expression); END_ENTITY; ENTITY Simple_generic_expression ABSTRACT SUPERTYPE OF (ONEOF (Generic_literal, Generic_variable)) SUBTYPE OF (Generic_expression); END_ENTITY; ENTITY Simple_numeric_expression ABSTRACT SUPERTYPE OF (ONEOF (Literal_number, Numeric_variable)) SUBTYPE OF (Numeric_expression, Simple_generic_expression); END_ENTITY; ENTITY Simple_string_expression ABSTRACT SUPERTYPE OF (ONEOF (String_literal, String_variable)) SUBTYPE OF (Simple_generic_expression, String_expression); END_ENTITY; ENTITY Simultaneous_elements SUBTYPE OF (Concurrent_elements); END_ENTITY; ENTITY Sin_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Single_property_is_definition SUBTYPE OF (Assigned_property); SELF\Assigned_property.described_element : Product_view_definition; UNIQUE UR1: SELF\Assigned_property.described_element; END_ENTITY; ENTITY Slash_expression SUBTYPE OF (Binary_numeric_expression); END_ENTITY; ENTITY Solid_angle_unit SUBTYPE OF (Unit); END_ENTITY; ENTITY Sql_mappable_defined_function ABSTRACT SUPERTYPE SUBTYPE OF (Defined_function); END_ENTITY; ENTITY Square_root_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Standard_uncertainty SUPERTYPE OF (Expanded_uncertainty) SUBTYPE OF (Uncertainty_qualifier); uncertainty_value : REAL; END_ENTITY; ENTITY Start_task SUBTYPE OF (Task_element); END_ENTITY; ENTITY State SUPERTYPE OF (ONEOF (State_observed, State_predicted)); 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_assessment; name : STRING; description : OPTIONAL STRING; assessed_state : State; comparable_state : State_definition; END_ENTITY; ENTITY State_based_behaviour_model SUBTYPE OF (Representation); SELF\Representation.context_of_items : State_based_behaviour_representation_context; SELF\Representation.items : SET[1:?] OF State_based_behaviour_representation_item; END_ENTITY; ENTITY State_based_behaviour_representation_context SUBTYPE OF (Representation_context); END_ENTITY; ENTITY State_based_behaviour_representation_item SUBTYPE OF (Representation_item); item : state_based_behaviour_element; END_ENTITY; ENTITY State_cause_effect SUBTYPE OF (State_relationship); DERIVE cause : SET[1:?] OF State := SELF\State_relationship.related; effect : SET[1:?] OF State := SELF\State_relationship.relating; END_ENTITY; ENTITY State_cause_effect_definition SUBTYPE OF (State_definition_relationship); DERIVE cause : SET[1:?] OF State_definition := SELF\State_definition_relationship.related; effect : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating; END_ENTITY; ENTITY State_complement_definition SUBTYPE OF (State_definition_relationship); set_2 : SET[1:?] OF State_definition; DERIVE set_1 : SET[1:?] OF State_definition := SELF\State_definition_relationship.related; universe : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating; 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_observed SUBTYPE OF (State); END_ENTITY; ENTITY State_predicted SUBTYPE OF (State); END_ENTITY; ENTITY State_predicted_to_observed SUBTYPE OF (State_relationship); SELF\State_relationship.relating : SET[1:?] OF State_observed; SELF\State_relationship.related : SET[1:?] OF State_predicted; DERIVE observed_state : SET[1:?] OF State_observed := SELF\State_relationship.relating; predicted_state : SET[1:?] OF State_predicted := SELF\State_relationship.related; 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_relationship; name : STRING; description : OPTIONAL STRING; relating : SET[1:?] OF State; related : SET[1:?] OF State; END_ENTITY; ENTITY State_role; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY State_subset_definition SUBTYPE OF (State_definition_relationship); DERIVE subset : SET[1:?] OF State_definition := SELF\State_definition_relationship.related; superset : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating; END_ENTITY; ENTITY State_symptom_definition SUBTYPE OF (State_definition_relationship); DERIVE symptom_cause : SET[1:?] OF State_definition := SELF\State_definition_relationship.related; symptom_effect : SET[1:?] OF State_definition := SELF\State_definition_relationship.relating; END_ENTITY; ENTITY State_transition SUBTYPE OF (State_relationship); DERIVE end_state : SET[1:?] OF State := SELF\State_relationship.relating; start_state : SET[1:?] OF State := SELF\State_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_defined_function ABSTRACT SUPERTYPE SUBTYPE OF (Defined_function, String_expression); END_ENTITY; ENTITY String_expression ABSTRACT SUPERTYPE OF (ONEOF (Simple_string_expression, Index_expression, Substring_expression, Concat_expression, Format_function, String_defined_function)) SUBTYPE OF (Expression); END_ENTITY; ENTITY String_literal SUBTYPE OF (Generic_literal, Simple_string_expression); the_value : STRING; END_ENTITY; ENTITY String_representation_item SUBTYPE OF (Representation_item); string_value : STRING; END_ENTITY; ENTITY String_variable SUBTYPE OF (Simple_string_expression, Variable); END_ENTITY; ENTITY Structured_task_element ABSTRACT SUPERTYPE OF (ONEOF (Concurrent_elements, Decision_point, Looping_element, Task_element_sequence)) SUBTYPE OF (Task_element); END_ENTITY; ENTITY Substring_expression SUBTYPE OF (Multiple_arity_generic_expression, String_expression); DERIVE operand : Generic_expression := SELF\Multiple_arity_generic_expression.operands[1]; index1 : Generic_expression := SELF\Multiple_arity_generic_expression.operands[2]; index2 : Generic_expression := SELF\Multiple_arity_generic_expression.operands[3]; WHERE WR1: ('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_EXPRESSION' IN TYPEOF(operand)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.NUMERIC_EXPRESSION' IN TYPEOF(index1)) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.NUMERIC_EXPRESSION' IN TYPEOF(index2)); WR2: SIZEOF(SELF\Multiple_arity_generic_expression.operands) = 3; WR3: Is_int_expr(index1); WR4: Is_int_expr(index2); END_ENTITY; ENTITY Supplied_part_relationship SUBTYPE OF (Product_version_relationship); WHERE WR1: SELF\Product_version_relationship.relation_type IN ['supplied item', 'supplied document']; END_ENTITY; ENTITY System SUBTYPE OF (Product); 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_usage SUBTYPE OF (Breakdown_element_usage); SELF\View_definition_relationship.relating_view : System_element_definition; SELF\View_definition_relationship.related_view : System_element_definition; END_ENTITY; ENTITY System_element_version SUBTYPE OF (Breakdown_element_version); SELF\Breakdown_element_version.of_product : System_element; END_ENTITY; ENTITY System_version SUBTYPE OF (Product_version); SELF\Product_version.of_product : System; DERIVE of_system : System := SELF\Product_version.of_product; END_ENTITY; ENTITY System_version_relationship SUBTYPE OF (Product_version_relationship); SELF\Product_version_relationship.relating_version : System_version; SELF\Product_version_relationship.related_version : System_version; END_ENTITY; ENTITY System_version_sequence SUBTYPE OF (System_version_relationship); DERIVE predecessor : System_version := SELF\System_version_relationship.relating_version; successor : System_version := SELF\System_version_relationship.related_version; END_ENTITY; ENTITY System_view_definition SUBTYPE OF (Product_view_definition); SELF\Product_view_definition.defined_version : System_version; END_ENTITY; ENTITY Tan_function SUBTYPE OF (Unary_function_call); END_ENTITY; ENTITY Task_element ABSTRACT SUPERTYPE OF ((ONEOF (End_task, Exit_loop, Structured_task_element, Task_step)) ANDOR (ONEOF (End_task, Exit_loop, Structured_task_element, Task_element_levels, Task_invocation, Task_step))) SUBTYPE OF (Activity_method); END_ENTITY; ENTITY Task_element_assignment SUBTYPE OF (Applied_activity_method_assignment); SELF\Applied_activity_method_assignment.assigned_activity_method : Task_element; SELF\Applied_activity_method_assignment.items : SET[1:?] OF task_item; DERIVE assigned_task_element : Task_element := SELF\Applied_activity_method_assignment.assigned_activity_method; END_ENTITY; ENTITY Task_element_levels SUBTYPE OF (Task_element); alternatives : SET[2:?] OF Task_element; END_ENTITY; ENTITY Task_element_relationship SUBTYPE OF (Activity_method_relationship); SELF\Activity_method_relationship.relating_method : Task_element; SELF\Activity_method_relationship.related_method : Task_element; END_ENTITY; ENTITY Task_element_sequence SUBTYPE OF (Structured_task_element); elements : LIST[2:?] OF Task_element; END_ENTITY; ENTITY Task_element_state_relationship; state : state_or_state_definition_select; task_element : Task_element; END_ENTITY; ENTITY Task_invocation SUBTYPE OF (Task_element); task_method : method_or_method_version; END_ENTITY; ENTITY Task_io SUBTYPE OF (Task_element_assignment); SELF\Applied_activity_method_assignment.assigned_activity_method : Task_step; END_ENTITY; ENTITY Task_io_hierarchy; child : Task_io; parent : Task_io; WHERE wr1: child.role = parent.role; END_ENTITY; ENTITY Task_method SUBTYPE OF (Activity_method); objective : SET[0:?] OF Task_objective; END_ENTITY; ENTITY Task_method_assignment SUBTYPE OF (Applied_activity_method_assignment); SELF\Applied_activity_method_assignment.assigned_activity_method : Task_method; SELF\Applied_activity_method_assignment.items : SET[1:?] OF task_item; END_ENTITY; ENTITY Task_method_relationship SUBTYPE OF (Activity_method_relationship); SELF\Activity_method_relationship.relating_method : Task_method; SELF\Activity_method_relationship.related_method : Task_method; END_ENTITY; ENTITY Task_method_state_relationship; state : state_or_state_definition_select; task_method : Task_method_version; END_ENTITY; ENTITY Task_method_version SUBTYPE OF (Activity_method); content : OPTIONAL Task_element; of_task_method : Task_method; END_ENTITY; ENTITY Task_method_version_assignment SUBTYPE OF (Applied_activity_method_assignment); SELF\Applied_activity_method_assignment.assigned_activity_method : Task_method_version; SELF\Applied_activity_method_assignment.items : SET[1:?] OF task_item; DERIVE assigned_task_method : Task_method_version := SELF\Applied_activity_method_assignment.assigned_activity_method; END_ENTITY; ENTITY Task_method_version_relationship SUBTYPE OF (Activity_method_relationship); SELF\Activity_method_relationship.relating_method : Task_method_version; SELF\Activity_method_relationship.related_method : Task_method_version; DERIVE related_task_method : Task_method_version := SELF\Activity_method_relationship.related_method; relating_task_method : Task_method_version := SELF\Activity_method_relationship.relating_method; END_ENTITY; ENTITY Task_objective; name : STRING; description : STRING; END_ENTITY; ENTITY Task_objective_state_relationship; state : state_or_state_definition_select; task_objective : Task_objective; END_ENTITY; ENTITY Task_step SUBTYPE OF (Task_element); SELF\Activity_method.description : STRING; DERIVE step_text : STRING := SELF\Activity_method.description; END_ENTITY; ENTITY Task_step_hierarchy SUBTYPE OF (Task_element_relationship); SELF\Task_element_relationship.related_method : Task_step; SELF\Task_element_relationship.relating_method : Task_step; DERIVE child : Task_step := SELF\Task_element_relationship.related_method; parent : Task_step := SELF\Task_element_relationship.relating_method; END_ENTITY; ENTITY Text_based_representation SUBTYPE OF (Representation); SELF\Representation.context_of_items : Text_based_representation_context; SELF\Representation.items : SET[1:1] OF text_based_item_select; END_ENTITY; ENTITY Text_based_representation_context SUBTYPE OF (Representation_context); END_ENTITY; ENTITY Textual_expression_composition SUBTYPE OF (Representation_item); content : list_or_set_of_text_based_item; END_ENTITY; ENTITY Textual_expression_representation_item SUBTYPE OF (String_representation_item); END_ENTITY; ENTITY Thermodynamic_temperature_unit SUBTYPE OF (Unit); END_ENTITY; ENTITY Time_interval; id : STRING; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Time_interval_assignment; assigned_time_interval : Time_interval; role : Time_interval_role; items : SET[1:?] OF time_interval_item; END_ENTITY; ENTITY Time_interval_effectivity SUBTYPE OF (Effectivity); effectivity_period : Time_interval; END_ENTITY; ENTITY Time_interval_relationship; relation_type : STRING; description : STRING; relating_time_interval : Time_interval; related_time_interval : Time_interval; END_ENTITY; ENTITY Time_interval_role; name : STRING; description : STRING; END_ENTITY; ENTITY Time_interval_with_bounds SUBTYPE OF (Time_interval); primary_bound : OPTIONAL date_or_event; secondary_bound : OPTIONAL date_or_event; duration_from_primary_bound : OPTIONAL Duration; WHERE WR1: NOT (EXISTS(secondary_bound) AND EXISTS(duration_from_primary_bound)); WR2: EXISTS(primary_bound) OR EXISTS(secondary_bound); 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 <= actual_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 Tracing_relationship SUBTYPE OF (Requirement_view_definition_relationship); DERIVE traces_from : Requirement_view_definition := SELF\Requirement_view_definition_relationship.primary; traces_to : Requirement_view_definition := SELF\Requirement_view_definition_relationship.secondary; END_ENTITY; ENTITY Type_of_person; name : STRING; description : OPTIONAL STRING; has : SET[0:?] OF Type_of_person_definition; END_ENTITY; ENTITY Type_of_person_assignment; assigned_type_of_person : Type_of_person; items : SET[1:?] OF type_of_person_item_select; role : STRING; END_ENTITY; ENTITY Type_of_person_definition; name : STRING; description : OPTIONAL STRING; END_ENTITY; ENTITY Type_of_person_definition_relationship; name : STRING; description : OPTIONAL STRING; relating : Type_of_person_definition; related : Type_of_person_definition; END_ENTITY; ENTITY Type_of_person_definition_required_attributes_relationship; assigned_required_attributes : Type_of_person_definition; required_attributes : SET[0:?] OF defined_attributes; END_ENTITY; ENTITY Type_qualifier ABSTRACT SUPERTYPE OF (Pre_defined_type_qualifier); name : STRING; END_ENTITY; ENTITY Unary_boolean_expression ABSTRACT SUPERTYPE SUBTYPE OF (Boolean_expression, Unary_generic_expression); END_ENTITY; ENTITY Unary_function_call ABSTRACT SUPERTYPE OF (ONEOF (Abs_function, Minus_function, Sin_function, Cos_function, Tan_function, Asin_function, Acos_function, Exp_function, Log_function, Log2_function, Log10_function, Square_root_function)) SUBTYPE OF (Unary_numeric_expression); END_ENTITY; ENTITY Unary_generic_expression ABSTRACT SUPERTYPE SUBTYPE OF (Generic_expression); operand : Generic_expression; END_ENTITY; ENTITY Unary_numeric_expression ABSTRACT SUPERTYPE SUBTYPE OF (Numeric_expression, Unary_generic_expression); SELF\Unary_generic_expression.operand : Numeric_expression; END_ENTITY; ENTITY Uncertainty_qualifier SUPERTYPE OF (ONEOF (Standard_uncertainty, Qualitative_uncertainty)); measure_name : STRING; description : STRING; 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 : STRING; si_unit : BOOLEAN; END_ENTITY; ENTITY Validation; validates : validation_item; INVERSE validated_by : SET[0:?] OF Evidence FOR supports; END_ENTITY; ENTITY Value_function; function_element : LIST[1:?] OF Function_value_pair; END_ENTITY; ENTITY Value_limit SUBTYPE OF (Numerical_item_with_unit, Qualified_representation_item); SELF\Qualified_representation_item.qualifiers : SET[1:1] OF Pre_defined_type_qualifier; WHERE WR1: SELF\Qualified_representation_item.qualifiers[1]\Type_qualifier.name IN ['minimum', 'maximum']; 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_set SUBTYPE OF (Measure_item); values : SET[1:?] OF Measure_item; END_ENTITY; ENTITY Value_with_tolerances SUBTYPE OF (Measure_item); item_value : Numerical_item_with_unit; lower_limit : REAL; upper_limit : REAL; END_ENTITY; ENTITY Value_with_unit; unit : Unit; value_component : measure_value; END_ENTITY; ENTITY Variable ABSTRACT SUPERTYPE SUBTYPE OF (Generic_variable); END_ENTITY; ENTITY Variable_semantics ABSTRACT SUPERTYPE ; END_ENTITY; ENTITY Verification; verifies : Requirement_satisfied_by; INVERSE verified_by : SET[0:?] OF Evidence FOR supports; END_ENTITY; ENTITY Verification_relationship; relating : Verification; related : Verification; END_ENTITY; ENTITY View_definition_context; application_domain : STRING; life_cycle_stage : STRING; description : OPTIONAL STRING; WHERE WR1: (SIZEOF(USEDIN(SELF, 'AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'PRODUCT_VIEW_DEFINITION.INITIAL_CONTEXT')) > 0) OR (SIZEOF(USEDIN(SELF, 'AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'PRODUCT_VIEW_DEFINITION.ADDITIONAL_CONTEXTS')) > 0); END_ENTITY; ENTITY View_definition_relationship; id : OPTIONAL 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 Work_order; name : STRING; description : OPTIONAL STRING; in_response_to : SET[0:?] OF Work_request; END_ENTITY; ENTITY Work_output; name : STRING; description : OPTIONAL STRING; quantity : OPTIONAL Value_with_unit; output_item : OPTIONAL work_output_item; END_ENTITY; ENTITY Work_output_assignment; assigned_output : Work_output; item : work_item; END_ENTITY; ENTITY Work_output_relationship; name : STRING; description : OPTIONAL STRING; relating : Work_output; related : Work_output; END_ENTITY; ENTITY Work_request; request_id : STRING; version_id : STRING; description : OPTIONAL STRING; purpose : STRING; END_ENTITY; ENTITY Work_request_status; status : STRING; work_request : Work_request; END_ENTITY; ENTITY Xor_expression SUBTYPE OF (Binary_boolean_expression); SELF\Binary_generic_expression.operands : LIST[2:2] OF Boolean_expression; 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_usage SUBTYPE OF (Breakdown_element_usage); SELF\View_definition_relationship.relating_view : Zone_element_definition; SELF\View_definition_relationship.related_view : Zone_element_definition; END_ENTITY; ENTITY Zone_element_version SUBTYPE OF (Breakdown_element_version); SELF\Breakdown_element_version.of_product : Zone_element; END_ENTITY; RULE document_definition_constraint FOR (Product_view_definition); WHERE WR1: SIZEOF(QUERY(dd <* Product_view_definition | (NOT ('AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'DOCUMENT_DEFINITION' IN TYPEOF(dd))) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'DOCUMENT_VERSION' IN TYPEOF(dd.defined_version)))) = 0; END_RULE; RULE document_version_constraint FOR (Product_version); WHERE WR1: SIZEOF(QUERY(pv <* Product_version | (NOT ('AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'DOCUMENT_VERSION' IN TYPEOF(pv))) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'DOCUMENT' IN TYPEOF(pv.of_product)))) = 0; END_RULE; RULE part_view_definition_constraint FOR (Product_view_definition); WHERE WR1: SIZEOF(QUERY(pvd <* Product_view_definition | (NOT ('AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'PART_VIEW_DEFINITION' IN TYPEOF(pvd))) AND ('AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'PART_VERSION' IN TYPEOF(pvd.defined_version)))) = 0; END_RULE; RULE total_over_assembly_component_relationship_constraint FOR (Assembly_component_relationship); WHERE wr1: SIZEOF(QUERY(p <* Assembly_component_relationship | SIZEOF(['Ap233_systems_engineering_arm.COMPONENT_UPPER_LEVEL_IDENTIFICATION'] * TYPEOF(p)) = 0)) = 0; wr2: SIZEOF(QUERY(p <* Assembly_component_relationship | SIZEOF(['Ap233_systems_engineering_arm.NEXT_ASSEMBLY_USAGE'] * TYPEOF(p)) = 0)) = 0; wr3: SIZEOF(QUERY(p <* Assembly_component_relationship | SIZEOF(['Ap233_systems_engineering_arm.PROMISSORY_USAGE'] * TYPEOF(p)) = 0)) = 0; END_RULE; FUNCTION Acyclic (arg1 : Generic_expression; arg2 : SET OF Generic_expression) : BOOLEAN; LOCAL result : BOOLEAN; END_LOCAL; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.SIMPLE_GENERIC_EXPRESSION' IN TYPEOF(arg1)) THEN RETURN (TRUE); END_IF; IF arg1 IN arg2 THEN RETURN (FALSE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.UNARY_GENERIC_EXPRESSION' IN TYPEOF(arg1) THEN RETURN (Acyclic(arg1\Unary_generic_expression.operand, arg2 + [arg1])); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.BINARY_GENERIC_EXPRESSION' IN TYPEOF(arg1) THEN RETURN (Acyclic(arg1\Binary_generic_expression.operands[1], arg2 + [arg1]) AND Acyclic(arg1\Binary_generic_expression.operands[2], arg2 + [arg1])); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.MULTIPLE_ARITY_GENERIC_EXPRESSION' IN TYPEOF(arg1) THEN result := TRUE; REPEAT i := 1 TO SIZEOF(arg1\Multiple_arity_generic_expression.operands); result := result AND Acyclic(arg1\Multiple_arity_generic_expression.operands[i], arg2 + [arg1]); END_REPEAT; RETURN (result); END_IF; END_FUNCTION; FUNCTION acyclic_representation_relationship (relation : Representation_relationship; relatives : SET[1:?] OF Representation; specific_relation : STRING) : BOOLEAN; LOCAL x : SET OF Representation_relationship; END_LOCAL; IF relation.rep_1 IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(r <* bag_to_set(USEDIN(relation.rep_1, 'AP233_SYSTEMS_ENGINEERING_ARM_LF.' + 'REPRESENTATION_RELATIONSHIP.' + 'REP_2')) | specific_relation IN TYPEOF(r)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_representation_relationship(x[i], relatives + relation.rep_1, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; FUNCTION bag_to_set (the_bag : BAG[0:?] OF GENERIC : intype) : SET[0:?] OF GENERIC : intype; LOCAL the_set : SET OF GENERIC:intype := []; i : INTEGER; END_LOCAL; IF SIZEOF(the_bag) > 0 THEN REPEAT i := 1 TO HIINDEX(the_bag); the_set := the_set + the_bag[i]; END_REPEAT; END_IF; RETURN (the_set); END_FUNCTION; FUNCTION CLASSOF (the_instance : GENERIC : ininst) : SET OF STRING; LOCAL result : SET OF STRING; classifications : BAG OF Classification_assignment; END_LOCAL; result := TYPEOF(the_instance); classifications := USEDIN(the_instance, 'AP233_SYSTEMS_ENGINEERING_ARM_LF.CLASSIFICATION_ASSIGNMENT.ITEMS'); REPEAT i := LOINDEX(classifications) TO HIINDEX(classifications); result := result + classifications[i].assigned_class.id; END_REPEAT; RETURN (result); END_FUNCTION; FUNCTION Is_Acyclic (arg : Generic_expression) : BOOLEAN; RETURN (Acyclic(arg, [])); END_FUNCTION; FUNCTION Is_int_expr (arg : Numeric_expression) : BOOLEAN; LOCAL i : INTEGER; END_LOCAL; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.INT_LITERAL' IN TYPEOF(arg) THEN RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.REAL_LITERAL' IN TYPEOF(arg) THEN RETURN (FALSE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.INT_NUMERIC_VARIABLE' IN TYPEOF(arg) THEN RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.REAL_NUMERIC_VARIABLE' IN TYPEOF(arg) THEN RETURN (FALSE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.ABS_FUNCTION' IN TYPEOF(arg) THEN RETURN (Is_int_expr(arg\Unary_numeric_expression.operand)); END_IF; IF 'NUMERIC_FUNCTION.MINUS_FUNCTION' IN TYPEOF(arg) THEN RETURN (Is_int_expr(arg\Unary_numeric_expression.operand)); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.SIN_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.COS_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.TAN_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.ASIN_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.ACOS_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.Atan_function' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.EXP_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.LOG_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.LOG2_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.LOG10_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.SQUARE_ROOT_FUNCTION' IN TYPEOF(arg)) THEN RETURN (FALSE); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.PLUS_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MULT_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MAXIMUM_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MINIMUM_FUNCTION' IN TYPEOF(arg)) THEN REPEAT i := 1 TO SIZEOF(arg\Multiple_arity_numeric_expression.operands); IF NOT Is_int_expr(arg\Multiple_arity_numeric_expression.operands[i]) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MINUS_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.POWER_EXPRESSION' IN TYPEOF(arg)) THEN RETURN (Is_int_expr(arg\Binary_numeric_expression.operands[1]) AND Is_int_expr(arg\Binary_numeric_expression.operands[2])); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.DIV_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MOD_EXPRESSION' IN TYPEOF(arg)) THEN RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.SLASH_EXPRESSION' IN TYPEOF(arg) THEN RETURN (FALSE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.LENGTH_FUNCTION' IN TYPEOF(arg) THEN RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.VALUE_FUNCTION' IN TYPEOF(arg) THEN IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.INT_VALUE_FUNCTION' IN TYPEOF(arg) THEN RETURN (TRUE); ELSE RETURN (FALSE); END_IF; END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.INTEGER_DEFINED_FUNCTION' IN TYPEOF(arg) THEN RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.REAL_DEFINED_FUNCTION' IN TYPEOF(arg) THEN RETURN (FALSE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.BOOLEAN_DEFINED_FUNCTION' IN TYPEOF(arg) THEN RETURN (FALSE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_DEFINED_FUNCTION' IN TYPEOF(arg) THEN RETURN (FALSE); END_IF; RETURN (FALSE); END_FUNCTION; FUNCTION Is_sql_mappable (arg : Expression) : BOOLEAN; LOCAL i : INTEGER; END_LOCAL; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.SIMPLE_NUMERIC_EXPRESSION' IN TYPEOF(arg) THEN RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.SQL_MAPPABLE_DEFINED_FUNCTION' IN TYPEOF(arg) THEN RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.MINUS_FUNCTION' IN TYPEOF(arg) THEN RETURN (Is_sql_mappable(arg\Unary_numeric_expression.operand)); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.ABS_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.SIN_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.COS_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.TAN_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.ASIN_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.ACOS_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.ATAN_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.EXP_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.LOG_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.LOG2_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.LOG10_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.SQUARE_ROOT_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.VALUE_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.LENGTH_FUNCTION' IN TYPEOF(arg)) THEN RETURN (FALSE); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.PLUS_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MULT_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MAXIMUM_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MAXIMUM_FUNCTION' IN TYPEOF(arg)) THEN REPEAT i := 1 TO SIZEOF(arg\Multiple_arity_numeric_expression.operands); IF NOT Is_sql_mappable(arg\Multiple_arity_numeric_expression.operands[i]) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MINUS_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.SLASH_EXPRESSION' IN TYPEOF(arg)) THEN RETURN (Is_sql_mappable(arg\Binary_numeric_expression.operands[1]) AND Is_sql_mappable(arg\Binary_numeric_expression.operands[2])); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.DIV_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.MOD_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.POWER_EXPRESSION' IN TYPEOF(arg)) THEN RETURN (FALSE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.SIMPLE_BOOLEAN_EXPRESSION' IN TYPEOF(arg) THEN RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.NOT_EXPRESSION' IN TYPEOF(arg) THEN RETURN (Is_sql_mappable(arg\Unary_generic_expression.operand)); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.ODD_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.XOR_EXPRESSION' IN TYPEOF(arg)) THEN RETURN (FALSE); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.AND_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.OR_EXPRESSION' IN TYPEOF(arg)) THEN REPEAT i := 1 TO SIZEOF(arg\Multiple_arity_boolean_expression.operands); IF NOT Is_sql_mappable(arg\Multiple_arity_boolean_expression.operands[i]) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.EQUALS_EXPRESSION' IN TYPEOF(arg) THEN RETURN (Is_sql_mappable(arg\Binary_generic_expression.operands[1]) AND Is_sql_mappable(arg\Binary_generic_expression.operands[2])); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.COMPARISON_EQUAL' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.COMPARISON_GREATER' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.COMPARISON_GREATER_EQUAL' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.COMPARISON_LESS' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.COMPARISON_LESS_EQUAL' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.COMPARISON_NOT_EQUAL' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.LIKE_EXPRESSION' IN TYPEOF(arg)) THEN RETURN (Is_sql_mappable(arg\Comparison_expression.operands[1]) AND Is_sql_mappable(arg\Comparison_expression.operands[2])); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.INTERVAL_EXPRESSION' IN TYPEOF(arg) THEN RETURN (Is_sql_mappable(arg\Interval_expression.interval_low) AND Is_sql_mappable(arg\Interval_expression.interval_high) AND Is_sql_mappable(arg\Interval_expression.interval_item)); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.NUMERIC_DEFINED_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.BOOLEAN_DEFINED_FUNCTION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.STRING_DEFINED_FUNCTION' IN TYPEOF(arg)) THEN RETURN (FALSE); END_IF; IF 'AP233_SYSTEMS_ENGINEERING_ARM_LF.SIMPLE_STRING_EXPRESSION' IN TYPEOF(arg) THEN RETURN (TRUE); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.INDEX_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.SUBSTRING_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.CONCAT_EXPRESSION' IN TYPEOF(arg)) OR ('AP233_SYSTEMS_ENGINEERING_ARM_LF.FORMAT_FUNCTION' IN TYPEOF(arg)) THEN RETURN (FALSE); END_IF; RETURN (FALSE); END_FUNCTION; FUNCTION spa_get_definition (input : Contextual_item_shape) : Product_view_definition; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.VIEW_DEFINITION_USAGE' IN TYPEOF(input\Item_shape.described_element)) THEN RETURN (input\Item_shape.described_element\View_definition_relationship.related_view); END_IF; IF ('AP233_SYSTEMS_ENGINEERING_ARM_LF.PRODUCT_OCCURRENCE_DEFINITION_RELATIONSHIP' IN TYPEOF(input\Item_shape.described_element)) THEN RETURN (input\Item_shape.described_element\Product_occurrence_definition_relationship.related_view); END_IF; RETURN (?); END_FUNCTION; END_SCHEMA; -- Ap233_systems_engineering_arm_LF