ГОСТ Р ИСО/ТО 10303-12-2000
—
несколько возможных идентификаторов. Фактически все они яатяюгея переименованиями друг друга и мо
гут быть выявлены прохождением по ссылкам SUPOF и SLBOF в EXPRESS-1.
Если смотреть на эту схему сверху, то экземпляр атрибута некоторого другого объекта может ссылать
ся на соответствующий тип экземпляра объекта в комплексе супсргнпа. Например, атрибут типа sibling мо
жет ссылаться на экземпляр sibling (и он получает при этом все другие ссылки в комплексе).
Экземпляр, образующий часть одного комплекса супертипа, нс может образовывать часть экземпляра
другого комплекса супертипа. Эго должно бызъ четко записано в руководстве по языку.
G.12
Комментарии по голосовании! за
CD
1995
Описание языка EXPRESS-1 было предложено для голосования в качестве первой редакции проекта
стандарта (CD) в 1995 г. Из-за большого разнообразия замечаний, явившихся результатом голосования, бы ло
решено издавать EXPRESS-1 как технический отчет, а нс как стандарт. Основным пунктом расхождения во
мнениях голосовавших был раздет языка "абстрактный контрольный пример": некоторым он понравил ся. для
других он был неприемлем.
Документ вила ТО (технический oner) включает много редакционных изменений, предложенных при
голосовании за CD. н других редакционных изменений, уточняющих понятия. Было сделано одно дополни
тельное техническое изменение, а в целом документ остался таким, каким он рассылался для голосования.
Далее приводятся основные технические замечания, полученные при голосовании.
G.12.1 О б е с п е ч е н и е к о н т р о л ь н о г о п р и м ер а
Великобритания одобрила материал и использует его;
Франция имела некоторые технические замечания.
Некоторые представители США хотели исключить из языка эту часть, тогда как другие ощущали се
недостаточную проработанность.
За исключением EXPRESS-1, в серии ИСО 10303 (ГОСТ Р ИСО 10303) нет формального языка для
абстрактного контрольного примера. Однако, поскольку РГ6 пока не имеет полного множества требований к
такому языку, в частости, относительно тестирования реализаций, базирующихся на SDAI. возможно
преждевременно стандартизовать данную часть EXPRESS-I. В основном, это заключение и привело к тому,
чтобы издавать описание языка в качестве ТО. а не стандарта.
G.12.2 С л о ж н ы е э к з е м п л я р ы о б ъ ек т ов
Повторяющейся темой в комментариях ряда стран при голосовании было неприятие метода наполне
ния сложных экземпляров объекта (то есть когда экземпляр является иерархией наследования). Консенсу
сом голосования было решено, что у экземпляра должен быть единственный идентификатор.
Эт о
замечание было принято в языке, который, как описывается теперь в настоящем стандарте, определяет
единственный идентификатор для сложного экземпляра.
G.12.3 Э к з е м п л я р ы типа
Швейцария возражала против возможности идентификации экземпляров EXPRESS-конструкний. от
личных от объектов.
EXPRESS исходит из предположения, что каждый экземпляр объекта (в объектной базе) будет иметь
уникальный идентификатор. В объектно-ориентированной терминологии он называется Oid-Objcct
Identifier. Однако EXPRESS ничего не говорит относительно идентификаторов (Qids) для нсобьектов: ни
запрещает их, ни допускает их существования.
Одной из целей проектирования EXPRESS-! было обеспечение возможности демонстрации экземпля
ров так, как они могли бы быть представлены в некоторой обьсктной базе (которую EXPRESS называет
реализацией). EXPRESS нс определяет среду реализации. Поэтому разработчик может выбрать как хранить
экземпляры данных, давать уникальные Oids для поддержки экземпляров объектов. EXPRESS-I преднаме
ренно распространяет понятие Oid на другие виды экземпляров. Язык Smalltalk делает тоже самое, рассмат
ривая все как предмет. Разумеется, нс требуется, чтобы возможности идентифицируемых экземпляров нс-
обьскгов использовались, но они в языке имеются на случай необходимости.
75