ГОСТ Р ИСО/МЭК 10746-4-2004
4.2.2.15 Создание (<Х>)
Создание объекта или интерфейса - так как объекты и интерфейсы имеют форму существова
ния. когда ACT ONE используется совместно с алгеброй обработки, то сам ACT ONE не может
использоваться для моделирования создания. ACT ONE совместно с алгеброй обработки может
использоваться для моделирования в ограниченных пределах создания объектов и интерфейсов при
условии следования определенному стилю спецификации. Например, как операция, связанная
с моделирующих! объект сортом, т. е. операция над уже существующих» объектохг которая
приводит к созданию нового объекта. Должна был, возможность уникальной ссылки на вновь
созданный объект. Этот новый объект будет использоваться в алгебре обработки, так что он
имеет некоторую форму существования (подробнее см. 4.2.1.1).
4.2.2.16 Внесение (объекта)
Введение объекта в ACT ONE может быть достигнуто несколькими способами при использо
вании совместно с алгеброй обработки. Например, с помощью предложения события, появление
обозначения действия которого приводит к созданию нового экземпляра сорта, моделирующего
объект. Эти новые экземпляры должны находиться в допустимом начальном состоянии, быть
однозначно указываемыми и иметь некоторую форму существования в алгебре обработки. Альтер
нативно объекты могут быть введены через разделы lei . . . in. Эти объекты тоже должны иметь
допустимое начальное состояние, использоваться в алгебре обработки так. что они имеют форму
существования, и должна быть возможность их однозначной идентификации.
4.2.2.17 Удаление (<Х>)
Удаление объекта или интерфейса —удаление объекта или интерфейса в ACT ONE может был,
достигнуто при совместном использовании с алгеброй обработки путем перезаписи соответствую
щего появления уравнений, связанных с операциями над сортами, моделирующих»и объекты. Напри мер.
для моделирования удаления может быть использована операция, которая перемещает элемент из
множества, т. е. объекте конкретным идентификатором перемещается (удаляется) из множества
реализованных объектов, существующего как часть списка значений параметров рекурсивного опре
деления процесса.
4.2.2.18 Экземпляр типа
Экземпляр типа шаблона объекта, интерфейса или действия —экземпляр типа зависит от
определяющего его характеризующего предиката. Если предикат типа является типом шаблоном для
объектов it интерфейсов, то экземпляр типа объекта или интерфейса соответствует появлению в
алгебре обработки сорта, моделирующего рассматриваемые объекты и интерфейсы. Аналогично,
если предикат типа является типом шаблона для действия, то экземпляр типа действия задается
появлением в алгебре обработки операции, моделирующей тип действия.
4.2.2.19 Тип шаблона (<Х>)
Тин шаблона объекта или иштерфейса —предикат на реализациях сорта, используемою для
моделирования объекта. Все реализации (пояазепия) шаблона {сорта) в алгебре обработки имеют
операции и уравнения. ассоциированные с этим сортом. Так как шаблоны для объектов и интерфейсов
моделируются одним и тем же образом, т. е. определением сорта с соответствующими операциями
и уравнениями, то тип шаблона объекта и тип шаблона интерфейсов для этого обтекта в ACT ONE
являются синонимами: они оба соответствуют появлению сорта в алгебре обработки.
Тип шаблона действия — предикат на появлениях операции в алгебре обработки. А именно, все
реализации (появления) шаблона {операции) в азгебре обработки должны соответствовать требова
ниям шаблона, т. е. они должны иметь те же самые входные данные и давать тот же самый результат, чго
и рассматриваемое определение операции, а вычислением операции управляют уравнения, ассо
циированные с этой операцией.
4.2.2.20 Класс шаблонов (<Х>)
Класс шаблонов объектов - множество реализаций данного сорта, моделирующего объект, в
алгебре обработки.
Класс шаблонов интерфейсов —хшожество реализаций данного сорта. моделирующего интер
фейс объекта, в алгебре обработки.
Класс шаблонов действий —хшожество реализаций данной операции в алгебре обработки.
4.2.2.21 П/юизводный iciacc/базовый масс
В ACT ONE производные и базовые классы не поддерживаются. Это происходит потому, что
в ACT ONE классы обычно задаются только через классы шаблонов, т. е. (для объектов) множеством
14