ГОСТ Р ИСО 13584-20—2006
- при первом подходе испопьзуется отдепьный подтип объекта varlable_semantlcs. который представляет
этот объект посредством атрибута(ов);
- при втором подходе определяется общий подтип для объекта varlable_semantics итипа данных этого объ
екта.
Данная информационная модель определяет только первую из упомянутых выше позиций (см. D.2). Другая
позиция должна быть определена вдокументации на эту модель.
Иллюстрация этихдвух подходов приведена в D.4.1 и D.4.2.
D.4.1 Использование отдельного подтипа объекта variable_semantics
Данный подход к определению семантики заключается во введении подтипа объекта variable_semantlcs.
который представляет собой понятие, которое обозначает переменная, посредством атрибута(ов).
Следующий пример показывает, как этот подход работает. Выбран реальный пример, чтобы показать осу
ществимость этого подхода на практике.
Пример — Определение переменной SELF:
Напомним, что переменная SELF является особой переменной, встречающейся в объектно-ориен
тированных подходах. Она используется в контексте экземпляра класса для представления этого
отдельного экземпляра и, возможно, значения одного отдельного атрибута этого отдельного экзем
пляра.
В ИСО 13584-24,
в
котором моделирование семейств деталей осуществляется на основе объек
тно-ориентированного подхода, показана необходимость представления переменных SELF, чтобы
допустить использование выражений, включающих этот вид переменных. На рисунке D.2 приведена
EXPRESS-G диаграмма, демонстрирующая способ представления этой семантики на основе простого
наследования объекта variable semantics.
Рисунок D.2 — Установление семантики определением подтипа объекта varlable_semantics
П р и м е ч а н и е — Объект property_BSU определен в ИСО 13584-42. Он позволяет идентифицировать
одно отдельное свойство.
Объект self_property_varlable_semantics определен как подтип объекта varlable_semantlcs. Он имеет
атрибут, называемый the_property. который идентифицирует отдельное свойство вложенного класса (представ
ленного объектом property_BSU). Поэтому этотобъект несет в себе семантику ffte_property экземпляра SELF.
Заметим, что вдокументации на объект 3elf_property_varlable_semantics определено, что:
- соответствующая переменная должна использоваться в контексте экземпляра класса PLib.
- переменная обозначает значение релевантного свойства экземпляра этого класса.
D.4.2 Множественное наследование объекта variable_semantlcs и другого объекта
Множественное наследование позволяет собрать в общем объекте свойства различных супертипов.
Беря за основу концепцию совместного использования, можно определить семантику переменной как
совместное использование объекта
variable_semantlc3
(чтобы показать, что мы имеем депо с семантикой пере
менной) и любого другого объекта, который мы хотим представить через эту переменную.
57