ГОСТ Р ИСО/МЭК 10746-4-2004
Композиция поведений — когда жземигяр модуля является композицией дочерних жземмяров,
их поведение составлено:
- параллельно, с перекрытием, если родительский модуль имеет атрибут activity или systemac-
tiviry, или
- параллельно, синхронно, если родительский модуль имеет атрибут process или systemprocess.
4.5.2.2 Составной объект
Экзе.ишяр модуля, который описывается множеством дочерних экземпляров модулей.
4.5.2.3 Декомпозиция
Декомпозиция объектов —спецификация данного объекта как композиции.
Декомпозиция поведений —спецификация данного поведения как композиции.
4.5.2.4 Поведенческая совместимость
В ESTELLE нет прямого способа выразить поведенческую совместимость. Однако семанти
ческая основа языка в терминах переходных систем допускает определение поведенческой совмес
тимости и ее верификации.
4.5.2.5 Уточнение
Объект может быть уточнен путем построения подструктуры кооперирующихся дочерних
экземтяров.
4.3.2.6 Трасса
Может быть получена из динамической интерпретации (выполнения или моделирования)
спецификации ESTELLE.
4.5.2.7 Тип <Х>
В ESTELLE нет способа для явной формулировки предикатов.
4.5.2.8 Класс <Х>
Не поддерживается.
4.5.2.9 Подтип/супертип
Не поддерживается.
4.5.2.10 Подкласс/суneptcmcc
Не поддерживается.
4.5.2.11 Шаблон <Х>
Шаблон объекта представлен определением тела модуля вместе с соответствующим определением
заголовка модуля. Шаблонами действий являются:
- output;
- init;
- release;
- connect:
- disconnect;
- attach;
- detach;
- присваивание;
- раздел- WHEN.
Так как существует два вида интерфейсов, то шаблон интерфейса задается:
- соответствующим определением канала (для множества взаимодействий в точке взаимодейст
вия). В этом случае соответствующее поведение интерфейса может быть задано через дочерний
экземюяр модуля, который реализуется и присоединяется к точке взаимодействия при создании
интерфейса. Таких» образом, шаблон интерфейса содержит заголовок модуля и определение тела этого
модуля:
- в определении заголовка м(х)уля объекта (для экспортированных переменных).
4.5.2.12 Сигнатура uiimepifieitea
Представляется двумя способами:
- определениями взаимодействий, которые содержатся в интерфейсе (для множества взаимо
действий в точке взаимодействия);
- действиями присваивания экспорти/юванным пе/>емеиным.
4.5.2.13 Реа,шзаи,ия (шаблона <Х>)
Реализацией объекта является экземпляр модуля соответствующего определения модуля. Реали
зацией интерфейса является конкретная точка взаимодействия (возможно, с присоединенным к ней
конкретным дочерним экземпляром модуля, представляющим поведение интерфейса) или множество
экспортированных переменных конкретного экзем/ияра модуля.
28