ГОСТ Р ИСО/МЭК 10746-4-2004
будут дамы параметры типа. Шаблоны интерфейсов могут быть скомбинированы операциями Z для
комбинации схем.
Шаблон действий —схема операции. Шаблоны действий могут быть скомбинированы опера
циями Z для комбинации схем. Если шаблон действия является родовым, то точная форма шаблона
действия будет дана только тогда, когда будут даны параметры типа.
4.4.2.12 Сигнатура интерфейса
Набор шаблонов действий, связанных с взаимодействиями интерфейса.
Пр и ме ч а н и е —Следует заметить, что ГОСТ Р ИСО/МЭК 10746-2 трактует сигнатуру интерфейса
как набор шаблонов действий, ассоциированных с взаимодействиями интерфейса. Если принять, что шаблон
действий является общими характеристиками совокупностидействий, похоже, чтоэтоопределение некоррект
но. А именно, шаблон действий, вероятно, включает всебя семантическую информацию и синтаксис. Однако
общая интерпретация сигнатуры интерфейса имеет дело, главным образом, с синтаксисом. Если рассматривать
синтаксическое понятие сигнатуры интерфейса, то оно соответствует множеству нормализованных шаблонов
действий, ассоциированных с взаимодействиями интерфейса, со всеми не относящимися к вволу/вы волу
переменными, объявленными в сигнатуре схемы операции и присутствующими в предикатной части схемы
операции.
4.4.2.13 Реализация (шаблона <Х>)
Реализация шаблона объекта - спецификация начальных значений переменных, указанных в
шаблоне объекта. В Z часто это делается явно путем инициализации схемы или множества схем.
Посте инициализации значения этих переменных должны соответствоватьдопустимому состоянию, т.
е. состоянию, удовлетворяющему всем инвариантам, которые могут присутствовать.
Пр и ме ч а н и е —Эти инварианты могут ссылаться на другие объекты.
Реализация шаблона интерфейса —ограничение фрагментов шаблона интерфейса специфика
ции Z путем задания значений родовых параметров и удовлетворения соответствующих предикатов
для переменных, указанных в шаблоне интерфейса.
Реализация шаблона действия —осуществление операции, специфицированной в схеме опе
раций.
4.4.2.14 Роль
Роль может быть представлена именем, которое идентифицирует индивидуальный объект,
например через идентификатор, находящийся в ассоциированной с объектом схеме состояний. Это
имя может использоваться в схеме кадрирования для продвижения операций индивидуального объ
екта до уровня (спецификации) системы в целом.
П р и м е ч а н и е —Данное описание нс адекватно отражает назначение ГОСТ Р ИСО/МЭК 10746-2.
4.4.2.15 Создание (<Х>)
Создание объекта —задается предоставлением допустимого начального состояния для текста
Z. ассоциированного с шаблоном объекта. Конкретно, путем подстановки начальных значений
переменным, заданным в схеме состояний объекта. В Z это часто делается явно через схему иници
ализации. В таком случае действие создания представляется осуществлением операции, заданной
в схеме инициализации.
Создание интерфейса — в Z внутренне связано с созданием объектов. А именно, когда иници
ализируется текст, связанный с шаблоном объекта, инициализируются и любые шаблоны интер
фейсов, которые могут присутствовать.
При создании необходимо гарантировать уникальность в пределах спецификации создаваемого
объекта. Этого можно достичь с помощью схемы кадрирования с соответствующим предикатом,
гарантирующим уникальность всех создаваемых объектов. Эта схема кадрирования может использо
ваться для продвижения инициализации объекта до влияния на спецификацию в целом.
П р н м е ч а и и я
1 Подразумевается, чтотак как схема
инициализации
дана как часть
Спецификации,
то объект создается.
Однако в Z нет понятии спецификации, фактически применяющей эту схему
инициализации,
так как сам Z
не является
выполняемым
языком. Таким образом, фактически это является введением объекта, т.
с.
объект
реализуется методами, не охваченными моделью. Понятие реализации в спецификации Z частично является
созданием (вчасти задания схемы инициализации), а частично —введением (вчасти нсохватываемого моделью
применения схемы инициализации).
2 Обычно, после применения схемы инициализации следует проверка обязательств для гарантии того,
что объект находится в допустимом начальном состоянии.
24