Overview Schemas Index

ISO13584_IEC61360_dictionary_schema         

ENTITY class
          ABSTRACT SUPERTYPE OF (item_class)
          SUBTYPE OF (class_and_property_elements);
          SELF\dictionary_element.identified_by : class_BSU;
          its_superclass : OPTIONAL class_BSU;
          described_by : LIST [0:?] OF UNIQUE property_BSU;
          defined_types : SET [0:?] OF data_type_BSU;
DERIVE
          subclasses : SET [0:?] OF class := identified_by.subclasses;
          known_applicable_properties : SET [0:?] OF property_BSU := compute_known_applicable_properties(
            SELF\dictionary_element.identified_by);
          known_applicable_data_types : SET [0:?] OF data_type_BSU := compute_known_applicable_data_types(
            SELF\dictionary_element.identified_by);
INVERSE
          associated_items : SET [0:?] OF class_BSU_relationship FOR relating_class;
WHERE
          WR1: acyclic_superclass_relationship(SELF.identified_by, []);
          WR2: NOT all_class_descriptions_reachable(
        SELF\dictionary_element.identified_by)
        OR (list_to_set(SELF.described_by) <= 
        SELF\dictionary_element.identified_by
        \class_BSU.known_visible_properties);
          WR3: NOT all_class_descriptions_reachable(
        SELF\dictionary_element.identified_by)
        OR (SELF.defined_types <= 
        SELF\dictionary_element.identified_by
        \class_BSU.known_visible_data_types);
          WR4: check_properties_applicability(SELF);
          WR5: check_datatypes_applicability(SELF);
END_ENTITY; -- class

Entity data types and their attributes

dictionary_element
          identified_by: basic_semantic_unit;
          (OPT) time_stamps: dates;
          revision: revision_type;
class_and_property_elements
          names: item_names;
          definition: definition_type;
          (OPT) source_doc_of_definition: document;
          (OPT) note: note_type;
          (OPT) remark: remark_type;
class
          (RT) identified_by: class_BSU;
          (OPT) its_superclass: class_BSU;
          described_by: LIST [0:?] OF UNIQUE property_BSU;
          defined_types: SET [0:?] OF data_type_BSU;
          (DER) subclasses: SET [0:?] OF class;
          (DER) known_applicable_properties: SET [0:?] OF property_BSU;
          (DER) known_applicable_data_types: SET [0:?] OF data_type_BSU;
          (INV) associated_items: SET [0:?] OF class_BSU_relationship FOR relating_class;

Known subtypes

          item_class (ISO13584_IEC61360_dictionary_schema)

Users: by entity attributes

dictionary_element
class_and_property_elements
class
          class.subclasses
          class_BSU_relationship.relating_class
          property_DET.describes_classes

Users: by defined types, not used by any entity attribute

class
          -

Global rules for this entity data type

          -