6.2.1.6 CLASS_HELP <T>
classification_item = T
classification_item <-
applied_classifrcation_assignment.items[i]
applied_classifrcation_assignment <=
classification_assignment
{classification_assignment.role ->
classification_role
classification_role.name = 'class membership'}
classification_assigument.assigned_classification ->
group =>
T :分類されたinstance タイプ
classification_itemに値"T"が代入され、classification_itemは、applied_classification_assignmentのitems[i]属性によってに参照される。このときapplied_classification_assignmentはclassification_assignmentを親entityとして持っている。
classification_assignmentのrole属性は、classification_roleを参照し、classification_roleのname属性が'class membership'であることが制限されている。
classification_assignmentのassigned_classificaton属性がgroupを参照することが記述されている。
この関係をEXPRESS-Gで表現すると図6.2-6となる。