Essential Meta Model 6.20 Reference

Instance: unique_EAS_class_name

Types
Own Slots
  Slot Name Value
:DIRECT-TYPE :PAL-CONSTRAINT
:NAME EAS_Meta_Model_Instance_0
:PAL-DESCRIPTION Each EAS artefact must have a unique name. This name is not the same as the instance ID
:PAL-NAME unique_EAS_class_name
:PAL-RANGE (defrange ?eas_class :FRAME EAS_Class)
:PAL-STATEMENT (forall ?eas_class (not (slot-has-duplicate-values name ?eas_class)) )

  ^ back to top

Return to Class Hierarchy

Generated: 11/12/2024, 12:10:32 PM, Greenwich Mean Time

Essential Meta Model 6.20 Copyright ©2006-2024 Enterprise Architecture Solutions Ltd