ГОСТ Р ИСО/МЭК 10746-4-2004
4.5 Архитектурная семантика в ESTELLE
ESTELLE является стандартизированным (ИСО/МЭК 9074) языком формальных специфика
ций (ЯФС). Методические материалы приведены в указанном стандарте. Существуют различные
программные средства, поддерживающие моделирование и распределенную реализацию специфи
каций ESTELLE.
ESTELLE основан на расширенном конечном автомате. Система моделируется иерархически
структурированным множеством экземпляров модулей, взаимодействующих асинхронным образом с
помощью обмена сообщениями через каналы. Синтаксис языка и определения типов данных и
переменных основаны на языке Паскаль.
В спецификации на ESTELLE видимый внешне интерфейс модуля определен в заголовке
модуля, тогда как теломодуля описывает его внутреннюю структуру и поведение. Экземпляры модуля
определяют точки взаимодействия, через которые они могут отправлять и получать сообщения. Две
точки взаимодействия могут быть соединены, если они были определены для противоположных
ролей одного и того же определения канала. Определение канала содержит две ролидля концов канала. Для
каждой роли определены сообщения (в ESTELLE они называются взаимодействиями), которые могут
быть отправлены. Определение взаимодействия состоит из имени и набора параметров. Для
каждой точки взаимодействия устанавливается очередь, в которой хранятся входящие сообщения.
Экзем/ияр модуля может иметь общую очередь, которая совместно используется несколькими или
всеми точками взаимодействия.
Структура спецификации ESTELLE динамическая, т. е. экземплярымодулей динамически могут
быть реализованы и удалены, а точки взаимодействия —соединены и отсоединены. Экземпляры
модулей спецификации ESTELLE расположены в строгом иерархическом порядке. Каждый экзем
пляр модуля может реализовывать и удалять дочерние экземпляры модулей или соединять и отсоеди нять
свои точки взаимодействия. Единственный способ для экземтяра модуля достичь экземпляра одного
с ним уровня (или другие жземтяры модулей, не являющиеся его дочерними) —через обмен
Iшимшкйствиями в канале.
Первоначально ESTELLE разрабатывался для спецификации коммуникационных услуг и про
токолов. ESTELLE поддерживает инкапсуляцию, но он не содержит объектно-ориентированных
характеристик наследования и создания подтипов. Несмотря на это ESTELLE позволяет выразить
большинство понятий ОРО. Спецификации ESTELLE просты для чтения, и так как ESTELLE
является конструктивным методом, то он хорошо подходит для реализации.
В настоящем разделе объясняется, как основные моделирующие понятия ОРО могут быть
выражены на ESTELLE.
Во избежание путаницы в терминологии 014) и ESTELLE в последующих подразделах курси
вом выделены специфические для ESTELLE термины. Следует обратить внимание на то. что в
ESTELLE понятие взаимоскйствия означает обмен сообщениями между экземплярами модулей.
4.5.1 О с н о в н ы ем о д е л и р у ю щ и еп о н я т и я
4.5.1.1 Объект
Моделируется в ESTELLE экземпляром модуля.
4.5.1.2 С/зеда (объекта)
Часть спецификации, которая не является частью экземпляра модуля (в частности, родительский
экземтяр и другие экземпляры), которые через каналы связаны с точками взаимодействия экзем
пляра модуля.
4.5.1.3 Действие
Действие в ESTELLE представляется выполнением раздела-WHEN, предложения действия,
всей транзакции или процедуры. Возможными предложениями действия являются:
- output,
- into,
- connect.
• attach,
- release,
- disconnect,
- detach,
- присваивание.
Имеется несколько типов взаимодействий. Выполнение предложения output является, как и
выполнениераздела- WHEN, взаимодействием. Кроме того, последовательностьдействий, состоящая
из ввода взаимодействия через точку взаимодействия и последующего его потребления при выпол-
26