ГОСТ Р ИСО 10303-22-2002
Описание каждой команды должно охватывать следующие аспекты:
- описание выполняемой функции или оказываемой услуги;
- входные данные: информацию, которую необходимо определить до выполнения команды
(если она требуется). Каждый входной параметр определяется: именем, в котором каждое составля
ющее его слово начинается с заглавной буквы; типом параметра, соответствующим схемам из раз
делов 6—9, выделенными полужирным шрифтом; словами, набранными строчными буквами, оп
ределяющими тип имени, и текстовым описанием;
- выходные данные: информацию, доступную приложению после правильного выполнения
команды (если она необходима). Выходные параметры определяются по тем же правилам, что и
входные параметры.
II р и и с ч а и и е 2 —Некоторые параметры одновременно могут быть и входными и выходными;
- возможные указатели ошибок: условия, приводящие к неправильному завершению команды.
Текст, описывающий указатель ошибки, может отличаться от приведенного в разделе II более
конкретным описанием типа параметра, связанного с указателем ошибки для данной команды;
- влияние среды СИДД: описание изменений входных параметров и экземпляров объектов
схем из разделов 6—9 (при необходимости). Во многих случаях на атрибут определенного экземпляра
объекта ссылаются посредством синтаксической конструкции Parameter.attribute. где Parameter
является именем входного или выходного параметра, a attribute — атрибутом экземпляра объекта
для Parameter.
10.2 Фундаментальные принципы и допущения
Применяют следующие фундаментальные принципы и допущения:
- характеристики параметров команд СИДД, описанные в схемах словаря, сеанса и совокуп
ности СИДД. Отношения подтипов между типами экземпляров объекта, описанные в схеме пара
метрических данных СИДД;
- команды экземпляра объекта, применяемые ко всем экземплярам любого типаданных объекта,
определенные в любой схеме СИДД или прикладной схеме, доступной для приложения;
- команды прикладного экземпляра, применяемые только к экземплярам типов данных объек
та. определенным в прикладных схемах, доступных для приложения;
- когда требуется команда доступа к экземпляру объекта в СИДД-модели, неактивной в теку
щем сеансе, а хранилище, содержащее данную модель, открыто, к модели автоматически применя
ется функция, эквивалентная команде начала доступа в режиме «только чтение*. Если же
хранили ще, содержащее СИДД-модель, закрыто, оно само и СИДД-модель не должны
автоматически от крываться. и должна выдаваться ошибка;
- когда команда завершается неправильно, значения входных параметров не должны изме
няться. Воздействие на выходные параметры в настоящем стандарте не определено;
- для реализаций, не поддерживающих доступ к словарю данных СИДД, выполнение команд,
определяющих экземпляр из схемы словаря, обеспечивается командами языковых привязок СИДД,
в которых данные параметры определяются по имени;
- для команд, в которых атрибут экземпляра объекта является входным параметром, этот
атрибут может быть явно определен в entity_definition. на котором базируется entity_instance, или
унаследован из супертипа данного entity_definition. Дтя языковых привязок СИДД, дополнительно
поддерживающих определенные параметры по именам, случай наследования атрибутов с теми же
именами из различных супертипов должен обрабатываться следующим образом: перед именем ат
рибута ставится имя супертипа типа объекта, из которого данный атрибут унаследован (см. 9.2.3.3
ГОСТ 1»ИСО 10303-1 i);
- поведение команд доступа к экземпляру агрегата через его идентификатор или итератор во
время использования других команд для добаатения, изменения, перемещения или удаления эле
ментов данного экземпляра в настоящем стандарте не определено;
- все итераторы, чьи агрегаты были удалены, должны быть изъяты в конце сеанса СИДД или
раньше, в зависимости от реализации или условий, диктуемых языком программирования соответ
ствующей привязки. При этом команда СИДД, использующая итератор в качестве параметра, дол
жна возвращать ошибку AI_NEXS или 1R..NEXS;
- экземпляры набора, мультимножества и списка управляются командами СИДД относитель
но их границ иначе, чем экземпляры массива. Нижние и верхние границы экземпляров наборов,
мультимножеств и списков рассматриваются как ограничения количества элементов, которое могут
содержать правильные экземпляры этих объектов. Эти Гранины не влияют на команды
создания, добавления или перемещения элементов из наборов, мультимножеств и списков;
40