Характеристический уровень проектирования

Объекты определены на структурном уровне абстракции и на этом уровне используют логико-алгебраические операции для модификации объектного графа G — {0} и конкретизации свойств, характеристик объектов и системы предикатов Р над множеством объектов ПрО.

На входе — объектный граф G со спецификациями объектов. Результат уровня — откорректированный и расширенный новыми объектами граф ОМ с дополненными характеристиками и свойствами. Для задания характеристик и свойств (предикатов) строится алгебра.

Пусть Р= (Pj, Р₂,…, Р_г) — множество предикатов на множестве S и О, А = = (О Л j, 0А₂, 0А_к), где для каждого 0/1, существует Р_г такой, что Pj на ОД, принимает значение истины.

Тогда IA: S —> ЕА есть ограничение тождественного отображения S на себя. Пусть А = (А_ь Д₂, …, А_к) — множество объектов, что определены на данном уровне, и ТА: ОА —> А, где каждому ОД, соответствует Д, т. е. определяется отображение между объектами на структурном и характеристическом уровнях 7Д • /Д: 5 —> Д и Л = (Д, Р) определяется алгебры характеристического уровня, в соответствии с которой для каждого из объектов формируется его концепт. Если О' = (О_t, 0₂,…, 0″) — совокупность объектов О, а Р' = (Р_х, Р₂,…, Р,) — множество унарных предикатов, которые связаны со свойствами объектов О, то концепт объекта 0_; является множеством утверждений, которые построены на основе предикатов с Р', что принимают значение истины для соответствующего объекта. То есть Соп,= = {Д, Д и PfOj) = true. Согласно структуре концептов объекты определяются отношением типа «род-вид».

Выражение Д = (O', Р') определяет систему концептов объектов О' и предикатов Р' с помощью 0-арных, унарных и бинарных операций.

Аксиома 7.4. Каждый объект ПрО имеет хотя бы одну характеристику, которая задает семантику и уникальную идентификацию во множестве объектов ПрО.

Для объектов определяются внешние и внутренние характеристики.

Внешние характеристики предназначены для задания проблемной ориентации объектов и их статуса как элементов множеств. Каждое внешнее свойство характеристики отмечается в FM.

Внутренние характеристики объекта предназначены для определения статуса объектов и критерия формирования множества из объектов, эквивалентных внешнему свойству.

Характеристики задаются в виде списка или множества свойств и могут соответствовать разным модельным характеристикам. Любой объект множества или элемент его может соответствовать только одной внешней и внутренней характеристике.

Основное условие — это принадлежность объекта к множеству эквивалентах свойств объекта-множества.

На характеристическом уровне функциональным объектам определяются виды связи — интерфейс, в котором передаются внешние характеристики другим элементам, связанным на графе отношением принадлежности.

Формируется граф G = {О, /, R}, в котором О — множество объектов (функций); I — множество интерфейсов и отношений R (relations) между объектами. В граф G добавляются интерфейсные / (рис. 7.4).

Вершины данного графа G задают функциональные объекты — 0_1? 0₂, 0₃, 0₄, 0₅, 0₆, 0₇, 0₈и интерфейсные объекты — которые размещаются в репозитории, а дуги соответствуют отношениям между всеми видами объектов.

Элементы графа 0^—0₈ описываются в ЯП, а интерфейсные объекты 0'₅—0'_s — в специальном языке IDL (Interface Definition Language) системы CORBA. Параметры внешних характеристик интерфейсных объектов передаются между объектами через интерфейсы и помечаются как in (входной), out (выходной), inout (входной и выходной) в языке IDL.

Множество функциональных объектов графа G соответствует методу реализации этих объектов ПрО. При конкретизации объекты графа G устанавливают связь с другими объектами через интерфейсные параметры ш, out, inout множества интерфейсов I.

Интерфейсным объектам графа соответствуют описание данных, методы их передачи по запросам к удаленным процедурам или методам и возможным операциям преобразования этих данных к соответствующим форматам среды выполнения.

Для графа G на рис. 7.4 можно построить программы Р_{—Р₅с использованием операторов объединения (сборки) link:

Результатом связи двух объектов графа (например, 0₂5 и 0₄₇) является интерфейсный объект, в котором множество входных интерфейсов совпадает с множеством интерфейсов объекта-приемника, а множество исходных интерфейсов — с множеством исходных интерфейсов объекта-передатчика.

Аксиома 7.5. Расширенный граф G с интерфейсными объектами структурно упорядочен (наверх), проконтролирован на полноту, избыточность, в нем устранены дублирующие элементы.

Объекты могут иметь несколько интерфейсов и наследовать интерфейсы других объектов в том случае, когда они предоставляют данные из множества входных интерфейсов.

Множество объектов и интерфейсов графа отмечаются общими характеристиками ОМ. Они считаются достоверными, если выполняется следующее условие: каждая внутренняя характеристика эквивалентна внешней характеристике объекта. Если это условие не выполняется, то такой элемент удаляется из множества О и графа соответственно.

Для реализации бинарного отношения «Part—of» пары «объектэлемент — объект-элемент» используются операции:

• • агрегации для определения совокупности объектов, внешних характеристик с указанным исполнителем подмножеством свойств и порождения нового объекта-множества с внутренней характеристикой, которая состоит из этого подмножества;
• • детализации, которая является обратной по отношению к операции агрегации и позволяет определить список объектов, из которых состоит агрегированный объект-множество.