ГОСТ Р ИСО/МЭК 10746-2-2000
9 Специфицирующие понятия
9.1 Композиция
а) (объектов) — комбинация двух или нескольких объектов, порождающая новый объект на
другом уровне абстракции. Характеристики нового объекта определяются объединяемыми объекта
ми и способом их объединения. Поведение составного объекта является соответствующей компо
зицией поведения компонентов.
б) (поведений) —комбинация двух или нескольких поведений, порождающая новое поведе
ние. Характеристики результирующего поведения определяются объединяемыми поведениями и
способом их объединения.
П р и м е ч а н и я
1 Примерами методов комбинации являются последовательная композиция, параллельная композиция,
чередование, выборисокрытие действий. :hii общие определения всегдадолжны использоваться вконкретном
значении, идентифицирующим конкретный смысл комбинации.
2 В некоторых случаях комбинация поведений может порождать вырожденное поведение (например,
взаимоблокировку) из-за ограничений на мсхолныс поведения.
9.2 Составной объект - объект, выраженный как композиция.
9.3 Декомпозиция
a) (объекта) —спецификация данного объекта как композиции.
b
) (поведения) —спецификация данного поведения как композиции.
Композиция и декомпозиция являются двойственными терминами и двойственными специ
фикациями действий.
9.4 Поведенческая совместимость —объект является поведенчески совместимым со вторым
объектом относительно набора критериев (см. примечания), если первый обьект может заменить
второй обьект гак, что среда не сможет установить различие в поведении объектов на основе набора
критериев.
Обычно, кри терии устанавливают ограничения на допустимое поведение среды. Если критерии
таковы, что среда ведет себя как тестер для исходного объекта, то есть среда определяет наименьшее
поведение, которое не ограничивает поведение исходного объекта, то результирующее отношение
поведенческой совместимости называется расширением.
Критерии могут допускать замену объектом, который получается при модификации объекта,
несовместимого в других отношениях, для того, чтобы замена стала приемлемой. Примером такой
модификации может быть сокрытие дополнительных параметров в определенных взаимодействиях.
Таким образом, взаимодействие нового объекта может быть сделано похожим па взаимодействие
исходного объекта. В таких случаях поведенческая совместимость называется приведенной пове
денческой совместимостью. Если модификации не нужны, то поведенческая совместимость назы
вается естественной поведенческой совместимостью.
Понятие поведенческой совместимости, определенное выше для объектов, подходит для по
веденческой совместимости шаблонов и типов шаблона.
Поведенческая совместимость рефлексивна, но не обязательно симметрична или транзнтивна
(хотя может иметь одно или оба из этих свойств).
Пр и ме ч а н и я
1 Набор критериев зависит от используемого языка и применяемой теории тестировании.
2 Поведенческая совместимость(относительно набора критериев) может быть определена для шаблонов
(см. 9.11) и типов шаблонов (см. 9.19). таким образом:
а) если S и Т —являются шаблонами объектов, то говорят, что S является поведенчески совместимым
с Т тогда и только тогда, когда любая S-рсализаиия поведенчески совместима с некоторой Т-рсализаиией
(см. 9.13):
б) сети U и V являются типами шаблонов объекта, то говорят, что U и V являются поведенчески
совместимыми, если соответствующие им шаблоны поведенчески совместимы.
9.5 Уточнение - процесс преобразования некоторой спецификации в более подробную. Новая
спецификация может рассматриваться как уточнение исходной. Спецификации и их уточнения,
обычно, не находятся в одном и том же описании системы. Что именно подразумевается под более
подробными спецификациями, зависит от выбранного языка спецификаций.
6