Scientific journal
Fundamental research
ISSN 1812-7339
"Перечень" ВАК
ИФ РИНЦ = 1,674

SYNTHESIS OF OPEN INFORMATION SYSTEMS USING ALGEBRAIC STRUCTURES AS MODELS

Lomakina L.S. 1 Zhevnerchuk D.V. 1
1 Nizhny Novgorod State Technical University n.a. R.E. Alekseev
At present, the task of synthesizing complex technical systems, including open information systems, has been solved fragmentarily and requires direct involvement of the analyst. The aim of the work is to construct a theoretical model of intercomponent interaction of open information systems, as well as a methodology that allows implementing decision support systems in this field. In the work, the solution of the open information systems synthesis problem from the theoretical point of view presupposes a block-hierarchical representation of information processes, services of automated systems, constraints with interfaces that can be described by a set of generalized block properties, and a system of morphisms between interfaces. From a methodological point of view, the synthesis process is formalized through the apparatus of semantic networks and rules for the synthesis of classes and object properties.
G-interface
I-component
category
morphism
monoid
semantic network

Современная информационная инфраструктура состоит из информационных и вычислительных ресурсов, объединяемых цифровыми средствами телекоммуникаций, представляет собой гетерогенную среду, построенную на разнородных платформах – от персональных компьютеров до супер-ЭВМ, использующих различные операционные системы.

В процессе создания сложных информационных систем неизбежно возникает проблема совместимости входящих в среду компонент. В настоящее время общепризнано, что информационная инфраструктура любого уровня – глобальная, национальная, региональная, отраслевая, организации и т.д. – должна основываться на принципах открытых систем, существо которых состоит в обеспечении совместимости всех используемых программно-аппаратных компонентов за счет согласованного набора стандартов [1] – профиля. Применение системы стандартов, определяющей требования к техническим характеристикам программных компонент возможно только при создании или модифицировании исходного кода, что затрудняет интеграцию существующих сложных программных комплексов в открытую систему, и это приводит к тому, что на проектирование и внедрение открытой информационной системы тратится много времени и средств, и конечный результат часто не полностью удовлетворяет целевым нуждам [2–4].

Можно выделить ряд свойств [2], которыми обладают современные информационные системы: гетерогенность, способность быть встраиваемым в другие системы компонентом, мобильность, как самой системы, так и ее компонентов, к тому же известны проблемы, возникающие на разных этапах жизненного цикла: управление переходными процессами, управление профилем, управление ресурсом.

В статье предложена модель открытой информационной системы на основе алгебраических структур [5–7], в которой формализована система базовых морфизмов между обобщенными свойствами, интерпретируемыми как интерфейс отдельных блоков. Также описана методика синтеза открытых информационных систем.

Теоретическая часть

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

Определение 1. Обобщенное свойство блока – это такое подмножество элементарных свойств блока, которое может быть интерпретировано.

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

Определение 2. Семейство обобщенных свойств блока – это множество всех обобщенных свойств блока.

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

Определение 3. О-интерфейс (обобщенный интерфейс) блока – это множество пар обобщенных свойств, интерпретируемых как интерфейс, причем для первого и для второго элемента пары установлено соответствие с множеством точек входа и точек выхода соответственно.

Определение 4. И-компонент (интероперабельный компонент) – это блок информационной системы, для которого определен обобщенный интерфейс.

Информационные процессы, на поддержку которых направлена целевая информационная система, ее блоки, а также внешние ограничения могут быть представлены интероперабельными компонентами, при этом межкомпонентное взаимодействие описывается системой морфизмов [6, 7] между множествами, на которых определены обобщенные свойства, интерпретируемые как интерфейсы.

В работе предлагается использовать конструкцию «Категория» [6], позволяющую формализовать систему морфизмов в виде шаблона (паттерна), представляющего собой ориентированный граф, узлами которого являются абстрактные объекты, а ребрами – морфизмы:

Определение 5. Категория C задается: а) классом объектов Ob(C); б) для любых двух объектов A, B∈Ob(C), множеством HomC (A, B), элементы которого называются морфизмами из A в B в категории C; в) для любых трех объектов A, B, D∈Ob(C) задана композиция

lom01.wmf,

lom02.wmf.

Причем выполняются следующие аксиомы:

Аксиома 1. Различные множества морфизмов не пересекаются: пусть A, B, D, Е∈Ob(C); тогда если lom03.wmf, то A = B и D = E и можно говорить о классе всех морфизмов lom04.wmf

Аксиома 2. Композиция морфизмов ассоциативна, т.е. для всех

lom05.wmf

Аксиома 3. У любого объекта A∈Ob(C) существует (и единственный в силу ассоциативности) тождественный морфизм lom06.wmf. При этом для любых двух объектов A, B∈Ob(C) и для любого морфизма lom07.wmf выполнено lom08.wmf

Пусть блок B1 определяется свойствами PB1 = {p11, p12, … ,p1n}, а блок B2 определяется свойствами PB2 = {p21, p22, … ,p2m}, причем lom09.wmf где lom10.wmf, если выполняются следующие условия:

1. lom11.wmf (идентификаторы свойств равны, причем под идентификатором может пониматься уникальное имя или дескриптор, содержащий кроме имени дополнительные параметры).

2. Если q определено на множестве точек входа/выхода блока B1, а r – на множестве точек выхода/входа B2 соответственно.

3. Если для q, привязанного к точке входа блока B1 и r, привязанного к точке выхода блока B2: lom12.wmf, где Dom – область определения элементарного свойства блока.

Определение 6. Совмещение – операция пересечения (1) с условиями (1–3).

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

Определение 7. Моноид – это категория с одним объектом, определяемая множеством своих стрелок, единичной стрелкой и правилом композиции стрелок и описываемое как множество М с бинарной операцией M×M>M, ассоциативной и имеющей единицу.

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

Определение 8. Состояние О-интерфейса – это подмножество элементарных свойств, обладающих устойчивыми значениями дескрипторов, базовых типов и ограничений, определенное на двух и более блоках, причем существует как минимум одна точка входа и как минимум одна точка выхода, к которой это подмножество свойств привязано.

Утверждение 1. Существуют такие состояния О-интерфейса, в которых процесс межкомпонентного взаимодействия может быть описан моноидом.

Следствие. В общем случае процесс межкомпонентного взаимодействия может быть описан множеством моноидов.

Действительно, представление межкомпонентного взаимодействия в форме моноида возможно, если компонент является И-компонентом, причем существует единственный базовый тип каждого элементарного свойства, определяющего состояние обобщенного интерфейса (рис. 1).

Обобщенный интерфейс может находиться в однородном (рис. 1, а) и гетерогенном (рис. 1, б) состоянии. Первому случаю соответствует моноид, на котором в качестве умножения принята операция совмещения (1).

На основе определений обобщенного интерфейса, интероперабельного компонента, а также базовых алгебраических моделей была построена методика синтеза открытых информационных систем.

Методика синтеза открытых информационных систем

Основная идея методики состоит в унифицированном компонентном представлении информационных процессов, программных и аппаратных модулей, программного кода, а также конструктивных, электрических/оптических, информационных ограничений как элементов информационных систем, обладающих интерфейсами (рис. 2).

При переходе от блочного [8] к компонентному представлению открытой информационной системы с каждый блоком, описываемым классом семантической сети [3], связывается множество элементарных свойств, на основе которых формируются обобщенные свойства, определяющие поведение и интерфейсы блока (рис. 3).

Блок информационной системы, на котором определено множество поведений и интерфейсов, будем называть компонентом информационной системы.

lomak1a.wmf lomak1b.wmf

а б

Рис. 1. Модели межкомпонентного взаимодействия на основе категорий а) обобщенный интерфейс в однородном состоянии, б) обобщенный интерфейс в гетерогенном состоянии

lomak2.wmf

Рис. 2. Элементы информационных систем. Блочное представление

lomak3.wmf

а) б)

Рис. 3. Компонентная архитектура с поведением и интерфейсами как обобщенными свойствами блоков: а) блочное представление, б) компонентное представление

lomak4.wmf

Рис. 4. Структура совместимости и интероперабельности компонент

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

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

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

lomak5.wmf

Рис. 5. Многоуровневая структура компонента

Для примера рассмотрим компонент 8, включающий в качестве составных частей компоненты 6 и 7, которые, в свою очередь, также состоят из компонентов. В зависимости от точки зрения компонент 6 может одновременно рассматриваться как часть системы 8 (элемент системы 8) и как компонент внешней системы по отношению к компоненту 7. Компонент 3 рассматривается как внутренний компонент системы 6 и как компонент внешней среды по отношению к 1 и 2.

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

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

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

Выводы

В статье были формализованы понятия интероперабельного компонента и обобщенного интерфейса. Предложенные базовые модели межкомпонентного взаимодействия на основе алгебраических структур позволили системно рассмотреть процессы синтеза открытых информационных систем и построить методику, которая может быть использована в качестве базовой при создании прикладных методик для решения следующих задач:

1. Унификация базы ресурсов предприятия [8].

2. Проектирование единых информационных пространств уровня предприятия, группы предприятий, отрасли [8].

3. Синтез систем планирования и балансировки ресурсов, адаптивных к внешним нагрузкам.

4. Разработка динамических моделей комплексного ресурса на основе результатов мониторинга.

5. Синтез структуры информационных систем, определяющих физическую, конструктивную, электрооптическую и информационную совместимость (интероперабельность) компонент.