6.2.1.4 CLASS <T, ID, S_ID>
classification_item = T
classification_item <-
applied_classification_assignment.items[i]
applied_classifrcation_assignment <=
classification_assignment
{classification_assignment, role ->
classification_role
classification_role.name = 'class membership'
}
classification_assignment
classification_assignment.assigned_classification ->
group
{[group.name = ID]
[group <-
group_relationship.related_group
group_relationship
{group_relationship.name = 'specialisation'}
group_relationship
group_relationship.relating_group ->
group
{group.name = 'S_ID'}
]
}
group =>
class
T: 分類されたinstanceタイプ
ID: class id
S_ID: super classのclass id
classification_itemに値"T"が代入され、applied_classification_assignmentのitems[i]属性がclassification_itemを参照し、applied_classification_assignmentの親entityがclassification_assignmentである。
classification_assignmentのrole属性がclassification_roleを参照し、classification_roleのname属性が'class membership'である。
classification_assignmentのassigned_classification属性がgroupを参照する。
groupのname属性がIDであるということと、groupがgroup_relationshipのrelated_group属性に参照され、group_relationshipのname属性が'specialisation'であい、group_relationshipのrelating_group属性がgroupを参照し、そのgroupのname属性がS_IDであると言う制限を満たすならば、groupはclassの親entityである言うことが記述されている。
この関係をEXPRESS-Gで表現すると図6.2-4となる。
