namespace
A <namespace> is a <class_of_arrangement_of_individual> where the class_of_whole and
class_of_part are members of <class_of_information_representation> and the part is the most significant
part of the whole that is the namespace.
EXAMPLE The STRING WC1: is the namespace in the identifier WC1:1234.
EXPRESS specification:
|
| class_of_part | : | The <class_of_information_representation> that is the namespace. |
| class_of_whole | : | The <class_of_information_representation> that has the class_of_part as a namespace. |
| Name | Type | Referred through | Express-G |
| class_of_arrangement_of_individual | Entity |
|
Diagram 7 |
| left_namespace | Entity |
|
Diagram 20 |
| right_namespace | Entity |
|
Diagram 20 |
|