ГОСТ Р ИСО/МЭК 10746-4-2004
4.5.2.14 Роль
Роль ассоциирована с каждой декларацией тонки взаимодействия. Для того чтобы тонки
взаимодействия были соединены, они должны иметь противоположные роли в одном и том же
опред&хеиии канат. ESTELLE поддерживает спецификацию разных тел модуля для одного и того же
заголовка модуля. Это сделано для обеспечения выбора поведения при реализации объекта. Интер
фейсы объекта не зависят от выбранного тела модуля.
4.5.2.15 Создание (<Х>)
Объекты создаются действием mil. Интерфейсы создаются неявно при создании объекта.
Динамического создания интерфейсов нет. Однако создание интерфейса как тонки взаимодействия
может быть смоделировано выбором тонки взаимодействия (из массива точек взаимодействия) с
соответствующим кахииом и ролью. Если дтя представления поведения интерфейса специфицирован
дочерний модуль, то этот модуль реализуется и присоединяется к точке взаимодействия.
4.5.2.16 Удахение (<Х>)
Объект удаляется явно действием release. Интерфейсы удаляются неявно вместе с объектом.
Если моделируется динамическое создание интерфейсов так, как указано выше (см. 4.5.2.15),то
удаление интерфейса соответствует освобождению присоединенного дочернего экземпляра модуля
(если он есть) и превращению тонки взаимодействия в точку, не представляющую интерфейс.
4.5.2.17 Введение (объекта)
Нет способов для введения объектов. В общем случае методы, не охваченные моделью, могут
быть задействованы с помощью примитивов. внешних процедур и функций.
4.5.2.18 Экземпляр типа
Так как в ESTELLE нет подтипов и подклассов, то экземпляры шаблона получаются реализа
цией этого шаблона.
4.5.2.19 Тип ша&юна (<Х>)
Для объекта — предикат, который может утверждать, что объект является экземпляром соот
ветствующего определения модуля. Интерфейс (множество взаимодействий в точке взаимодействия)
является экземпляром соответствующего определения канала. Интерфейс, представленный множест
вом всех экспортированных переменных, является экземпляром соответствующего определения заго
ловка модуля. Действие является экземпляром соответствующего шаблона действия.
П р и м е ч а н и е —В ESTELLE может быть установлен лишь тот факт, что объект, интерфейс или
действие являются реализацией данного шаблона. Так как понятие подкласса фактически не поддерживается,
то таким обратом могут быть илентпфиикрованы только реализации шаблона, но не экземпляры.
4.5.2.20 Класс шаблона <<Х>)
Классом шаблона объектов яатяется множество всех экземпляров одного модуля. Классом
шаблона интерфейсов является множество всех точек взаимодействия, определенных с использова
нием одного определения капала и рази.
4.5.2.21 Производный класс/базовый класс
Не поддерживается.
4.5.2.22 Инвариант
В ESTELLE нет способов дтя явной формулировки инвариантов.
4.5.2.23 Предусловие
Предусловия осуществления перехода устанавливаются в разделах переходов. Предусловия дей
ствия в блоке перехода задаются предусловиями перехода и действиями, содержащимися в этом блоке
и предшествующими рассматриваемому действию.
4.5.2.24 Постусловие
Постусловие перехода определяется разделом-ТО перехода и действиями в блоке перехода.
29