Научная статья на тему 'Кластерное программное обеспечение автоматизированной информационной системы'

Кластерное программное обеспечение автоматизированной информационной системы Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
239
27
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КЛАСТЕРИЗАЦИЯ / ФРАКТАЛЬНАЯ СТРУКТУРА / ТЕОРИЯ МНОЖЕСТВ / ТЕОРИЯ КАТЕГОРИЙ / ОБЪЕКТ / МОРФИЗМ / АВТОМАТИЗИРОВАННАЯ ИНФОРМАЦИОННАЯ СИСТЕМА / ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ / МОДУЛЬ / CLUSTERING / FRACTAL STRUCTURE / SET THEORY / CATEGORY THEORY / OBJECT / MORPHISM / AUTOMATED INFORMATION SYSTEM / SOFTWARE / MODULE

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Куликов Геннадий Григорьевич, Антонов Вячеслав Викторович, Конев Константин Анатольевич

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

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

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

CLUSTER SOFTWARE OF AUTOMATED INFORMATION SYSTEM

In the article, we propose a new approach to creating a clustered software structure that provides the greatest protection against gaining an attacker's control over system support for decision-making, as well as high resistance to corruption and burglary. An approach is considered to solve the problem of software information system security by clustering it into modules. The possibility of formal construction of such structures by methods of set theory and category theory is shown. It is proved that the set of modules satisfies all postulates and axioms of category theory, hence is a category. The conditions for the fractal representation of the automated information system from the level of structural modules of the system to the level of microinstructions with the identification of specific objects and morphisms at hierarchy levels are determined.

Текст научной работы на тему «Кластерное программное обеспечение автоматизированной информационной системы»

УДК 004.056.5

DOI: 10.14529/^сг180202

КЛАСТЕРНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ АВТОМАТИЗИРОВАННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ

Г.Г. Куликов, В.В. Антонов, К.А. Конев

Уфимский государственный авиационный технический университет, г. Уфа, Россия

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

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

Введение

Прогресс идёт семимильными шагами и комплексная автоматизация бизнес-процессов для крупных и даже средних по размеру организаций становится всё более актуальной проблемой, особенно на высоко конкурентных рынках, требующих минимизировать затраты, сроки, ошибки. Очевидно, что механизм управления в любой социально-экономической системе (команда, организация, служба, фонд и т. д.) является важнейшим компонентом. Существует множество подходов к повышению эффективности данного механизма (см. например [9, 11]), которые обычно предполагают его формализацию и автоматизацию. При этом автоматизация данного механизма сильно тормозится именно соображениями безопасности. Действительно, программа, способная стать источником команд для подразделений организации - прекрасная мишень для любых злоумышленников: от жуликов до террористов. Поэтому подходы к созданию проекта программного обеспечения (ПО) автоматизированной информационной системы (АИС) должны изначально отталкиваться от задач по максимальному противодействию любому злоумышленнику, изначально выстраивая структуры, в которых чрезвычайно сложно нарушить или перехватить управление. Одним из подходов по решению данной задачи является кластеризация программного обеспечения, позволяющая за счёт создания дополнительных механизмов управления модулями существенно затруднить перехват управления злоумышленником.

1. Концепция кластерного программного обеспечения

для автоматизированной информационной системы

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

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

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

Необходимыми элементами такой программной системы являются:

- механизм самодиагностики;

- механизм подключения модулей, включающий адаптивное множество связей между модулями;

- механизм сокрытия резервных модулей.

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

Введем следующие обозначения:

А - имя атрибута;

D - значение атрибута;

Ф: А ^ D - отображение, ставящее в соответствие каждому атрибуту множество его возможных значений.

Тогда теоретико-множественное представление процесса AiDi^,I = 1,...,п| есть множество пар имён и значений атрибутов, взаимодействующих между собой на основе множества правил (обозначим п). Обозначим через G = {&,G| множество отношений атрибутов (G - количественные отношения, & - качественные отношения).

Если ввести понятие характеристики процесса х1, то её можно определить следующим образом:

где а - совокупность сведений, характеризующих объекты, которая может быть представлена в виде векторов параметров у^ = |у1,..., у'п| .

Будем считать, что для & определено множество типов оценки Т . Т - множество значений лингвистической переменной А (терм-множество), представляющих собой наименования нечетких переменных, областью определения каждой из которых является множество X. Множество Т называется базовым терм-множеством лингвистической переменной А [12]. Значения разбиваются на классы объектов, которые взаимодействуют друг с другом на основе правил. Очевидно, что множество правил оценки определяется кортежем следующего вида:

Отсюда из (1) и (2) получаем формальное определение процесса в виде кортежа компонентов

В частном случае с А можно сопоставить набор модулей, а с D - множество принимаемых значений их состояний («текущий», «активный», «резервный», «аварийный», «опасный»). Множество отношений между модулями может быть выражено количественно и качественно

(& = {&, & |). Правила п соотношений пар {модуль, состояние} будут определяться механизмом

опроса, вызова, диагностики и отключения модулей, которые будут связаны с множеством типов выбора Т («модуль работоспособен», «модуль скорее работоспособен», «модуль скорее не работоспособен», «модуль неработоспособен»).

Совокупность информационных характеристик процесса, установленных отношений и правил установления отношений можно использовать для формального определения процесса в виде кортежа компонентов, что с учётом (3) даст выражение:

(1)

(2)

(3)

z = {x,Gл}.

(4)

На основании (4) и учитывая, что конфигурация ПО будет квалифицироваться конечным количеством взаимодействий бизнес-процессов, можем представить её в виде автоматизированной информационной системы, управляемой и инвариантной по времени. Очевидно, что данная система будет характеризоваться конечным количеством состояний. Так как в теории категорий преобразования объектов (объекты - аналоги множеств, преобразования - аналоги отображений) входят в аксиоматическое определение наравне с объектами, наибольшее внимание может быть уделено различным формам их преобразований.

Состояние автоматизированной информационной системы Q определяется соотношением информационных характеристик предметной области £, множествами свойств, определяемых связями между элементами Р и множеством отношений объектов G :

Я = {£, Р, С}. (5)

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

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

2. Кластерное программное обеспечение АИС

Принцип иерархии системного анализа [14] утверждает, что сложные системы, как правило, имеют уровневые структуры, в рамках которых возможно определение закономерностей их саморазвития. Более того, такие сложные системы, как общество, организация или АИС имеют сложную онтологию, определяющую основные понятия и принципы их функционирования [7, 8], что предполагает наличие сложных взаимосвязей и между уровнями композиции этих систем. Поскольку уровень программных модулей есть композиция АИС, докажем на уровне АИС, что кластеризация подобна уровню модуля.

Введем следующие обозначения:

Т = {ti: 1 е I} - множество типов объектов;

5 : Т ^ 2А - отображение, ставящее в соответствие каждому типу объекта множество его имен атрибутов.

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

и = {х, : 1 е I} - множество объектов;

у: и ^ Т - отображение, которое ставит в соответствие каждому объекту его тип.

Данное отображение показывает соотношение модулей с их типами по шкале нечёткой оценки.

Тогда каждый объект может быть охарактеризован своей «информационной схемой», которая представима кортежем:

£ = ({А1 },Ф,Т,5) , (6)

где {А]} - множество имён атрибутов категории объекта с номером /; {DJ} - множество значений атрибутов категории объекта с номером ].

Данная схема (6) показывает связь всех модулей в ПО, всех их возможных состояний, а также отображения на множестве типов и атрибутов.

Тогда ПО объекта, сформированное по схеме S, представима кортежем

и£ = ^{А]} },ф,Т,5,и,^ . (7)

Тогда ПО всех объектов:

и£ ={и£' : 1 е I}, (8)

где £ = ^ : ] е I}.

Схемы отображения модулей ПО на множестве типов и атрибутов построены (см. (7) и (8)). Докажем корректность представления множества модулей, входящих в программное обеспечение АИС, в виде категории.

3. Построение категории на множестве модулей ПО АИС

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

Интуитивно множество модулей ПО - есть категория, поскольку оперирование модулями в операционной системе осуществляется на уровне экземпляров, являющихся копиями (см. например [1]). Рассмотрим аналитическое доказательство данного утверждения.

Допустим А - множество модулей, являющееся категорией. Тогда данное множество должно соответствовать следующим постулатам и аксиомам теории категорий.

Постулаты:

1. Для каждой пары объектов А и В задано множество морфизмов (или стрелок Нот5 (А, В)), причём каждому морфизму соответствуют единственные А и В .

2. Для пары морфизмов f е Нот(А,В) и g е Нот(В,С) определена композиция

f ° g е Нот (А, С) .

3. Для каждого объекта А задан тождественный морфизм idA е Нот (А, А) .

Аксиомы:

1. Операция композиции ассоциативна: h ° (g ° f ) = (h ° g ) о f .

2. Тождественный морфизм действует тривиально: / ° idA = idв ° / = / для f е Нот(А,В) .

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

Постулат 1. Учитывая, что в процессе выполнения ПО структура модулей не меняется, то для модулей А и В , между которыми есть отношение, существует морфизм соответствующий единственным А и В .

Постулат 2. Учитывая, что из модуля А можно перейти в модуль В, а оттуда в модуль С, то определена композиция морфизмов из А в С .

На практике это реализуется за счёт создания нового объекта (модуля), нацеленного на согласование модулей.

Постулат 3. Каждый модуль может вызывать собственные подпрограммы и переменные, т. е. обладает тождественным морфизмом.

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

Ассоциативность также обеспечивается механизмом согласования модулей.

Аксиома 2. Если для модуля А создано тождественное отображение А и при условии, что существует морфизм из А в В , то для модуля В существует и тождественное отображение В (рис. 1). Иными словами, если модули включены в механизм согласования, то оба они обладают тождественным морфизмом.

Таким образом, множество модулей в рамках ПО, для которого задан механизм (модуль) согласования, является категорией.

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

h

^ ° /)=

= (h ° 8) ° /

А

8 /

Б

к

У

В

V > В

Рис. 1. Ассоциативность композиции и тождественный морфизм для категории «модуль»

Введём понятие «множество ресурсов вычислительной системы». Нетрудно показать, что данное множество также является категорией. Тогда АИС тоже будет категорией, для которой категории «множество модулей» и «множество ресурсов» будут декомпозицией. Очевидно, что для уровня АИС также имеется «множество ресурсов», к которым она имеет доступ с соответствующими правилами и ограничениями, т. е. выводы, сделанные для уровня ПО, будут справедливы и для уровня АИС.

4. Фрактальный подход к программной реализации

информационной системы (ИС)

Фракталом [17] может называться предмет, обладающий, по крайней мере, одним из указанных ниже свойств:

• нетривиальной структурой на всех масштабах;

• самоподобие или приближённое самоподобие;

• дробная метрическая размерность или метрическая размерность, превосходящая топологическую.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Математически фрактал определяется как множество с нецелой размерностью [15]. В философском смысле, если представить всю совокупность знаний о предметной области в виде множества информационных миров S = }, i = 1,..., п, в котором присутствуют однотипные

объекты ¡1 = |Ру }, ) = 1,. ., т из информационного пространства L, где Р) - совокупность свойств этих объектов, то можно задать множество отображений из любого слоя в каждый

слой:

Р = Р :^^},Р ={/т :¡к ^¡т),

где (sг,S) )е <5", ¡к е Sг, ¡т е [15].

(9)

Аналогичным (9) образом на основе сделанных ранее выводов можно предположить, что программная реализация автоматизированной информационной системы также может быть представлена в виде многоуровневой фрактальной стратифицированной модели, аналогично тому, как это было ранее показано для структурной модели организационной системы [10, 13, 16] и её онтологического представления [6].

Представим АИС в виде иерархии уровней (слоёв) R = R2, R3, R4, R5} и рассмотрим позицию категории «Автоматизированная информационная система» на них (см. таблицу).

ком-

Отображения АИС на уровнях иерархии

Уровни иерархии Иерархия объектов основных категорий Основные отображения

1. АИС (R5) Множество информационных систем ^ = {751,. ., }, где N - число информационных систем. Множество информационных ресурсов организации Ят = {я/я,..., ЯД}, где М5 - число доступных информационных ресурсов и систем в организации : Я5 ^ Я4 - отображение АИС на уровень программ, реализуемое средствами операционной системы; F35 : Я5 ^ Я3 - отображение АИС на уровень модуля, реализуемое средствами операционной системы

2. Программы (R4) Множество программР = {рх,...,}, где Щ4- число программ. Множество ресурсов системы и локальной сетиЯт = {<",...,Я^}, где М4 - число доступных ресурсов системы и локальной сети F34 : Я4 ^ Я3 - отображение программы на уровень модулей, реализуемое средствами языка программирования; F24 : Я4 ^ Я2 - отображение программы на уровень оператора, реализуемое средствами языка программирования; F14 : Я4 ^ Я1 - отображение программы на уровень микрокоманд, реализуемое интерпретаторами языка программирования

3. Модуля (R3) Множество модулей М = {Мх,...,Мщ}, где Щ - число модулей в программе. Множество ресурсов вычислительной системы (компьютера) Яс = {Яс,..., ЯМ3} , где М3 - число доступных ресурсов вычислительной системы F23 : Я3 ^ Я2 - отображение модуля на уровень операторов, реализуемое средствами языка программирования; F13 : Я3 ^ Я1 - отображение модуля на уровень микрокоманд, интерпретаторами языка программирования

4. Оператора (R2) Множество операторов Ор = {Орх,..., Орщ }, где Щ - число операторов, используемых в программе. Множество ресурсов программной среды (языка) ЯР = {яр,..., ЯМ2}, где М2 - число доступных операторов и операций F12 : Я2 ^ Я1 - отображение операторов на уровне микрокоманд, реализуемое интерпретаторами языка программирования

5. Микрокоманды (Ri) Множество микрокоманд К = {кх,..., Кщ}, где Щ - число прерываний. Множество ресурсов программно-аппаратной системы ЯТ ={ЯТ,..., ЯТЩ}, гдеМх-число доступных операторов и операций -

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

Покажем эти правила в графической форме на рис. 2.

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

Допустим, что уровень АИС не крайний. Например, если конкретная АИС выступает компонентом в корпоративной информационной системе (КИС) организации, то можно построить новый уровень - уровень КИС, но при условии наличия сформированных правил взаимодействия разнотипных ИС, которые в неё входят.

Продолжая данную логику, можно предсказать возникновение уровня глобальных ИС, которые будут включать КИС организаций в качестве компонент. Но на нынешнем уровне развития это пока не реализуется по причине отсутствия правил взаимоотношений между КИС различных организаций. Однако в части отдельных КИС такой процесс уже идёт. Так, базы данных должников доступна нескольким банкам, база данных налоговых органов доступна МВД и т. д. Формализация категории «глобальная ИС» возможно будет реализована на основе технологий семантического веба (как платформы) и блокчейн (как заменителя категории «ресурсы»), но рассмотрение данного вопроса выходит за рамки данной статьи.

Заключение

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

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

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

Литература

1. Антонов, В.В. Метод проектирования адаптивного программного комплекса на основе методологии категорийной формальной модели открытой предметной области / В.В. Антонов // Вестник УГАТУ. - 2015. - Т. 19, № 1. - С. 258-263.

2. Антонов, В.В. Теоретико-множественная модель ИС для многомерного аналитического анализа, отвечающая требованиям хранилища данных / В.В. Антонов, Г.Г. Куликов, Д.В. Антонов //Вестник УГАТУ. - 2012. - Т. 16, № 6 (51). - С. 189-201.

3. Архитектуры и топологии многопроцессорных вычислительных систем / А.В. Богданов,

B.В. Корхов, В.В. Мареев, Е.Н. Станкова. - М.: ИНТУИТ.РУ, 2004. - 176 с.

4. Голдблатт, Р. Топосы. Категорный анализ логики /Р. Голдблатт. - М. : Мир, 1983. - 488 с.

5. Дранев, Я.Н. Кластерный подход к экономическому развитию территорий /Я.Н. Дранев // Практика экономического развития территорий: опыт ЕС и России. - М. : Сканрус, 2001. -

C. 21-39.

6. Конев, К.А. Концептуальная модель автоматизации предприятия авиационного приборостроения на основе актуализируемой многослойной таксономии / К.А. Конев // Вестник УГАТУ. -2013. - Т. 17, № 5. - С. 70-77.

7. Конев, К.А. Онтологическая концепция решения задач в прикладных научных исследованиях /К.А. Конев //Информатизация образования и науки. - 2016. - № 1 (29). - С. 147-155.

8. Конев, К.А. Онтологическая специализация области научного знания / К.А. Конев // Информатизация образования и науки. - 2017. - № 3 (36). - С. 95-105.

9. Конев, К.А. Ситуационный подход к управлению рисками-возможностями при обеспечении качества на предприятии авиационного приборостроения / К.А. Конев // Методы менеджмента качества. - 2017. - № 1. - С. 22-28.

10. Конев, К.А. Совершенствование функции управления выпускающей кафедры / К.А. Конев // Методы менеджмента качества. - 2009. - № 3. - С. 26-30.

11. Конев, К.А. Метаситуационные модели: концепция, архитектура, применение в задачах поддержки принятия решений / К.А. Конев, Г.Р. Шакирова // Вестник УГАТУ. - 2014. - Т. 18, № 1 (62). - С. 131-140

12. Круглов, В.В. Искусственные нейронные сети. Теория и практика /В.В. Круглов, В.В. Борисов. - 2-е изд., стереотип. - М. : Горячая линия - Телеком, 2002. - 382 с.

13. Куликов, Г.Г. Методология управления машиностроительным предприятием на основе интеграции его бизнес-процессов / Г.Г. Куликов, К.А. Конев // Вестник УГАТУ. - 2006. - Т. 7, № 2. - С. 82-91.

14. Куликов, Г.Г. Теория систем и системный анализ: учеб. пособие / Г.Г. Куликов, К.А. Конев, В.А. Суворова. - Уфа: УГАТУ, 2012. - 159 с.

15. Массель, Л.В. Фрактальный подход к структурированию знаний и примеры его применения / Л.В. Массель // Онтология проектирования. - 2016. - Т. 6, № 2 (20). - С. 149-161. DOI: 10.18287/2223-953 7-2016-6-2-149-161

16. Управление предприятием с применением системной модели / Е.В. Распопов, Г.И. Пого-релов, К.А. Конев, Г.Г. Куликов //Методы менеджмента качества. - 2006. - № 2. - С. 26-30.

17. Федер, Е. Фракталы /Е. Федер. - М. : Мир, 1991. - 254 с.

Куликов Геннадий Григорьевич, д-р техн. наук, профессор, профессор кафедры автоматизированных систем управления, Уфимский государственный авиационный технический университет, г. Уфа; [email protected].

Антонов Вячеслав Викторович, д-р техн. наук, профессор, заведующий кафедрой автоматизированных систем управления, Уфимский государственный авиационный технический университет, г. Уфа; [email protected].

Конев Константин Анатольевич, канд. техн. наук, доцент, доцент кафедры автоматизированных систем управления, Уфимский государственный авиационный технический университет, г. Уфа; [email protected].

Поступила в редакцию 14 декабря 2017 г.

DOI: 10.14529/ctcr180202

CLUSTER SOFTWARE OF AUTOMATED INFORMATION SYSTEM

G.G. Kulikov, [email protected], V.V. Antonov, [email protected], K.A. Konev, [email protected]

Ufa State Aviation Technical University, Ufa, Russian Federation

In the article, we propose a new approach to creating a clustered software structure that provides the greatest protection against gaining an attacker's control over system support for decisionmaking, as well as high resistance to corruption and burglary. An approach is considered to solve the problem of software information system security by clustering it into modules. The possibility of formal construction of such structures by methods of set theory and category theory is shown. It is proved that the set of modules satisfies all postulates and axioms of category theory, hence is a category. The conditions for the fractal representation of the automated information system from the level of structural modules of the system to the level of microinstructions with the identification of specific objects and morphisms at hierarchy levels are determined.

Keywords: clustering, fractal structure, set theory, category theory, object, morphism, automated information system, software, module.

References

1. Antonov V. [The Method of Designing an Adaptive Software Package on the Basis of the Methodology of the Category Formal Model of an Open Subject Domain]. Bulletin of USATU, 2015, vol. 19, no. 1, pp. 258-263. (in Russ.)

2. Antonov V., Kulikov G., Antonov D. [The Set-Theoretical IP Model for Multidimensional Analytical Analysis, which Meets the Requirements of the Data Warehouse]. Bulletin of USATU, 2012, vol. 16, no. 6 (51), pp. 189-201. (in Russ.)

3. Bogdanov A., Korkhov V., Mareev V., Stankova E. Arkhitektury i topologii mnogoprotsessor-nykh vychislitel'nykh sistem [Architecture and Topology of Multiprocessor Computer Systems]. Moscow, INTUIT.RU Publ., 2004. 176 p.

4. Goldblatt R. Toposy. Kategornyj analiz logiki [Topos. Categorical Analysis of Logic]. Moscow, Mir Publ, 1983. 488 p.

5. Dranev Y. Klasternyy podkhod k ekonomicheskomu razvitiyu territoriy [Cluster Approach to the Economic Development of Territories]. Praktika ekonomicheskogo razvitiya territoriy: opyt ES i Rossii [Practice of Economic Development of Territories: the Experience of the EU and Russia]. Moscow, Scanrus Publ., 2001, pp. 21-39.

6. Konev K. [Conceptual Model of Automation of the Enterprise of Aviation Instrument Making

on the Basis of the Actualized Multi-Layer Taxonomy]. Bulletin of the USATU, 2013, vol. 17, no. 5, pp. 70-77. (in Russ.)

7. Konev K. [Ontological Concept of Solving Problems in Applied Scientific Research]. Informatization of Education and Science, 2016, no. 1 (29), pp. 147-155. (in Russ.)

8. Konev K. [Ontological Specialization of the Field of Scientific Knowledge]. Informatization of Education and Science, 2017, no. 3 (36), pp. 95-105. (in Russ.)

9. Konev K. [A Situational Approach to Managing Risk-opportunities while Ensuring Quality at the Enterprise of Aircraft Instrument Making]. Methods of Quality Management, 2017, no. 1, pp. 22-28. (in Russ.)

10. Konev K. [Perfection of the Management Function of the Graduating Department]. Quality Management Methods, 2009, no. 3, pp. 26-30. (in Russ.)

11. Konev K., Shakirova G. [Metasituational Models: Concept, Architecture, Application in Decision Support Tasks]. Bulletin of USATU, 2014, vol 18, no. 1 (62), pp. 131-140. (in Russ.)

12. Kruglov V., Borisov V. Iskusstvennye neyronnye seti. Teoriya i praktika [Artificial Neural Networks. Theory and Practice]. Moscow, Hot Line-Telecom Publ., 2002. 382 p.

13. Kulikov G., Konev K. [Methodology of the Management of a Machine-Building Enterprise on the Basis of Integration of its Business Processes]. Bulletin of USATU, 2006, vol. 7, no. 2, pp. 82-91. (in Russ.)

14. Kulikov G., Konev K., Suvorova V. Teoriya sistem i sistemnyy analiz: ucheb. posobie [Theory of Systems and Systems Analysis: Textbook]. Ufa, USATU Publ., 2012. 159 p.

15. Mussel L. [Fractal Approach to the Structuring of Knowledge and Examples of its Application]. Ontology of Design, 2016, vol. 6, no. 2 (20), pp. 149-161. (in Russ.) DOI: 10.18287/2223-9537-2016-6-2-149-161

16. Raspopov E., Pogorelov G., Konev K., Kulikov G. [Management of the Enterprise Using the System Model]. Methods of Quality Management, 2006, no. 2, pp. 26-30. (in Russ.)

17. Feder E. Fraktaly [Fractals]. Moscow, Mir Publ., 1991. 254 p.

Received 14 December 2017

ОБРАЗЕЦ ЦИТИРОВАНИЯ

FOR CITATION

Куликов, Г.Г. Кластерное программное обеспечение автоматизированной информационной системы / Г.Г. Куликов, В.В. Антонов, К.А. Конев // Вестник ЮУрГУ. Серия «Компьютерные технологии, управление, радиоэлектроника». - 2018. - Т. 18, № 2. -С. 19-28. DOI: 10.14529Мсг180202

Kulikov G.G., Antonov V.V., Konev K.A. Cluster Software of Automated Information System. Bulletin of the South Ural State University. Ser. Computer Technologies, Automatic Control, Radio Electronics, 2018, vol. 18, no. 2, pp. 19-28. (in Russ.) DOI: 10.14529/ctcr180202

i Надоели баннеры? Вы всегда можете отключить рекламу.