ГОСТ Р ИСО/МЭК 10746-4-2004
- схема композиции (;),
- перекрытие (©).
В общем случае из композиции могут быть получены характеристики результирующего пове
дения. которые не могут быть получены из отдельных комбинируемых поведений. Кроме того, могут
быть подавлены нежелательные характеристики комбинируемых поведений.
4.4.2.2 Составной объект
См. выше интерпретацию композиции.
4.4.2.3 Декомпозиция
Декомпозиция объектов —см. выше интерпретацию композиции объектов.
Декомпозиция поведений —см. выше интерпретацию композиции поведений.
4.4.2.4 Поведенческая совместимость
Основана на понятии заменяемости в данной среде. Расширение является одним из возможных
способов ее достижения. Расширение базового шаблона может иметь дополнительные компоненты в
ассоциированной схеме состоянии, более сильные инвариант состояний и начальные условия и
больше схем операций. Схемы операций, ассоциированные с расширением типа шаблона, могут иметь
более широкие предусловия и более сильные постусловия, чем соответствующие схемы операций в
базовом типе шаблона.
4.4.2.5 Уточнение
Процесс преобразования одной спецификации в более подробную. Так как Z имеет дело с
абстракциями систем, где данные и операции над этими данными используются для представления
рассматриваемых систем, то могут быть идентифицированы две основные формы уточнения:
- уточнение операции:
- уточнение данных.
Для того чтобы уточнить спецификацию, уточнение должно гарантировать поведенческую
совместимость между спецификацией и уточнением. С учетом этого существуют определенные
условия для гарантии того, что уточнение спецификации Z создает допустимую более подробную
спецификацию. Этими условиями являются сохранность и жизнеспособность. Условие сохранности
уточнения спецификации состоит втом, что любые обстоятельства, достижимые для спецификации,
должны быть достижимы и для уточнения. Условие жизнеспособности уточнения спецификации
состоит в том, что при любых обстоятельствах,достижимых для спецификации, поведение уточнения
должно допускаться спецификацией.
Условия сохранности и жизнеспособности должны применяться к уточнениям как операций,
так и данных.
4.4.2.6 Трасса
Моделирование трассы Z ограничено по двух» причинам. Во-первых, нет прямого способа
записи действий объекта, во-вторых, нет семантического различия между внутренними и наблюда
емыми действиями, что уже указано в примечании к 4.4.1.3.
4.4.2.7 Тип <Х>
Объекты, интерфейсы и действия могут иметь много различных ОРО типов. Типы ОРО
соответствуют множествам в Z, а характеризующий предикат определяется принадлежностью к
множеству.
4.4.2.8 Класс <Х>
Множество всех <Х>, дтя которых предикат принадлежности к множеству, т. е. тип ОРО,
является истинным.
4.4.2.9 /hdmun/cynepmun
Подтипы
и
супертипы ОРО соответствуют подмножествам и супермножествам в Z.
4.4.2.10 Подкласс/суперкласс
Подклассы и суперклассы 014) соответствуют отношениям подмножества и супермножества в Z.
4.4.2.11 Шаблон <Х>
Шаблон объектов —фрагменты спецификации, которые представляют обшие характеристики
возможных состояний объектов, имеющих однозначную (неизменную) идентификацию, по которой
на них можно сослаться, и соответствующее множество схем операций, действующих на это состо
яние. Если шаблон объекта яаляется родовым, то точная форма шаблона будет дана только тогда,
когда будут даны параметры типа.
Шаблон интерфейсов —множество схем операций, полученных из представляющего шаблон
объекта текста Z способом, описанным при интерпретации интерфейса (см. 4.4.1.4). Если шаблон
объекта является родовым, то точная форма шаблона интерфейса будет дана только тогда, когда
23