ГОСТ Р ИСО/МЭК 10746-4-2004
4.3.2.18 Экземпляр пита
Объект является экземпляром типа системы, блока, процесса или услуги X, если имеется явная
или неявная реализация или подстановка этого X. Подстановка является реализацией типа шаблона,
который, в свою очередь, есть специализация типа в SDL.
4.3.2.19 Тип шабюна (<Х>)
Тот факт, что <Х> является реализацией шаблона <Х>, .может быть выражен для процессов,
\>слуг, блоков и систем с помощью обозначения того, что объект является реализацией в SDL
определения типа.
4.3.2.20 Класс шаблонов (<Х>)
Нет обшей явной нотации для характеристики класса шаблонов <Х>, однако класс шаблонов
является множеством всех экземпляров процессов, бюков, услуг или систем из определений типов,
соответственно, процессов, бюков, услуг или систем.
4.3.2.21 Производный класс/базовый класс
Определение типа может быть получено из определения другого типа с помощью специализации,
которая может включать в себя:
- связывание параметров контекста и добавление новых параметров контекста;
- наследование определений;
- переопределение виртуальных компонентов;
- добавление новых определений.
Ограничения могут применяться с помощью конструкций alleast и finalised.
П р и м е ч а н и е —Кратное наследование нс поддерживается.
4.3.2.22 Инвариант
В SDL нет нотации для инвариантов.
4.3.2.23 Предусловие
Для спецификации предусловий передачи м о т использоваться разрешающие условия, непре
рывные сигна,ш и сигналы.
4.3.2.24 Постусловие
В SDL нет нотации для постусловий.
4.4 Архитектурная семантика в Z
Нотация Z является спецификацией нотации, основанной на строгой теории множеств и
исчислении предикатов первого порядка. Z пока еше не является стандартным ЯФС. но соответст
вующий стандарт разрабатывается ИСО IIK22 РГ19. Последней версией стандарта является Z-Base.
Стандарт де-факто для Z существует. Он стабилен, близок к стандарту Z-Base, и существуют
средства, обеспечивающие проверку синтаксиса и семантики. До тех пор, пока документы ИСО не
получат широкого распространения, для архитектурной семантики БМ-ОРО используется стандарт де-
факто.
Во избежание пуганицы в терминологии ОГО и Z в последующих подразделах курсивом
выделены специфические для Z термины.
4.4.1 О с н о в н ы е м о д е л и р у ю щ и еп о н я т и я
4.4.1.1 Объект
Объект может быть описан в Z совокупностью фрагментов спецификации. Эти фрагменты
должны содержать совокупность схем операций (представляющих интерфейсы объекта), включая
соответствующие схемы состояний. Эти схемы состояний, в свою очередь, могут включать в себя
предикаты, которые используются для представления (фрагментов) инвариантов объекта. Фрагмен ты
спецификации должны иметь некоторые средства, позволяющие однозначно ссылаться на эти
фрагменты. Это может быть достигнуто с помошью идентификатора в схеме (ах) состояний объекта,
который остается постоянным при всех определенных над объектом операциях. Наконец, для данного
объекта должно существовать допустимое начальное состояние. Это может быть достигнуто с помощью
схемы инициализации, которая задает допустимые связывания переменных, объявленных в схеме
состояний, и содержит предикаты, гарантирующие единственность объекта в спецификации.
П р и м е ч а н и е —При спецификации объектов в Z следует проявлять осторожность, так как язык нс
предоставляет собственных средств инкапсуляции (особенно для описываемых объектов), как указано в при
мечании к 4.4.1.3.
4.4.1.2 Среда (объекта)
В спецификации Z среда объекта описывается в терминах ввода/вывода. Ввод в объект посту-
20