Delist.ru

Разработка научно-методического аппарата анализа функциональной стабильности критичных информационных систем (30.08.2007)

Автор: Сундеев Павел Викторович

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

Основу теории МК-сетей составляют метод ФИМ декомпозиции информационной архитектуры, методы построения (синтеза) и анализа МК-сетей. Методические взаимосвязи элементов теории показаны на рисунке 7.

Метод ФИМ декомпозиции информационной архитектуры содержит методику модульной классификации информационных элементов и кластерной классификации функционально-информационных связей. Метод обеспечивает построение МК-модели информационной архитектуры в виде FLS-мультиграфа объектно-ориентированной МК-сети.

Рисунок 7 – Структура научно-методического аппарата теории МК-сетей

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

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

Математическая модель информационной архитектуры

В теории МК-сетей рассматриваются конечные множества элементов и функционально-структурных свойств информационной архитектуры:

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

- множества открытых информационных F, L и S интерфейсов модулей (типовых для информационной системы открытых физических, синтаксических и семантических интерфейсов взаимодействия модулей);

, определяемых на множествах Q и FLS.

Множество объектов (модулей) Q системы W

объектов k-го типа;

- множество индексов типов объектов.

Множество отмеченных свойств объекта k-го типа

- v-ое свойство объекта k-го типа;

V(k) - множество обозначений свойств объектов k-го типа.

Множество предикатов (отношений) между объектами

- предикат из числа допустимых отношений, заданных перечнем Q;

( * - множество всех возможных списков.

Тогда система W может быть представлена в виде

Предполагается, что архитектура КИС известна, и можно ввести общую индексацию всех объектов

– общее число объектов в системе.

может быть получено следующим образом.

, между которыми существуют отношения, выраженные в виде

, элементы которого определяют все существенные отношения в системе. Тогда имеем

. Выражение (10) формально описывает FLS-структуру системы W и является математической моделью информационной архитектуры.

Формальное определение МК-сети

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

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

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

и его декомпозиция на остовные FLS-подграфы смежности представлен на рисунке 8.

МК-сети и его декомпозиция на остовные FLS-подграфы

, которое называется полной FLS-дугой.

, имеющих дуги между этими вершинами.

мультиграфа графа G смежные.

, проходящие через одни и те же вершины.

, которые определяют возможные траектории выполнения информационного процесса.

Правила переходов состояний МК-сети

Правила переходов состояний определяют формальные условия, при которых срабатывает переход и МК-сеть переходит в новое состояние.

Страницы: 1  2  3  4  5  6  7  8  9  10  11  12  13