ГОСТ Р ИСО/МЭК 10746-4-2004
нием и пр. Наиболее похожей формой композиции n ACT ONE является операция «конструктор»,
имеющая два и более объектов в качестве входных параметров; это означает, что объекты могут быть
однозначно идентифицированы.
Рассмотрим следующую операцию «конструктор» ACT ONE:
такеСО: Id, Obi. Ob2-> СО
Здесь составной объект создается издвух других объектов, имеющих свои собственные операции
и уравнения, т. е. свое собственное поведение. Хотя объект со = такеСО (idl, оЫ, оЬ2) является
составным объектом из объектов оЫ и о!>2, сам объект со не имеет такого поведения. А именно,
повеление, ассоциированное с оЫ и оЬ2. не применимо к экземплярам СО.
Для решения этой проблемы составной объект может иметь дополнительные операции и
уравнения. Тогда вид этих операций и уравнений и их взаимосвязь с объектами-компонентами
определят вид композиции. Например, если операции и уравнения составного объекта просто позво
ляют получить доступ к изолированным компонентам-объектам, то получается вид делегирования с
композицией объектов-компонентов, представленных в агрегации. Если операции и уравнения
составного объекта заданы таким образом, что изменяют поведение составляющих объектов, то
получается вид композиции, более похожий на описанный в ГОСТ Р ИСО/МЭК 10746-2. Однако
следует заметить, что данное в ГОСТ Р ИСО/МЭК 10746-2 понятие композиции не требует дальней
спецификации, т. е. для создания новых объектов и поведений нужна композиция существующих
объектов и поведений, а не спецификация дополнительного поведения, позволяющего создавать
осмысленную композицию объектов-компонентов.
Композиция поведений —так как ACT ONE не предоставляет специальных операторов компо
зиции, понятие композиции поведений явно не обеспечивается. Надо отметить, что в ACT ONE
существует форма композиции, и это — обогащение. Однако в общем случае оно не может быть
классифицировано как композиция, так как не обеспечивает явную композицию поведений (и
объектов). Обогащение само по себе. т. е. без дополнительной спецификации, не обеспечивает
свойств композиции. При применении обогащения все типы данных существуют независимо. Поня
тие композиции может применяться только в том случае, когда специфицированы операции и
уравнения, которые позволяют использовать сорта, доступные через обогащение. Однако так нельзя
адекватно отразить текст ГОСТ Р ИСО/МЭК 10746-2, т. е. это не тот случай, когда два поведения
просто образуют комбинацию. Для комбинации поведения требуется дополнительная специфика
ция. Обогащение позволяет скомбинировать все существующие операции и уравнения сортов. Таким
образом, повторная спецификация необходима для комбинации поведения, не включенного опера
циями и уравнениями сортов через обогащение.
Некоторая форма композиции поведений может быть получена путем актуализации парамет
ризованных типов данных. Актуализация типа данных должна удовлетворять любым формальным
сортам, операциям и уравнениям актуализируемого типа данных. Это ближе, чем может быть полу
ченосACTONE,кохватупонятиякомпозицииповедений,очерченногов
ГОСТ Р ИСО/МЭК 10746-2. Спорным остается вопрос, представляется ли таким образом компо
зиция поведений, так как поведение параметризованного типа данных не может существовать до
того, как будет актуализировано,т. е. экземпляр этого сорта не может появиться в алгебре обработки и
применяемых операциях.
4.2.2.2 Составной объект
Результат композиции объектов.
4.2.2.3 Декомпозиция
Декомпозиция объектов —в ACT ONE объекты могут быть разложены при условии, что в
связанной с объектом сигнатуре существуют операции, допускающие декомпозицию. Например,
следующий тип данных позволяет разложзггь составной объект на компоненты:
type Z is X, Y, IdType
sorts Z
opns makeZ: Id, X, Y — > Z
getX: Z - > X
getY: Z - > Y
eqns forall x:X, y:Y, id:ID
ofsortX
getX (makeZ (id, x, y)) = x;
of sortY
II