Модульно-кластерные сети: основы теории

Размещено на http://www.allbest.ru/

15

Кубанский государственный технологический университет

Модульно-кластерные сети: основы теории

Сундеев П.В., - к.т.н.

Аннотация

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

In clause the main rules of the theory of modular-cluster networks are opened. The methods of the theory allow effectively to troubleshoot of dynamic simulation of complex information systems at solution of the class of the tasks coupled to the analysis of functional - structural properties of the information architecture.

Введение

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

Решение проблемы для некоторого класса задач становится возможным, если принять парадигму трехуровневого информационного взаимодействия, учитывающую наличие трех фаз реализации любого информационного взаимодействия: физической, синтаксической и семантической [5]. Описание функциональных возможностей информационных объектов системы через их открытые физические F, синтаксические L и семантические S интерфейсы взаимодействия (FLS-интерфейсы) в сочетании с применением метода функционально-информационной модульной декомпозиции [6] позволяет выделить в информационной архитектуре типовые функционально-информационные модули и формально задать их функционально-структурные свойства, определяющие смену состояний системы.

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

Для построения и анализа математической модели информационной архитектуры, представленной в виде модульно-кластерной сети, разработаны соответствующие методы, которые можно определить в качестве основных положений теории модульно-кластерных сетей. Методы разработаны для решения сложной проблемы формализации анализа функциональной безопасности архитектуры критичных информационных систем (КИС). Они позволяют синтезировать адекватные математические модели, отражающие существенные структурные характеристики исследуемой информационной архитектуры, и обеспечивают ее формальный анализ с доказательством функциональной безопасности на основе логического вывода в дедуктивной системе [6,7].

1. Постановка задачи синтеза и анализа модульно-кластерной сети при решении задачи анализа функциональной безопасности информационной архитектуры

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

Пусть конечное множество объектов x, принадлежащих множеству X, составляют систему W. Каждый объект x обладает некоторым свойством v из конечного множества свойств V, определенного на множестве X. Конкретный набор свойств всех объектов множества X в дискретный момент времени определяет состояние системы W. Все состояния принадлежат конечному множеству состояний Ш системы W.

Если в момент времени t, определяющего дискретное состояние системы W, существуют такие объекты x, принадлежащие конечному множеству объектов системы W, которые обладают свойствами v из конечного множества свойств V, реализующих информационное взаимодействие, и при этом внешним правилом определено что оно не безопасно, то состояние относится к множеству функционально опасных (нестабильных) состояний системы W.

Пусть задано множество Ш объектов анализа и некоторое свойство v этого множества. Свойство v для некоторого объекта x может быть задано предикатом , определенным как функция на множестве Ш со значениями «истина» (И) и «ложь» (Л) P_v : Ш > {И, Л}.

Если Ш - множество состояний системы, - безопасное состояние, - опасное состояние, v - свойство «быть безопасным», то () = И, () = Л для всех . Множество Ш разбивается предикатом на два подмножества: - безопасные состояния системы и - опасные состояния системы. При этом справедливо , .

Вычислением значения истинности предиката решается задача анализа безопасности некоторого объекта х.

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

Задача анализа решается путем вычисления значения предиката , который принимает значение «истина», если объект х является j-ой модификацией и значение «ложь» в противном случае. Представление логического компонента алгоритма анализа функциональной безопасности в виде формальных операций логического следования на множестве предложений языка задания объекта анализа позволяет рассматривать процесс доказательства функциональной безопасности архитектуры как многоуровневый управляемый логический вывод некоторого выражения этого языка, который отыскивается в ходе построения эксперимента.

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

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

2. Метод построения модульно-кластерной сети

Построение модульно-кластерной модели основано на последовательном эквивалентном преобразовании графовой и математической (матрично-логической) моделей информационной архитектуры, представленных в виде модульно-кластерной сети. Предлагаемый комплекс моделей ориентирован на автоматизированное моделирование информационной архитектуры и анализ ее функциональной безопасности с корректировкой исходных данных при смене состояний системы. Исходными данными для моделирования являются получаемые в результате предварительного обследования сведения о парных физических F, синтаксических L и семантических S информационных отношениях (FLS_отношениях) между наборами информационных объектов (модулей) архитектуры КИС и кластерных FLS_ограничениях на их функциональность, обеспечивающих безопасность информационного процесса. Исходная объектно-ориентированная модель формируется в виде графовой формы модульно-кластерной сети с использованием парадигмы трехуровневого информационного взаимодействия и метода функционально-информационной модульной декомпозиции [6]. Метод декомпозиции позволяет разделить информационную систему на функциональную и исполнительную подсистемы, отнести функционально-информационные модули к классам и объектам, определить типовые для модулей FLS-интерфейсы.

Решение задачи анализа функциональной безопасности информационной архитектуры состоит в определении отсутствия траекторий, приводящих систему в опасные состояния, при установлении конкретных типов FLS_отношений между информационными объектами. Для реализации формального анализа система представляется в виде комплекса ортогональных матриц и логических правил преобразования матриц, определяющих семантику информационных отношений и позволяющих отразить динамику смены состояний в ходе реализации информационного процесса. Каждое состояние из конечного множества Ш всех состояний системы W определяется мультиграфом, вершинами которого являются информационные объекты системы, а дугами - информационные FLS_отношения между ними.

Пусть - множество информационных объектов (модулей), составляющих информационную архитектуру системы W, где N их число. Пусть мультиграф информационных взаимосвязей, множество вершин которого составляют информационные объекты из множества Q, а множеством дуг является множество существующих между ними FLS-отношений. Причем для реализации информационного взаимодействия между парой информационных объектов и потребуется последовательное установление соответствующих F, L и S отношений. Информационным дугам будет соответствовать запись «1» в соответствующих матрицах смежности F ^C, L^C и S ^C модулей (FLS-матрицы смежности).

Под матрицами смежности F ^C, L^C и S ^C понимаются квадратные бинарные матрицы, проиндексированные по обеим осям порядковыми номерами информационных объектов (модулей) из множества . Матрица F ^C, L^C или S ^C содержит запись «1» в позиции , если и только если на основании исходных данных о структуре FLS-отношений между информационными объектами и существует соответствующее P^F, P^L или P^S отношение, такое, что для получения F, L или S доступа к информационному объекту необходимо соответствующее F, L или S обращение к информационному объекту , а также наличие записи «1» в позиции F ^C матрицы, если проводится построение L^С матрицы, или записи «1» в той же позиции F ^C и L^C матриц, если проводится построение S ^С матрицы, т.е.

где .

При отсутствии , или отношений в позициях соответствующих F ^C, L^C или S ^C матриц смежности записывается «0». Для упрощения модели предполагается, что каждый информационный объект достижим из самого себя, т.е. главные диагонали FLS-матриц смежности содержат запись «1».

Каждой записи «1» в позиции FLS-матриц смежности соответствует подматрица смежных , или информационных интерфейсов (FLS-интерфейсов) модулей. Построение подматриц FLS-интерфейсов производится на основе данных о входных и выходных FLS-интерфейсах модулей, которые содержаться в графической объектно-ориентированной модульно-кластерной модели информационной архитектуры. Столбцы FLS-подматриц проиндексированы номерами соответствующих выходных F, L или S интерфейсов объекта q_i, а строки проиндексированы номерами соответствующих входных F, L или S интерфейсов объекта q_j. Выделение типовых FLS-интерфейсов, их классификация, введение общей нумерации в пределах множеств интерфейсов F^I, L^I и S^I, определение наличия интерфейсов у модулей производится на стадии обследования системы и построения объектно-ориентированной модульно-кластерной модели информационной архитектуры. Элементам подматриц FLS-интерфейсов присваивается значение «1», если и только если совпадают номера соответствующих парных (выходных для q_i и входных для q_j) FLS-интерфейсов.

где - номера позиций элементов FLS-матриц смежности модулей, соответствующего списку объектов из множества , ;

, , - подматрицы смежных физических, синтаксических и семантических выходных для объектов q_i и входных для объектов q_j информационных интерфейсов;

,, - индексы подматриц физических, синтаксических и семантических интерфейсов;

, , - номера выходных FLS-интерфейсов объекта q_i;

, , - номера входных FLS-интерфейсов объекта q_j;

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

Каждой бинарной паре S-интерфейсов образующих отношение типа «выход-вход» между парой информационных элементов соответствует одно или несколько логических правил, на основании которых происходит преобразование FLS-матриц смежности, подматриц FLS-интерфейсов модулей, графической объектно-ориентированной модульно-кластерной модели и матриц достижимости модулей F^Д, L^Д и S^Д. Логические правила определяют семантику процедур обработки данных исполнительной подсистемой в ходе реализации информационного процесса [6, 8]. Их применение к исходным матрицам смежности дает возможность получить все промежуточные состояния системы в виде FLS_матриц достижимости модулей, отражающих динамику поведения модели системы W.

Под FLS-матрицами достижимости модулей понимаются квадратные бинарные матрицы, проиндексированные по обеим осям порядковыми номерами информационных объектов из множества , где N* =N+Д и Д - число информационных элементов, включенных в систему при изменении ее состояний. Запись «1» или «0» в каждой позиции FLS-матриц достижимости модулей соответствует наличию либо отсутствию для всех упорядоченных пар информационных элементов отношений достижимости P^F, P^L или P^S, обладающих свойством транзитивности. Информационный элемент достижим из информационного элемента , если на графе информационных взаимосвязей можно указать направленный путь от вершины к вершине , т.е. если для получения информационного FLS-доступа к объекту используется информационный объект . Если строки FLS-матриц достижимости не содержат единиц, то соответствующие им информационные элементы являются выходными. Тогда выходной элемент соответствует тупиковой вершине в FLS-подграфе мультиграфа .

Различным квадратным бинарным FLS-матрицам смежности соответствует единственная F^Д, L^Д или S^Д матрица достижимости и они связаны булевым уравнением

где показатель степени m является положительным целым числом, которое меньше максимального числа модулей, составляющих архитектуру КИС (mN*-1). FLS-матрицы достижимости определяют FLS-подграфы общего графа достижимости.

Данные о кластерных FLS-ограничениях функциональности информационных объектов формируются на основе требований по функциональной безопасности информационной архитектуры или других ограничительных требований заданных системой управления. Под кластерными FLS-матрицами понимаются квадратные бинарные матрицы, проиндексированные по обеим осям множеством информационных объектов архитектуры , которое в ходе анализа преобразуется во множество . Кластерные FLS-матрицы содержат запись «1» в позиции , если и только если априорные данные не содержат запрета на установление FLS-отношений между парой информационных объектов , т.е. информационные объекты и принадлежат соответствующему безопасному FLS-кластеру. В противном случае позиция содержит запись «0». Таким образом, кластерные FLS-матрицы формально отражают информацию о кластерных FLS-ограничениях.

3. Метод анализа модульно-кластерный сетей

Метод анализа модульно-кластерных сетей основан на сравнении функционально-структурных свойств существующей и декларируемой функционально-информационной структуры системы [6,7].

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

Анализ функциональной безопасности информационной архитектуры проводится методом сравнения соответствующих кластерных FLS-матриц и FLS-матриц достижимости модулей. Наличие в FLS-матрице достижимости в позиции записи «1» при отсутствии в соответствующей кластерной FLS-матрице записи «1» в той же позиции позволяет сделать вывод о наличии траектории информационного процесса, приводящей систему в функционально опасное состояние.

Наличие в позиции F ^О, L ^О или S ^О матриц функционально опасных состояний записи «1» указывает на вершины графа (узлы архитектуры), между которыми имеется возможность опасного взаимодействия и для которых необходимо принимать решение о введении дополнительных функциональных ограничений или отмене кластерных ограничений. информационный кластерный эвристика

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

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

Концептуальная схема синтеза и анализа формализованной модели информационной архитектуры на основе методов построения и анализа модульно-кластерных сетей представлена на рисунке 1.

Рисунок 1 -Концептуальная схема синтеза и анализа формализованной модели информационной архитектуры

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

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

2. Определение парных FLS-отношений между модулями, формирование множеств FLS-интерфейсов модулей, распределение модулей по FLS-кластерам.

3. Построение модульно-кластерной сети в виде мультиграфа в объектно-ориентированной среде.

4. Заполнение FLS-матриц смежности, FLS-подматриц информационных интерфейсов модулей и кластерных FLS-матриц на основе данных графической объектно-ориентированной модели.

5. Описание FLS-матриц смежности, FLS-подматриц информационных интерфейсов модулей и кластерных FLS-матриц в виде фактов логической модели.

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

7. Сравнение FLS-матриц достижимости и кластерных FLS-матриц, формирование FLS-матриц опасных состояний системы.

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

Выводы

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

Список литературы

1. Мачулин В.В. Основы автоматизированного синтеза математических моделей информационно-вычислительных комплексов АСУ. - М.: МО СССР, 1986. - 236 с.

2. Мамиконов А.Г., Кульба В.В. Синтез оптимальных модульных систем обработки данных. - М.: Наука, 1986, 275 с.

3. Шуткин Л. В. Парадигма модульного мышления в компьютерной науке и практике // М. НТИ, Сер. 2, 2004.- № 10.- С. 1-12.

4. Grenander U. General Pattern Theory, Oxford University Press, 1993, 904 pp.

5. Сундеев П.В. Проблема автоматизации анализа функциональной стабильности критичных систем управления в промышленности // Автоматизация в промышленности. - 2004. - № 10.- С. 9-12.

6. Симанков В.С., Сундеев П.В. Системный анализ функциональной стабильности критичных информационных систем. Монография / под науч. ред. В.С. Симанкова. КубГТУ, ИСТЭк. - Краснодар, 2004. - 204 с.

7. Сундеев П.В. Модульно-кластерный анализ: аспекты информационной безопасности // Известия ТРТУ. Тематический выпуск. Материалы VII Международной научно-практической конференции «Информационная безопасность». - Таганрог: Издательство ТРТУ, 2005.- № 4 (48).- С. 53-60.

8. Симанков В.С., Сундеев П.В. Автоматизация анализа функциональной стабильности информационных систем критичных промышленных объектов // Проблемы машиностроения и автоматизации. - 2004. - № 3.- С. 24-29.

Размещено на Allbest.ru