Алгебра объектного анализа предметно области

Алгебра включает объекты и операции над ними:

I = (O'. Г, А') (2.3).

где 0*={0, Ог… О_п) — множество объектов, / = (I, 1₂ … In) — множество интерфейсов; А' =(А, А₂ … А") — множество (Action — А') операций над элементами множества О объектов. Каждая из операций А' имеет определенный приоритет и арность, а также связанные с соответствующими допустимыми описаниями концептов объектов и операций множества А' = {deeds, decdn, comds, comdn, conexp, connar}, где deeds, decdn — декомпозиции, comds, comdn — композиции и conexp, connar — сужение [84].

Утверждение 2. Множество операций А' алгебры объектов является системой действий для функций объектного четырехуровневого представления модели ПрО и операций детализации, экземпляризации и агрегации.

Модель ПрО задается объектным графом G (рис. 2.5, 2.6). Граф рис. 2.5 соответствует обобщенному и структурному уровням логико-математического проектирования ОМ. Граф па рис. 2.6 соответствует ОМ, расширенной интерфейсными объектами для связи их между собой.

Рис. 2.5. Граф ОМ.

Рис. 2.6. Граф ОМ с интерфейсними объектами.

Общий граф G ={О_у /, R) определен на множестве объектов О, интерфейсов I и отношений R (relations) между объектами.

Вершины графа G задают объекты, которые находятся в репозитории, а дуги соответствуют отношениям между ними, Отношения могут задаваться интерфейсными объектами (рис. 2.6). Его элементы описываются в ЯП, а интерфейсные объекты — в специальном языке. Параметры внешних характеристик интерфейсных объектов передаются между объектами и специфицируются in, out, inout в языке IDL системы СогЬа. Объекты помещаются в библиотеку или репозиторий.

В интерфейсном объекте описываются входные и выходные параметры, которыми обмениваются связанные между собой функциональные объекты. Для объектов 0₂ и 0₅ интерфейсным объектом является 0₂₅. который обеспечивает обмен данными для проведения вычислений. Если типы передаваемых параметров в интерфейсном объекте нерелевантные (in integer, out- real), то в нем генерируются функции преобразования integer <-" real [36, 61].

Таким образом, модель ПрО задается объектным графом G ={0, /, R}, определенным на множестве объектов ПрО, интерфейсов / и отношений R (relations) между объектами. Графу присущи такие правила:

• 1) существует хотя бы одна вершина, которая имеет статус множествообъект и отображает ПрО в целом;
• 2) множество вершин графа задает взаимно однозначное отображение объектов ПрО;
• 3) каждой вершине соответствует хотя бы один интерфейс Ik g I и отношения, которые принадлежат множеству R соответственно правилам.

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

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

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

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

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

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