1112 lines
37 KiB
Text
1112 lines
37 KiB
Text
(* ISO TC184/SC4/WG3 N1299
|
|
Supporting document for:
|
|
ISO/FDIS 15926-2:2003
|
|
|
|
Industrial automation systems and integration --
|
|
Integration of life-cycle data for process plants including oil and
|
|
gas production facilities --
|
|
Part 2: Data model
|
|
|
|
Date: 2003-04-17
|
|
*)
|
|
|
|
(* This file was generated by exppp (an EXPRESS Pretty Printer)
|
|
written at the National Institute of Standards and Technology
|
|
by Don Libes, February 19, 1993.
|
|
|
|
WARNING: If you modify this file and want to save the changes,
|
|
delete this comment block or else the file will be rewritten
|
|
the next time exppp processes this schema. *)
|
|
|
|
SCHEMA lifecycle_integration_schema;
|
|
|
|
ENTITY abstract_object
|
|
ABSTRACT SUPERTYPE
|
|
SUBTYPE OF (thing);
|
|
END_ENTITY; -- abstract_object
|
|
|
|
ENTITY activity
|
|
SUBTYPE OF (possible_individual);
|
|
END_ENTITY; -- activity
|
|
|
|
ENTITY actual_individual
|
|
SUBTYPE OF (possible_individual);
|
|
END_ENTITY; -- actual_individual
|
|
|
|
ENTITY approval
|
|
SUBTYPE OF (relationship);
|
|
approved : relationship;
|
|
approver : possible_individual;
|
|
END_ENTITY; -- approval
|
|
|
|
ENTITY arithmetic_number
|
|
SUPERTYPE OF (ONEOF (real_number,integer_number,
|
|
multidimensional_number))
|
|
SUBTYPE OF (class_of_class);
|
|
END_ENTITY; -- arithmetic_number
|
|
|
|
ENTITY arranged_individual
|
|
SUBTYPE OF (possible_individual);
|
|
END_ENTITY; -- arranged_individual
|
|
|
|
ENTITY arrangement_of_individual
|
|
SUPERTYPE OF (ONEOF (assembly_of_individual,feature_whole_part))
|
|
SUBTYPE OF (composition_of_individual);
|
|
SELF\composition_of_individual.whole : arranged_individual;
|
|
END_ENTITY; -- arrangement_of_individual
|
|
|
|
ENTITY assembly_of_individual
|
|
SUBTYPE OF (arrangement_of_individual);
|
|
END_ENTITY; -- assembly_of_individual
|
|
|
|
ENTITY beginning
|
|
SUBTYPE OF (temporal_bounding);
|
|
END_ENTITY; -- beginning
|
|
|
|
ENTITY boundary_of_number_space
|
|
SUBTYPE OF (specialization);
|
|
SELF\specialization.subclass : number_space;
|
|
SELF\specialization.superclass : number_space;
|
|
END_ENTITY; -- boundary_of_number_space
|
|
|
|
ENTITY boundary_of_property_space
|
|
SUBTYPE OF (specialization);
|
|
SELF\specialization.subclass : property_space;
|
|
SELF\specialization.superclass : property_space;
|
|
END_ENTITY; -- boundary_of_property_space
|
|
|
|
ENTITY cardinality
|
|
SUBTYPE OF (class);
|
|
maximum_cardinality : OPTIONAL INTEGER;
|
|
minimum_cardinality : OPTIONAL INTEGER;
|
|
END_ENTITY; -- cardinality
|
|
|
|
ENTITY cause_of_event
|
|
SUBTYPE OF (relationship);
|
|
caused : event;
|
|
causer : activity;
|
|
END_ENTITY; -- cause_of_event
|
|
|
|
ENTITY class
|
|
SUPERTYPE OF (role_and_domain ANDOR cardinality ANDOR ONEOF (
|
|
class_of_individual,class_of_abstract_object))
|
|
SUBTYPE OF (abstract_object);
|
|
END_ENTITY; -- class
|
|
|
|
ENTITY class_of_abstract_object
|
|
ABSTRACT SUPERTYPE
|
|
SUBTYPE OF (class);
|
|
END_ENTITY; -- class_of_abstract_object
|
|
|
|
ENTITY class_of_activity
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_activity
|
|
|
|
ENTITY class_of_approval
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_approved : class_of_relationship;
|
|
class_of_approver : class_of_individual;
|
|
END_ENTITY; -- class_of_approval
|
|
|
|
ENTITY class_of_approval_by_status
|
|
SUBTYPE OF (class_of_relationship);
|
|
END_ENTITY; -- class_of_approval_by_status
|
|
|
|
ENTITY class_of_arranged_individual
|
|
SUPERTYPE OF (ONEOF (class_of_atom,class_of_biological_matter,
|
|
class_of_composite_material,class_of_compound,
|
|
class_of_functional_object,class_of_information_presentation,
|
|
class_of_information_representation,class_of_molecule,
|
|
class_of_particulate_material,class_of_sub_atomic_particle,
|
|
crystalline_structure,phase) ANDOR class_of_organization ANDOR
|
|
class_of_activity ANDOR class_of_information_object ANDOR
|
|
class_of_feature ANDOR ONEOF (class_of_organism,
|
|
class_of_inanimate_physical_object))
|
|
SUBTYPE OF (class_of_individual);
|
|
END_ENTITY; -- class_of_arranged_individual
|
|
|
|
ENTITY class_of_arrangement_of_individual
|
|
SUPERTYPE OF (ONEOF (class_of_feature_whole_part,
|
|
class_of_assembly_of_individual,namespace))
|
|
SUBTYPE OF (class_of_composition_of_individual);
|
|
SELF\class_of_composition_of_individual.class_of_whole : class_of_arranged_individual;
|
|
END_ENTITY; -- class_of_arrangement_of_individual
|
|
|
|
ENTITY class_of_assembly_of_individual
|
|
SUBTYPE OF (class_of_arrangement_of_individual);
|
|
END_ENTITY; -- class_of_assembly_of_individual
|
|
|
|
ENTITY class_of_assertion
|
|
SUBTYPE OF (class_of_relationship);
|
|
END_ENTITY; -- class_of_assertion
|
|
|
|
ENTITY class_of_atom
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_atom
|
|
|
|
ENTITY class_of_biological_matter
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_biological_matter
|
|
|
|
ENTITY class_of_cause_of_beginning_of_class_of_individual
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_begun : class_of_individual;
|
|
class_of_causer : class_of_activity;
|
|
END_ENTITY; -- class_of_cause_of_beginning_of_class_of_individual
|
|
|
|
ENTITY class_of_cause_of_ending_of_class_of_individual
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_causer : class_of_activity;
|
|
class_of_ended : class_of_individual;
|
|
END_ENTITY; -- class_of_cause_of_ending_of_class_of_individual
|
|
|
|
ENTITY class_of_class
|
|
SUPERTYPE OF (ONEOF (arithmetic_number,class_of_class_of_individual,
|
|
class_of_class_of_relationship,class_of_number,
|
|
class_of_property_space,class_of_shape_dimension) ANDOR
|
|
enumerated_set_of_class)
|
|
SUBTYPE OF (class_of_abstract_object);
|
|
END_ENTITY; -- class_of_class
|
|
|
|
ENTITY class_of_class_of_composition
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
class_of_class_of_part : class_of_class_of_individual;
|
|
class_of_class_of_whole : class_of_class_of_individual;
|
|
END_ENTITY; -- class_of_class_of_composition
|
|
|
|
ENTITY class_of_class_of_definition
|
|
SUBTYPE OF (class_of_class_of_representation);
|
|
END_ENTITY; -- class_of_class_of_definition
|
|
|
|
ENTITY class_of_class_of_description
|
|
SUBTYPE OF (class_of_class_of_representation);
|
|
END_ENTITY; -- class_of_class_of_description
|
|
|
|
ENTITY class_of_class_of_identification
|
|
SUBTYPE OF (class_of_class_of_representation);
|
|
END_ENTITY; -- class_of_class_of_identification
|
|
|
|
ENTITY class_of_class_of_individual
|
|
SUPERTYPE OF (ONEOF (class_of_class_of_information_representation,
|
|
class_of_property,class_of_status,shape_dimension))
|
|
SUBTYPE OF (class_of_class);
|
|
END_ENTITY; -- class_of_class_of_individual
|
|
|
|
ENTITY class_of_class_of_information_representation
|
|
SUPERTYPE OF (ONEOF (representation_form,language,document_definition))
|
|
SUBTYPE OF (class_of_class_of_individual);
|
|
END_ENTITY; -- class_of_class_of_information_representation
|
|
|
|
ENTITY class_of_class_of_relationship
|
|
SUPERTYPE OF (ONEOF (class_of_class_of_composition,
|
|
class_of_class_of_relationship_with_signature,
|
|
class_of_class_of_representation,
|
|
class_of_class_of_representation_translation,
|
|
class_of_class_of_responsibility_for_representation,
|
|
class_of_class_of_usage_of_representation,
|
|
class_of_dimension_for_shape,class_of_namespace,class_of_scale,
|
|
dimension_of_shape,property_space_for_class_of_shape_dimension))
|
|
SUBTYPE OF (class_of_class);
|
|
END_ENTITY; -- class_of_class_of_relationship
|
|
|
|
ENTITY class_of_class_of_relationship_with_signature
|
|
SUBTYPE OF (class_of_class_of_relationship,
|
|
class_of_relationship_with_signature);
|
|
END_ENTITY; -- class_of_class_of_relationship_with_signature
|
|
|
|
ENTITY class_of_class_of_representation
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
class_of_pattern : class_of_class_of_information_representation;
|
|
class_of_represented : class;
|
|
END_ENTITY; -- class_of_class_of_representation
|
|
|
|
ENTITY class_of_class_of_representation_translation
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
class_of_first : class_of_class_of_information_representation;
|
|
class_of_second : class_of_class_of_information_representation;
|
|
END_ENTITY; -- class_of_class_of_representation_translation
|
|
|
|
ENTITY class_of_class_of_responsibility_for_representation
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
class_of_class_of_controlled : class_of_class_of_representation;
|
|
controller : possible_individual;
|
|
END_ENTITY; -- class_of_class_of_responsibility_for_representation
|
|
|
|
ENTITY class_of_class_of_usage_of_representation
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
class_of_class_of_used : class_of_class_of_representation;
|
|
user : possible_individual;
|
|
END_ENTITY; -- class_of_class_of_usage_of_representation
|
|
|
|
ENTITY class_of_classification
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_classified : class;
|
|
class_of_classifier : class_of_class;
|
|
END_ENTITY; -- class_of_classification
|
|
|
|
ENTITY class_of_composite_material
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_composite_material
|
|
|
|
ENTITY class_of_composition_of_individual
|
|
SUPERTYPE OF (ONEOF (class_of_arrangement_of_individual,
|
|
class_of_temporal_whole_part,class_of_participation))
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_part : class_of_individual;
|
|
class_of_whole : class_of_individual;
|
|
END_ENTITY; -- class_of_composition_of_individual
|
|
|
|
ENTITY class_of_compound
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_compound
|
|
|
|
ENTITY class_of_connection_of_individual
|
|
ABSTRACT SUPERTYPE OF (ONEOF (class_of_direct_connection,
|
|
class_of_indirect_connection))
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_side_1 : class_of_individual;
|
|
class_of_side_2 : class_of_individual;
|
|
END_ENTITY; -- class_of_connection_of_individual
|
|
|
|
ENTITY class_of_containment_of_individual
|
|
SUBTYPE OF (class_of_relative_location);
|
|
END_ENTITY; -- class_of_containment_of_individual
|
|
|
|
ENTITY class_of_definition
|
|
SUBTYPE OF (class_of_representation_of_thing);
|
|
SELF\class_of_representation_of_thing.represented : class;
|
|
END_ENTITY; -- class_of_definition
|
|
|
|
ENTITY class_of_description
|
|
SUBTYPE OF (class_of_representation_of_thing);
|
|
END_ENTITY; -- class_of_description
|
|
|
|
ENTITY class_of_dimension_for_shape
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
class_of_dimension : class_of_shape_dimension;
|
|
class_of_shape : class_of_shape;
|
|
END_ENTITY; -- class_of_dimension_for_shape
|
|
|
|
ENTITY class_of_direct_connection
|
|
SUBTYPE OF (class_of_connection_of_individual);
|
|
END_ENTITY; -- class_of_direct_connection
|
|
|
|
ENTITY class_of_event
|
|
SUBTYPE OF (class_of_individual);
|
|
END_ENTITY; -- class_of_event
|
|
|
|
ENTITY class_of_express_information_representation
|
|
ABSTRACT SUPERTYPE OF (ONEOF (express_string,express_integer,
|
|
express_real,express_logical,express_boolean,express_binary))
|
|
SUBTYPE OF (class_of_information_representation);
|
|
END_ENTITY; -- class_of_express_information_representation
|
|
|
|
ENTITY class_of_feature
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_feature
|
|
|
|
ENTITY class_of_feature_whole_part
|
|
SUBTYPE OF (class_of_arrangement_of_individual);
|
|
END_ENTITY; -- class_of_feature_whole_part
|
|
|
|
ENTITY class_of_functional_mapping
|
|
SUBTYPE OF (class_of_relationship);
|
|
codomain : class;
|
|
domain : class;
|
|
END_ENTITY; -- class_of_functional_mapping
|
|
|
|
ENTITY class_of_functional_object
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_functional_object
|
|
|
|
ENTITY class_of_identification
|
|
SUBTYPE OF (class_of_representation_of_thing);
|
|
END_ENTITY; -- class_of_identification
|
|
|
|
ENTITY class_of_inanimate_physical_object
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_inanimate_physical_object
|
|
|
|
ENTITY class_of_indirect_connection
|
|
SUBTYPE OF (class_of_connection_of_individual);
|
|
END_ENTITY; -- class_of_indirect_connection
|
|
|
|
ENTITY class_of_indirect_property
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_possessor : class_of_individual;
|
|
property_space : property_space;
|
|
END_ENTITY; -- class_of_indirect_property
|
|
|
|
ENTITY class_of_individual
|
|
SUPERTYPE OF (ONEOF (class_of_event,class_of_arranged_individual,
|
|
class_of_period_in_time,individual_dimension,property,status) ANDOR
|
|
participating_role_and_domain)
|
|
SUBTYPE OF (class);
|
|
END_ENTITY; -- class_of_individual
|
|
|
|
ENTITY class_of_individual_used_in_connection
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_connection : class_of_connection_of_individual;
|
|
class_of_usage : class_of_individual;
|
|
END_ENTITY; -- class_of_individual_used_in_connection
|
|
|
|
ENTITY class_of_information_object
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_information_object
|
|
|
|
ENTITY class_of_information_presentation
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_information_presentation
|
|
|
|
ENTITY class_of_information_representation
|
|
SUPERTYPE OF (ONEOF (class_of_express_information_representation,
|
|
representation_of_gregorian_date_and_utc_time))
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_information_representation
|
|
|
|
ENTITY class_of_intended_role_and_domain
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_player : class_of_individual;
|
|
played : role_and_domain;
|
|
END_ENTITY; -- class_of_intended_role_and_domain
|
|
|
|
ENTITY class_of_involvement_by_reference
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_involved : role_and_domain;
|
|
class_of_involver : class_of_activity;
|
|
END_ENTITY; -- class_of_involvement_by_reference
|
|
|
|
ENTITY class_of_isomorphic_functional_mapping
|
|
SUPERTYPE OF (ONEOF (scale,class_of_scale_conversion))
|
|
SUBTYPE OF (class_of_functional_mapping);
|
|
END_ENTITY; -- class_of_isomorphic_functional_mapping
|
|
|
|
ENTITY class_of_left_namespace
|
|
SUBTYPE OF (class_of_namespace);
|
|
END_ENTITY; -- class_of_left_namespace
|
|
|
|
ENTITY class_of_lifecycle_stage
|
|
SUBTYPE OF (class_of_relationship);
|
|
END_ENTITY; -- class_of_lifecycle_stage
|
|
|
|
ENTITY class_of_molecule
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_molecule
|
|
|
|
ENTITY class_of_multidimensional_object
|
|
SUBTYPE OF (class_of_abstract_object);
|
|
cardinalities : OPTIONAL LIST [1:?] OF cardinality;
|
|
optional_element : LIST [1:?] OF BOOLEAN;
|
|
parameters : OPTIONAL LIST [1:?] OF thing;
|
|
parameter_position : OPTIONAL LIST [1:?] OF INTEGER;
|
|
roles : LIST [1:?] OF role_and_domain;
|
|
END_ENTITY; -- class_of_multidimensional_object
|
|
|
|
ENTITY class_of_namespace
|
|
SUPERTYPE OF (ONEOF (class_of_left_namespace,class_of_right_namespace))
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
class_of_class_of_whole : class_of_class_of_information_representation;
|
|
class_of_part : class_of_information_representation;
|
|
END_ENTITY; -- class_of_namespace
|
|
|
|
ENTITY class_of_number
|
|
SUPERTYPE OF (ONEOF (number_space,enumerated_number_set))
|
|
SUBTYPE OF (class_of_class);
|
|
END_ENTITY; -- class_of_number
|
|
|
|
ENTITY class_of_organism
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_organism
|
|
|
|
ENTITY class_of_organization
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_organization
|
|
|
|
ENTITY class_of_participation
|
|
SUBTYPE OF (class_of_composition_of_individual);
|
|
SELF\class_of_composition_of_individual.class_of_part : participating_role_and_domain;
|
|
SELF\class_of_composition_of_individual.class_of_whole : class_of_activity;
|
|
END_ENTITY; -- class_of_participation
|
|
|
|
ENTITY class_of_particulate_material
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_particulate_material
|
|
|
|
ENTITY class_of_period_in_time
|
|
SUBTYPE OF (class_of_individual);
|
|
END_ENTITY; -- class_of_period_in_time
|
|
|
|
ENTITY class_of_person
|
|
SUBTYPE OF (class_of_organism);
|
|
END_ENTITY; -- class_of_person
|
|
|
|
ENTITY class_of_point_in_time
|
|
SUBTYPE OF (class_of_event);
|
|
END_ENTITY; -- class_of_point_in_time
|
|
|
|
ENTITY class_of_possible_role_and_domain
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_player : class_of_individual;
|
|
played : role_and_domain;
|
|
END_ENTITY; -- class_of_possible_role_and_domain
|
|
|
|
ENTITY class_of_property
|
|
SUPERTYPE OF (ONEOF (property_space,enumerated_property_set))
|
|
SUBTYPE OF (class_of_class_of_individual);
|
|
END_ENTITY; -- class_of_property
|
|
|
|
ENTITY class_of_property_space
|
|
SUBTYPE OF (class_of_class);
|
|
END_ENTITY; -- class_of_property_space
|
|
|
|
ENTITY class_of_recognition
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_recognized : class;
|
|
class_of_recognizing : class_of_activity;
|
|
END_ENTITY; -- class_of_recognition
|
|
|
|
ENTITY class_of_relationship
|
|
SUPERTYPE OF (ONEOF (class_of_approval,class_of_approval_by_status,
|
|
class_of_cause_of_beginning_of_class_of_individual,
|
|
class_of_cause_of_ending_of_class_of_individual,
|
|
class_of_classification,class_of_composition_of_individual,
|
|
class_of_connection_of_individual,class_of_functional_mapping,
|
|
class_of_indirect_property,class_of_individual_used_in_connection,
|
|
class_of_intended_role_and_domain,class_of_involvement_by_reference,
|
|
class_of_lifecycle_stage,class_of_assertion,
|
|
class_of_possible_role_and_domain,class_of_recognition,
|
|
class_of_relationship_with_signature,class_of_relative_location,
|
|
class_of_representation_of_thing,
|
|
class_of_representation_translation,
|
|
class_of_responsibility_for_representation,class_of_specialization,
|
|
class_of_temporal_sequence,class_of_usage_of_representation,
|
|
dimension_of_individual,property_for_shape_dimension) ANDOR ONEOF (
|
|
class_of_relationship_with_related_end_1,
|
|
class_of_relationship_with_related_end_2))
|
|
SUBTYPE OF (class_of_abstract_object);
|
|
end_1_cardinality : OPTIONAL cardinality;
|
|
end_2_cardinality : OPTIONAL cardinality;
|
|
END_ENTITY; -- class_of_relationship
|
|
|
|
ENTITY class_of_relationship_with_related_end_1
|
|
SUBTYPE OF (class_of_relationship);
|
|
related : thing;
|
|
END_ENTITY; -- class_of_relationship_with_related_end_1
|
|
|
|
ENTITY class_of_relationship_with_related_end_2
|
|
SUBTYPE OF (class_of_relationship);
|
|
related : thing;
|
|
END_ENTITY; -- class_of_relationship_with_related_end_2
|
|
|
|
ENTITY class_of_relationship_with_signature
|
|
SUBTYPE OF (class_of_relationship, relationship);
|
|
class_of_end_1 : OPTIONAL role_and_domain;
|
|
class_of_end_2 : OPTIONAL role_and_domain;
|
|
END_ENTITY; -- class_of_relationship_with_signature
|
|
|
|
ENTITY class_of_relative_location
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_located : class_of_individual;
|
|
class_of_locator : class_of_individual;
|
|
END_ENTITY; -- class_of_relative_location
|
|
|
|
ENTITY class_of_representation_of_thing
|
|
SUBTYPE OF (class_of_relationship);
|
|
pattern : class_of_information_representation;
|
|
represented : thing;
|
|
END_ENTITY; -- class_of_representation_of_thing
|
|
|
|
ENTITY class_of_representation_translation
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_first : class_of_information_representation;
|
|
class_of_second : class_of_information_representation;
|
|
END_ENTITY; -- class_of_representation_translation
|
|
|
|
ENTITY class_of_responsibility_for_representation
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_controlled : class_of_representation_of_thing;
|
|
controller : possible_individual;
|
|
END_ENTITY; -- class_of_responsibility_for_representation
|
|
|
|
ENTITY class_of_right_namespace
|
|
SUBTYPE OF (class_of_namespace);
|
|
END_ENTITY; -- class_of_right_namespace
|
|
|
|
ENTITY class_of_scale
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
END_ENTITY; -- class_of_scale
|
|
|
|
ENTITY class_of_scale_conversion
|
|
SUBTYPE OF (class_of_isomorphic_functional_mapping);
|
|
SELF\class_of_functional_mapping.codomain : scale;
|
|
SELF\class_of_functional_mapping.domain : scale;
|
|
END_ENTITY; -- class_of_scale_conversion
|
|
|
|
ENTITY class_of_shape
|
|
SUBTYPE OF (property_space);
|
|
END_ENTITY; -- class_of_shape
|
|
|
|
ENTITY class_of_shape_dimension
|
|
SUBTYPE OF (class_of_class);
|
|
END_ENTITY; -- class_of_shape_dimension
|
|
|
|
ENTITY class_of_specialization
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_subclass : class_of_class;
|
|
class_of_superclass : class_of_class;
|
|
END_ENTITY; -- class_of_specialization
|
|
|
|
ENTITY class_of_status
|
|
SUBTYPE OF (class_of_class_of_individual);
|
|
END_ENTITY; -- class_of_status
|
|
|
|
ENTITY class_of_sub_atomic_particle
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- class_of_sub_atomic_particle
|
|
|
|
ENTITY class_of_temporal_sequence
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_predecessor : class_of_individual;
|
|
class_of_successor : class_of_individual;
|
|
END_ENTITY; -- class_of_temporal_sequence
|
|
|
|
ENTITY class_of_temporal_whole_part
|
|
SUBTYPE OF (class_of_composition_of_individual);
|
|
END_ENTITY; -- class_of_temporal_whole_part
|
|
|
|
ENTITY class_of_usage_of_representation
|
|
SUBTYPE OF (class_of_relationship);
|
|
class_of_used : class_of_representation_of_thing;
|
|
user : possible_individual;
|
|
END_ENTITY; -- class_of_usage_of_representation
|
|
|
|
ENTITY classification
|
|
SUBTYPE OF (relationship);
|
|
classified : thing;
|
|
classifier : class;
|
|
END_ENTITY; -- classification
|
|
|
|
ENTITY comparison_of_property
|
|
SUBTYPE OF (relationship);
|
|
greater_element : property;
|
|
lesser_element : property;
|
|
END_ENTITY; -- comparison_of_property
|
|
|
|
ENTITY composition_of_individual
|
|
SUPERTYPE OF (ONEOF (arrangement_of_individual,temporal_whole_part,
|
|
participation,temporal_bounding))
|
|
SUBTYPE OF (relationship);
|
|
part : possible_individual;
|
|
whole : possible_individual;
|
|
END_ENTITY; -- composition_of_individual
|
|
|
|
ENTITY connection_of_individual
|
|
SUPERTYPE OF (ONEOF (direct_connection,indirect_connection))
|
|
SUBTYPE OF (relationship);
|
|
side_1 : possible_individual;
|
|
side_2 : possible_individual;
|
|
END_ENTITY; -- connection_of_individual
|
|
|
|
ENTITY containment_of_individual
|
|
SUBTYPE OF (relative_location);
|
|
END_ENTITY; -- containment_of_individual
|
|
|
|
ENTITY coordinate_system
|
|
SUBTYPE OF (multidimensional_scale);
|
|
END_ENTITY; -- coordinate_system
|
|
|
|
ENTITY crystalline_structure
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- crystalline_structure
|
|
|
|
ENTITY definition
|
|
SUBTYPE OF (representation_of_thing);
|
|
SELF\representation_of_thing.represented : class;
|
|
END_ENTITY; -- definition
|
|
|
|
ENTITY description
|
|
SUBTYPE OF (representation_of_thing);
|
|
END_ENTITY; -- description
|
|
|
|
ENTITY difference_of_set_of_class
|
|
SUBTYPE OF (functional_mapping);
|
|
SELF\functional_mapping.input : enumerated_set_of_class;
|
|
SELF\functional_mapping.result : class;
|
|
END_ENTITY; -- difference_of_set_of_class
|
|
|
|
ENTITY dimension_of_individual
|
|
SUBTYPE OF (class_of_relationship);
|
|
individual : possible_individual;
|
|
individual_dimension : individual_dimension;
|
|
END_ENTITY; -- dimension_of_individual
|
|
|
|
ENTITY dimension_of_shape
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
dimension : shape_dimension;
|
|
shape : shape;
|
|
END_ENTITY; -- dimension_of_shape
|
|
|
|
ENTITY direct_connection
|
|
SUBTYPE OF (connection_of_individual);
|
|
END_ENTITY; -- direct_connection
|
|
|
|
ENTITY document_definition
|
|
SUBTYPE OF (class_of_class_of_information_representation);
|
|
END_ENTITY; -- document_definition
|
|
|
|
ENTITY ending
|
|
SUBTYPE OF (temporal_bounding);
|
|
END_ENTITY; -- ending
|
|
|
|
ENTITY enumerated_number_set
|
|
SUBTYPE OF (class_of_number, enumerated_set_of_class);
|
|
END_ENTITY; -- enumerated_number_set
|
|
|
|
ENTITY enumerated_property_set
|
|
SUBTYPE OF (class_of_property, enumerated_set_of_class);
|
|
END_ENTITY; -- enumerated_property_set
|
|
|
|
ENTITY enumerated_set_of_class
|
|
SUBTYPE OF (class_of_class);
|
|
END_ENTITY; -- enumerated_set_of_class
|
|
|
|
ENTITY event
|
|
SUBTYPE OF (possible_individual);
|
|
END_ENTITY; -- event
|
|
|
|
ENTITY express_binary
|
|
SUBTYPE OF (class_of_express_information_representation);
|
|
content : BINARY;
|
|
UNIQUE
|
|
rule_1 : content;
|
|
END_ENTITY; -- express_binary
|
|
|
|
ENTITY express_boolean
|
|
SUBTYPE OF (class_of_express_information_representation);
|
|
content : BOOLEAN;
|
|
UNIQUE
|
|
rule_1 : content;
|
|
END_ENTITY; -- express_boolean
|
|
|
|
ENTITY express_integer
|
|
SUBTYPE OF (class_of_express_information_representation);
|
|
content : INTEGER;
|
|
UNIQUE
|
|
rule_1 : content;
|
|
END_ENTITY; -- express_integer
|
|
|
|
ENTITY express_logical
|
|
SUBTYPE OF (class_of_express_information_representation);
|
|
content : LOGICAL;
|
|
UNIQUE
|
|
rule_1 : content;
|
|
END_ENTITY; -- express_logical
|
|
|
|
ENTITY express_real
|
|
SUBTYPE OF (class_of_express_information_representation);
|
|
content : REAL;
|
|
UNIQUE
|
|
rule_1 : content;
|
|
END_ENTITY; -- express_real
|
|
|
|
ENTITY express_string
|
|
SUBTYPE OF (class_of_express_information_representation);
|
|
content : STRING;
|
|
UNIQUE
|
|
rule_1 : content;
|
|
END_ENTITY; -- express_string
|
|
|
|
ENTITY feature_whole_part
|
|
SUBTYPE OF (arrangement_of_individual);
|
|
END_ENTITY; -- feature_whole_part
|
|
|
|
ENTITY functional_mapping
|
|
SUBTYPE OF (relationship);
|
|
input : thing;
|
|
result : thing;
|
|
END_ENTITY; -- functional_mapping
|
|
|
|
ENTITY functional_physical_object
|
|
SUBTYPE OF (physical_object);
|
|
END_ENTITY; -- functional_physical_object
|
|
|
|
ENTITY identification
|
|
SUBTYPE OF (representation_of_thing);
|
|
END_ENTITY; -- identification
|
|
|
|
ENTITY indirect_connection
|
|
SUBTYPE OF (connection_of_individual);
|
|
END_ENTITY; -- indirect_connection
|
|
|
|
ENTITY indirect_property
|
|
SUBTYPE OF (relationship);
|
|
possessor : possible_individual;
|
|
property : property;
|
|
END_ENTITY; -- indirect_property
|
|
|
|
ENTITY individual_dimension
|
|
SUBTYPE OF (class_of_individual);
|
|
END_ENTITY; -- individual_dimension
|
|
|
|
ENTITY individual_used_in_connection
|
|
SUBTYPE OF (relationship);
|
|
connection : connection_of_individual;
|
|
usage : possible_individual;
|
|
END_ENTITY; -- individual_used_in_connection
|
|
|
|
ENTITY integer_number
|
|
SUBTYPE OF (arithmetic_number);
|
|
END_ENTITY; -- integer_number
|
|
|
|
ENTITY intended_role_and_domain
|
|
SUBTYPE OF (relationship);
|
|
played : role_and_domain;
|
|
player : possible_individual;
|
|
END_ENTITY; -- intended_role_and_domain
|
|
|
|
ENTITY intersection_of_set_of_class
|
|
SUBTYPE OF (functional_mapping);
|
|
SELF\functional_mapping.input : enumerated_set_of_class;
|
|
SELF\functional_mapping.result : class;
|
|
END_ENTITY; -- intersection_of_set_of_class
|
|
|
|
ENTITY involvement_by_reference
|
|
SUBTYPE OF (relationship);
|
|
involved : thing;
|
|
involver : activity;
|
|
END_ENTITY; -- involvement_by_reference
|
|
|
|
ENTITY language
|
|
SUBTYPE OF (class_of_class_of_information_representation);
|
|
END_ENTITY; -- language
|
|
|
|
ENTITY left_namespace
|
|
SUBTYPE OF (namespace);
|
|
END_ENTITY; -- left_namespace
|
|
|
|
ENTITY lifecycle_stage
|
|
SUBTYPE OF (relationship);
|
|
interest : possible_individual;
|
|
interested : possible_individual;
|
|
END_ENTITY; -- lifecycle_stage
|
|
|
|
ENTITY lower_bound_of_number_range
|
|
SUBTYPE OF (classification);
|
|
SELF\classification.classified : arithmetic_number;
|
|
SELF\classification.classifier : number_range;
|
|
END_ENTITY; -- lower_bound_of_number_range
|
|
|
|
ENTITY lower_bound_of_property_range
|
|
SUBTYPE OF (classification);
|
|
SELF\classification.classified : property;
|
|
SELF\classification.classifier : property_range;
|
|
END_ENTITY; -- lower_bound_of_property_range
|
|
|
|
ENTITY materialized_physical_object
|
|
SUBTYPE OF (physical_object);
|
|
END_ENTITY; -- materialized_physical_object
|
|
|
|
ENTITY multidimensional_number
|
|
SUBTYPE OF (arithmetic_number, multidimensional_object);
|
|
END_ENTITY; -- multidimensional_number
|
|
|
|
ENTITY multidimensional_number_space
|
|
SUBTYPE OF (number_space, multidimensional_object);
|
|
END_ENTITY; -- multidimensional_number_space
|
|
|
|
ENTITY multidimensional_object
|
|
SUPERTYPE OF (ONEOF (multidimensional_property_space,
|
|
multidimensional_number,multidimensional_property,
|
|
multidimensional_number_space,multidimensional_scale))
|
|
SUBTYPE OF (abstract_object);
|
|
elements : LIST [1:?] OF thing;
|
|
position : OPTIONAL LIST [1:?] OF INTEGER;
|
|
END_ENTITY; -- multidimensional_object
|
|
|
|
ENTITY multidimensional_property
|
|
SUBTYPE OF (property, multidimensional_object);
|
|
END_ENTITY; -- multidimensional_property
|
|
|
|
ENTITY multidimensional_property_space
|
|
SUBTYPE OF (property_space, multidimensional_object);
|
|
END_ENTITY; -- multidimensional_property_space
|
|
|
|
ENTITY multidimensional_scale
|
|
SUBTYPE OF (scale, multidimensional_object);
|
|
END_ENTITY; -- multidimensional_scale
|
|
|
|
ENTITY namespace
|
|
ABSTRACT SUPERTYPE OF (ONEOF (right_namespace,left_namespace))
|
|
SUBTYPE OF (class_of_arrangement_of_individual);
|
|
SELF\class_of_composition_of_individual.class_of_part : class_of_information_representation;
|
|
SELF\class_of_arrangement_of_individual.class_of_whole : class_of_information_representation;
|
|
END_ENTITY; -- namespace
|
|
|
|
ENTITY number_range
|
|
SUBTYPE OF (number_space);
|
|
END_ENTITY; -- number_range
|
|
|
|
ENTITY number_space
|
|
SUPERTYPE OF (ONEOF (number_range,multidimensional_number_space))
|
|
SUBTYPE OF (class_of_number);
|
|
END_ENTITY; -- number_space
|
|
|
|
ENTITY other_relationship
|
|
SUBTYPE OF (relationship);
|
|
end_1 : thing;
|
|
end_2 : thing;
|
|
END_ENTITY; -- other_relationship
|
|
|
|
ENTITY participating_role_and_domain
|
|
SUBTYPE OF (role_and_domain, class_of_individual);
|
|
END_ENTITY; -- participating_role_and_domain
|
|
|
|
ENTITY participation
|
|
SUBTYPE OF (composition_of_individual);
|
|
SELF\composition_of_individual.whole : activity;
|
|
END_ENTITY; -- participation
|
|
|
|
ENTITY period_in_time
|
|
SUBTYPE OF (possible_individual);
|
|
END_ENTITY; -- period_in_time
|
|
|
|
ENTITY phase
|
|
SUBTYPE OF (class_of_arranged_individual);
|
|
END_ENTITY; -- phase
|
|
|
|
ENTITY physical_object
|
|
SUBTYPE OF (possible_individual);
|
|
END_ENTITY; -- physical_object
|
|
|
|
ENTITY point_in_time
|
|
SUBTYPE OF (event);
|
|
END_ENTITY; -- point_in_time
|
|
|
|
ENTITY possible_individual
|
|
SUBTYPE OF (thing);
|
|
END_ENTITY; -- possible_individual
|
|
|
|
ENTITY possible_role_and_domain
|
|
SUBTYPE OF (relationship);
|
|
played : role_and_domain;
|
|
player : possible_individual;
|
|
END_ENTITY; -- possible_role_and_domain
|
|
|
|
ENTITY property
|
|
SUBTYPE OF (class_of_individual);
|
|
END_ENTITY; -- property
|
|
|
|
ENTITY property_for_shape_dimension
|
|
SUBTYPE OF (class_of_relationship);
|
|
property : property;
|
|
shape_dimension : shape_dimension;
|
|
END_ENTITY; -- property_for_shape_dimension
|
|
|
|
ENTITY property_quantification
|
|
SUBTYPE OF (functional_mapping);
|
|
SELF\functional_mapping.input : property;
|
|
SELF\functional_mapping.result : arithmetic_number;
|
|
END_ENTITY; -- property_quantification
|
|
|
|
ENTITY property_range
|
|
SUBTYPE OF (property_space);
|
|
END_ENTITY; -- property_range
|
|
|
|
ENTITY property_space
|
|
SUBTYPE OF (class_of_property);
|
|
END_ENTITY; -- property_space
|
|
|
|
ENTITY property_space_for_class_of_shape_dimension
|
|
SUBTYPE OF (class_of_class_of_relationship);
|
|
class_of_shape_dimension : class_of_shape_dimension;
|
|
property_space : property_space;
|
|
END_ENTITY; -- property_space_for_class_of_shape_dimension
|
|
|
|
ENTITY real_number
|
|
SUBTYPE OF (arithmetic_number);
|
|
END_ENTITY; -- real_number
|
|
|
|
ENTITY recognition
|
|
SUBTYPE OF (relationship);
|
|
recognized : thing;
|
|
recognizing : activity;
|
|
END_ENTITY; -- recognition
|
|
|
|
ENTITY relationship
|
|
ABSTRACT SUPERTYPE OF (ONEOF (approval,cause_of_event,
|
|
class_of_relationship_with_signature,classification,
|
|
comparison_of_property,composition_of_individual,
|
|
connection_of_individual,functional_mapping,indirect_property,
|
|
individual_used_in_connection,intended_role_and_domain,
|
|
involvement_by_reference,lifecycle_stage,other_relationship,
|
|
possible_role_and_domain,recognition,relative_location,
|
|
representation_of_thing,responsibility_for_representation,
|
|
specialization,temporal_sequence,usage_of_representation))
|
|
SUBTYPE OF (abstract_object);
|
|
END_ENTITY; -- relationship
|
|
|
|
ENTITY relative_location
|
|
SUBTYPE OF (relationship);
|
|
located : possible_individual;
|
|
locator : possible_individual;
|
|
END_ENTITY; -- relative_location
|
|
|
|
ENTITY representation_form
|
|
SUBTYPE OF (class_of_class_of_information_representation);
|
|
END_ENTITY; -- representation_form
|
|
|
|
ENTITY representation_of_gregorian_date_and_utc_time
|
|
SUBTYPE OF (class_of_information_representation);
|
|
year : INTEGER;
|
|
month : OPTIONAL INTEGER;
|
|
day : OPTIONAL INTEGER;
|
|
hour : OPTIONAL INTEGER;
|
|
minute : OPTIONAL INTEGER;
|
|
second : OPTIONAL REAL;
|
|
WHERE
|
|
valid_month: ((1 <= month) AND (month <= 12));
|
|
valid_day: ((1 <= day) AND (day <= 31));
|
|
valid_hour: ((0 <= hour) AND (hour <= 23));
|
|
valid_minute: ((0 <= minute) AND (minute <= 59));
|
|
valid_second: ((0 <= second) AND (second < 61));
|
|
END_ENTITY; -- representation_of_gregorian_date_and_utc_time
|
|
|
|
ENTITY representation_of_thing
|
|
SUBTYPE OF (relationship);
|
|
represented : thing;
|
|
sign : possible_individual;
|
|
END_ENTITY; -- representation_of_thing
|
|
|
|
ENTITY responsibility_for_representation
|
|
SUBTYPE OF (relationship);
|
|
controlled : representation_of_thing;
|
|
controller : possible_individual;
|
|
END_ENTITY; -- responsibility_for_representation
|
|
|
|
ENTITY right_namespace
|
|
SUBTYPE OF (namespace);
|
|
END_ENTITY; -- right_namespace
|
|
|
|
ENTITY role
|
|
SUBTYPE OF (role_and_domain);
|
|
END_ENTITY; -- role
|
|
|
|
ENTITY role_and_domain
|
|
SUBTYPE OF (class);
|
|
END_ENTITY; -- role_and_domain
|
|
|
|
ENTITY scale
|
|
SUBTYPE OF (class_of_isomorphic_functional_mapping);
|
|
SELF\class_of_functional_mapping.codomain : number_space;
|
|
SELF\class_of_functional_mapping.domain : property_space;
|
|
END_ENTITY; -- scale
|
|
|
|
ENTITY shape
|
|
SUBTYPE OF (property);
|
|
END_ENTITY; -- shape
|
|
|
|
ENTITY shape_dimension
|
|
SUBTYPE OF (class_of_class_of_individual);
|
|
END_ENTITY; -- shape_dimension
|
|
|
|
ENTITY single_property_dimension
|
|
SUBTYPE OF (property_space);
|
|
END_ENTITY; -- single_property_dimension
|
|
|
|
ENTITY spatial_location
|
|
SUBTYPE OF (physical_object);
|
|
END_ENTITY; -- spatial_location
|
|
|
|
ENTITY specialization
|
|
SUPERTYPE OF (ONEOF (boundary_of_number_space,
|
|
boundary_of_property_space,specialization_by_domain,
|
|
specialization_by_role,
|
|
specialization_of_individual_dimension_from_property))
|
|
SUBTYPE OF (relationship);
|
|
subclass : class;
|
|
superclass : class;
|
|
END_ENTITY; -- specialization
|
|
|
|
ENTITY specialization_by_domain
|
|
SUBTYPE OF (specialization);
|
|
SELF\specialization.subclass : role_and_domain;
|
|
END_ENTITY; -- specialization_by_domain
|
|
|
|
ENTITY specialization_by_role
|
|
SUBTYPE OF (specialization);
|
|
SELF\specialization.subclass : role_and_domain;
|
|
SELF\specialization.superclass : role;
|
|
END_ENTITY; -- specialization_by_role
|
|
|
|
ENTITY specialization_of_individual_dimension_from_property
|
|
SUBTYPE OF (specialization);
|
|
SELF\specialization.subclass : individual_dimension;
|
|
SELF\specialization.superclass : property;
|
|
END_ENTITY; -- specialization_of_individual_dimension_from_property
|
|
|
|
ENTITY status
|
|
SUBTYPE OF (class_of_individual);
|
|
END_ENTITY; -- status
|
|
|
|
ENTITY stream
|
|
SUBTYPE OF (physical_object);
|
|
END_ENTITY; -- stream
|
|
|
|
ENTITY temporal_bounding
|
|
ABSTRACT SUPERTYPE OF (ONEOF (ending,beginning))
|
|
SUBTYPE OF (composition_of_individual);
|
|
SELF\composition_of_individual.part : event;
|
|
END_ENTITY; -- temporal_bounding
|
|
|
|
ENTITY temporal_sequence
|
|
SUBTYPE OF (relationship);
|
|
predecessor : possible_individual;
|
|
successor : possible_individual;
|
|
END_ENTITY; -- temporal_sequence
|
|
|
|
ENTITY temporal_whole_part
|
|
SUBTYPE OF (composition_of_individual);
|
|
END_ENTITY; -- temporal_whole_part
|
|
|
|
ENTITY thing
|
|
ABSTRACT SUPERTYPE OF (ONEOF (possible_individual,abstract_object));
|
|
id : STRING;
|
|
record_copy_created : OPTIONAL representation_of_gregorian_date_and_utc_time;
|
|
record_created : OPTIONAL representation_of_gregorian_date_and_utc_time;
|
|
record_creator : OPTIONAL possible_individual;
|
|
record_logically_deleted : OPTIONAL representation_of_gregorian_date_and_utc_time;
|
|
why_deleted : OPTIONAL
|
|
class_of_information_representation;
|
|
UNIQUE
|
|
ur1 : id;
|
|
END_ENTITY; -- thing
|
|
|
|
ENTITY union_of_set_of_class
|
|
SUBTYPE OF (functional_mapping);
|
|
SELF\functional_mapping.input : enumerated_set_of_class;
|
|
SELF\functional_mapping.result : class;
|
|
END_ENTITY; -- union_of_set_of_class
|
|
|
|
ENTITY upper_bound_of_number_range
|
|
SUBTYPE OF (classification);
|
|
SELF\classification.classified : arithmetic_number;
|
|
SELF\classification.classifier : number_range;
|
|
END_ENTITY; -- upper_bound_of_number_range
|
|
|
|
ENTITY upper_bound_of_property_range
|
|
SUBTYPE OF (classification);
|
|
SELF\classification.classified : property;
|
|
SELF\classification.classifier : property_range;
|
|
END_ENTITY; -- upper_bound_of_property_range
|
|
|
|
ENTITY usage_of_representation
|
|
SUBTYPE OF (relationship);
|
|
used : representation_of_thing;
|
|
user : possible_individual;
|
|
END_ENTITY; -- usage_of_representation
|
|
|
|
ENTITY whole_life_individual
|
|
SUBTYPE OF (possible_individual);
|
|
END_ENTITY; -- whole_life_individual
|
|
|
|
END_SCHEMA; -- lifecycle_integration_schema
|