ГОСТ Р ИСО/МЭК 10746-4-2004
ятно, переписано как «очередь*, а не как выражение pop (push (х, </)). Таким образом, понятие трассы
в ACT ONE ограничено.
4.2. Х7 Тип <Х>
Объекты, шгтерфейсы и действия, специфицированные в ACT ONE, могут удовлетворять
многим различным произвольным характеризующим предикатам. Типы, которые могут быть запи
саны явно, являются типами шаблонов.
4.2.2.S Класс <Х>
Понятие класса зависит от характеризующего тип предиката, которому должны удовлетворять
члены класса. Объекты, интерфейсы и действия могут удовлетворять многим произвольным харак
теризующим тип предикатам. Тип, который может быть в нем записан, является типом шаблона.
Класс объектов, интерфейсов шли действий, связанных с этим типом, является классом шаблонов.
Приме ча ние —Следует заметить, что если ограничиться единственной возможной в LOTOS класси
фикацией объектов, интерфейсов и действий, что они соответствуюттину шаблона, то понятия класса и класса
шаблонов, определенные в ГОСТ Р ИСО/МЭК 10746-2, суживаются до методов моделирования в LOTOS. В
LOTOS нет разницы между классом в широком смысле слова и классом шаблонов в более узком смысле как
множества реализаций данного типа шаблонов.
1
4.2.2.9 Подтип/супертип
Понятия подтипа и супертипа, вообще говоря, не поддерживаются в ACT ONE, так как при
проверке типа LOTOS использует эквивалентность имен. Например, два типа объектов являются
одинаковыми только тогда, когда они представляются одним и тем же сортом. Таким образом, в
общем случае один сорт не может быть подставлен вместо другого. Однако возможен случай, когда
существует ограниченная форма отношений подтипа между двумя разными сортами, если характе
ризующий тип предикат основам на некотором аспекте сорта, отличном от имени, например такая-то
операция допустима над этим сортом и возвращает такой-то результат. Это —ограниченная форма
создания типа, и вряд ли она существует в большинстве случаев.
4.2.2. К) Подк.тсс/суперк. асс
Понятия подкласса и суперкласса поддерживаются в ACT ONE только в очень ограниченных
пределах, т. е. когда характеризующий тип предикат основан на некотором аспекте сорта. В резуль
тате эти понятия не полностью поддерживаются в ACT ONE. Если между двумя сортами существует
отношение подтип/супертип, то между экземплярами сортов в алгебре обработки существует отно
шение подкласс/суперкласс.
4.2.2.11 Шаблон <Х>
Шаблон объектов —определение сорта (с соответствующими операциями и уравнениями), мо
делирующего объект.
Шаблон интерфейсов - набор операций и уравнений, связанных с определением сорта, моде
лирующего объект. Понятия шаблонов интерфейсов и объектов можно рассматривать как идентич
ные, так как операции и уравнения всегда должны действовать на определении сорта. Это справедливо и
в том случае, когда декларация экземпляра сорта н алгебре обработки имеет неявно связанные с ней
операции и уравнения, что устанавливается в части ACT ONE спецификации.
Шаблон действий —операции с соответствующими уравнениями.
4.2.2.12 Сигиату/ш интерфейса
Операции, которые применяются к переменной, объявленной как экземпляр сорта, моделиру
ющего объект.
4.2.2.13 Реализация (шабюн <Х>)
Реализация шаблона объекта —для реализации шаблона объекта требуется инициализация
моделирующего объект сорта допустимым начальным состоянием. Эта инициализация сорта должна
гарантировать, что экземпляр сорта может быть однозначно указан.
Реализация шаблона интерфейса —реализация шаблона интерфейса происходит при реализа
ции шаблона объекта. В таком случае объект имеет единственный интерфейс, заданный операциями
и уравнениями, действующими на сорт, из которого объект был реализован.
Реализация шаблона действия —появление операции ACT ONE в азгебре обработки. Эта опе
рация должна удовлетворять уравнениям, связанным с операцией.
4.2.2.14 Роль
Понятие роли лучше всего может быть промоделировано в ACT ONE сортом. Это происходит
потому, что роль представляет собой идентификатор поведения. Именно через декларацию сорта
становятся доступными операции н уравнения, применяемые к этому сорту.
13