ISO 10303-54:2005 Classification and set theory


Integrated generic resource: Classification and set theory	ISO 10303-54:2005(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Classification
4.1 Introduction
4.2 Fundamental concepts and assumptions
4.3 Classification type definitions
4.4 Classification entity definitions
4.5 Classification subtype constraint definitions
5 Set theory
5.1 Introduction
5.2 Fundamental concepts and assumptions
5.3 Set theory entity definitions
5.4 Set theory function definitions

A Short names of entities
B Information object registration
C Computer interpretable listings
D EXPRESS-G diagrams
Index

Annex C - EXPRESS


         (*
ISO TC184/SC4/WG12 N3213 - ISO/IS 10303-54 Classification and set theory - EXPRESS
Supersedes
         ISO TC184/SC4/WG12 N1510
*)




            SCHEMA classification_schema;


         REFERENCE FROM
         group_schema   -- ISO 10303-41
  (group);


         REFERENCE FROM
         management_resources_schema   -- ISO 10303-41
  (classification_assignment);


TYPE classification_select =

         EXTENSIBLE


         SELECT;

         END_TYPE;


TYPE complete_membership_select =

         EXTENSIBLE


         SELECT;

         END_TYPE;


ENTITY class

           SUBTYPE OF (group);


         END_ENTITY;


ENTITY class_by_extension

           SUBTYPE OF (class);


         END_ENTITY;


ENTITY class_by_intension

           SUBTYPE OF (class);


         END_ENTITY;


ENTITY classification

           SUBTYPE OF (classification_assignment);

           classified : classification_select;
DERIVE

           classifier : class := SELF\classification_assignment.assigned_class;


         END_ENTITY;


ENTITY complete_membership

           SUBTYPE OF (classification_assignment);
DERIVE

           containing_set : class := SELF\classification_assignment.assigned_class;


         END_ENTITY;


ENTITY complete_membership_of_empty_set

           SUBTYPE OF (complete_membership);


         END_ENTITY;


ENTITY complete_membership_of_non_empty_set

           SUBTYPE OF (complete_membership);

           members : SET[1:?] OF complete_membership_select;


         END_ENTITY;


SUBTYPE_CONSTRAINT classification_or_complete_membership FOR classification_assignment;

           ONEOF (classification,
         complete_membership);

         END_SUBTYPE_CONSTRAINT;



         END_SCHEMA;  -- classification_schema