ГОСТ Р НСО/МЭК 10746-4-2004
пении раздела- WHEN, может рассматриваться как одно взаимодействие. Другим типом взаимодей
ствия является обновление экспортированных переменных. Все другие действия являются внутренними.
П р и м е ч а н и е —Так как каналы ESTELLE имеют бесконечные очереди, то среда всегда готова к
участию во взаимодействиях.
4.5.1.4 Интерфейс
В ESTELLE имеется два вида интерфейсов:
- интерфейс первого вида образуется множеством всех взаимодействий, определенных для
назначенной роли (в соответствующем определении канала) в точке внешнего взаимодействия объекта;
- интерфейс второго вида образуется множеством всех экспортированных переменных объекта.
В первом случае множество взаимодействий (образующих интерфейс) содержит набор предло
жений output и (или) разделов- WHEN, которые объект выполняет в точке взаимодействия. Во втором
случае множество взаимодействий состоит из всех предложений, которые читают или записывают
экспортированныепеременные. Через интерфейс этого вида возможны взаимодействия только между
экземпляром модуля и его родительским экземmiяром.
4.5.1.5 Деятельность
В общем случае деятельность не может быть обозначена явно, так как она может охватывать
несколько объектов. Деятельность яаляется некоторой последовательностью взаимосвязанных дей
ствий. например переходов, процедур или функций, если отдельное предложение рассматривать как
действие.
4.5.1.6 Поведение (объекта)
Определяется множеством всех переходов этого объекта. Ограничения на обстоятельства, при
которых могут происходить заданные действия, определяются в разделах переход (например, в
разделе-FROM или разделе-PROVIDED). Объект может демонстрировать недетерминированное по
ведение.
4.5.1.7 Состояние (объекта)
Содержит следующие компоненты:
- состояние контроля экземпляра модуля,
- содержимого очередей точек взаимодействия,
- значений внутренних и экспортированных переменных и формальных параметров экземпляра
модуля,
- состояний существующих дочерних экземпляров, их структур соединений и экспортированных
переменных.
Вместе эти компоненты определяют множество всех последовательностей действий (переходов),
в которых может принять участие экземпляр модуля.
4.5.1.8 Коммуникация
Информация между объектами переносится двумя путями:
- через вывод и последующее получение взаимодействия (т. е. через последовательность дейст
вий, образующую взаимодействие),
- через чтение и обновление экспортированных переменных.
4.5.1.9 Положение в пространстве
Действия происходят в экземплярах модулей или в их точках взаимодействия. Таким образом,
положение действия в пространстве соответствует положению в пространстве соответствующего
экземпляра модуля.
4.5.1.10 Положение во времени
В ESTELLE время представляется только в разделах-DELAY, возможно, с соответствующими
переходами. Относительно времени можно лишь принять, что оно равномерно возрастает по мере
выполнения процесса.
4.5.1.11 Точка взаимодействия
Представляется либо точкой взаимодействия, либо множеством всех экспортированных пере
менных объекта.
4.5.2 С п е ц и ф и ц и р у ю щ и еп о н я т и я
Выражение на ESTELLE специфицирующих понятий затруднено, так как в нем ограничена
поддержка объектно-ориентированных понятий.
4.5.2.1 Композиция
Композиция объектов - экземплярмодуля может быть составлен из набора дочерних экземпляров
модулей. На верхнем уровне, спецификация может быть составлена из набора экземпляров систем.
27