WHERE
WR1: NOT violation;
END_RULE;
(*
Argument definitions:
Property_definition: the set of all instances of property_definition.
applied_classification_assignment: the set of all instances of applied_classification_assignment.
Formal propositions:
WR1: The condition ensures that an instance of property_definition with class id 'hydrostatic definition' is referenced by one representation with a class id 'hydrostatic table' via a property_definition_representation.
property_definition_representationについて、Part41では以下のように記述されている。
ENTITY property_definition_representation;
definition
: property_definition;
used_representation: representation;
END_ENTITY;
第5行)
5行目には、アプリケーションオブジェクトのひとつであるdisplacement_operationとhydrostatic_definitionの参照関係を示す名称である"hydrostatic_definition to displacement_operation"が記述されていて、これはARMのdisplacement_changesに相当する。また、第2項に記述されている"PATH"という術語は、Application elementのhydrostatic_definitionとdisplacement_operationが参照関係に有ることを示していて、第5項に示される完全参照パスにマッピングすることを表している。
extended_property_definitionはproperty_definitionの子entityであり、property_definition_relationshipのrelated_property_definition属性は、property_defnitionを参照し、property_definition_relationshipのname属性がdisplacement_changeである。
property_definition_relationshipのrelating_property_definition属性は、property_definitionを参照することが記述されている。
Reference Pathに記述されている参照関係をEXPRESS-Gで書き表したものが図6.3-5である。property_definitionとdisplacement_operationの参照関係は、アプリケーションオプジェクトDISPLACEMENT_OPERATIONに記述されている(本書6.3.2参照)。
