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

• Антонов, Вячеслав Викторович
• кандидат наук
• 2015

Оглавление диссертации кандидат наук Антонов, Вячеслав Викторович

ОГЛАВЛЕНИЕ

ИСПОЛЬЗУЕМЫЕ ТЕРМИНЫ, ОПРЕДЕЛЕНИЯ И СОКРАЩЕНИЯ

ВВЕДЕНИЕ

ГЛАВА 1. АНАЛИЗ СУЩЕСТВУЮЩИХ ПОДХОДОВ И МЕТОДОВ К ПРОЕКТИРОВАНИЮ ПРОГРАММНЫХ КОМПЛЕКСОВ ДЛЯ ПОСТРОЕНИЯ АНАЛИТИЧЕСКИХ ИНФОРМАЦИОННЫХ СИСТЕМ

1.1. Анализ общих проблем проектирования и построения программных комплексов интегрированных с OLAP технологиями

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

1.3. Анализ программных средств реализации многомерных хранилищ данных для открытой предметной области 44 1.4 Анализ программных комплексов реализующих OLAP-технологии как метода обработки многомерных данных в открытой предметной области

Выводы по главе 1

ГЛАВА 2. РАЗРАБОТКА МЕТОДОЛОГИЧЕСКИХ ОСНОВ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО КОМПЛЕКСА

АДАПТИВНОГО К ИЗМЕНЕНИЮ ХАРАКТЕРИСТИКИ ОБЪЕКТОВ ОТКРЫТОЙ ПРЕДМЕТНОЙ ОБЛАСТИ

2.1. Анализ процессного подхода при создании адаптивного программного комплекса для организации проектного менеджмента, основанного на формальной модели жизненного цикла систем

2.2. Теоретико-множественная модель бизнес-процессов для организационного, проектного и производственного менеджмента создания адаптивного программного комплекса

2.3. Теоретико-множественная модель стадий жизненного цикла адаптивного программного комплекса

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

Выводы по главе 2

ГЛАВА 3. РАЗРАБОТКА МЕТОДА ПРОЕКТИРОВАНИЯ

КАТЕГОРИЙНОЙ МОДЕЛИ АДАПТИВНОГО ПРОГРАММНОГО КОМПЛЕКСА ДЛЯ ОРГАНИЗАЦИИ ВЗАИМОДЕЙСТВИЯ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ

3.1. Формальный алгоритм построения программного комплекса, реализующего интегрированную учетную систему

3.2. Анализ типов функций принадлежности проектирования динамической структуры гетерогенного хранилища данных

3.3. Теоретические основы проектирования адаптивного

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

Выводы по главе 3

ГЛАВА 4. РАЗРАБОТКА ФОРМАЛЬНО-МАТЕМАТИЧЕСКОГО МЕТОДА ПРОЕКТИРОВАНИЯ АДАПТИВНОГО ПРОГРАММНОГО КОМПЛЕКСА ОСНОВАННОГО НА ПЕРЕНАСТРАИВАЕМЫХ СТРУКТУРАХ ВЗАИМОДЕЙСТВИЯ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ

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

4.2. Формально-математический метод проектирования хранилища данных и знаний адаптивного программного комплекса с применением OLAP технологий и предметно-ориентированных кросс- платформенных языков программирования

4.3. Контур адаптации программного комплекса, на основе цикла Дёминга

4.4. Применение формальной категорийной модели создания адаптивного программного комплекса для автоматизированной системы учета населения

Выводы по главе 4

ГЛАВА 5. РАЗРАБОТКА НЕЧЕТКОГО ФОРМАЛЬНОГО МЕТОДА ПРОЕКТИРОВАНИЯ ИНТЕЛЛЕКТУАЛЬНОГО ХРАНИЛИЩА ДЛЯ АДАПТИВНОГО ПРОГРАММНОГО КОМПЛЕКСА

5.1. Формальный метод проектирования интеллектуального хранилища данных при совместном использовании учетных систем и технологий OLAP

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

5.3. Структурирование программного комплекса на основе категорийной модели госудаственпых учетов

Выводы по главе 5

ГЛАВА 6. СПЕЦИФИКА ПРОГРАММНОГО КОМПЛЕКСА ДЛЯ РЕАЛИЗАЦИИ УЧЕТОВ С ПРИМЕНЕНИЕМ ИНТЕЛЛЕКТУАЛЬНЫХ ХРАНИЛИЩ ДАННЫХ. ПРИМЕНЕНИЕ ДЛЯ АНАЛИТИЧЕСКОГО АНАЛИЗА ОПРЕДЕЛЕННОЙ ПРЕДМЕТНОЙ ОБЛАСТИ

6.1. Структура и краткая характеристика разработанного программного комплекса "Факт"

6.2. Архитектура программных компонент обеспечения функционирования программного комплекса "Факт"

6.3. Архитектура информационной системы регистрационного учета населения на базе программного комплекса "Факт"

6.4. Архитектура информационной системы "Программа Информирования, Анализа и Контроля (ПИАК)" на базе программного комплекса "Факт"

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

Выводы по главе 6

ЗАКЛЮЧЕНИЕ

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

ИСПОЛЬЗУЕМЫЕ ТЕРМИНЫ И СОКРАЩЕНИЯ

АИС - Автоматизированная информационная система

АПС - Аналитическая программная система

БД - база данных.

БП - бизнес-процесс

ВТ - вычислительная техника.

ЖЦ - жизненный цикл.

ИПС - информационно-поисковая система.

ИС - информационная система.

ММД - многомерная модель данных

МТРУС - многоуровневая территориально распределенная учетная система

ОС - операционная система

ООМД - объектно-ориентированная модель данных

ПО - предметная область

ПК - программный комплекс

СУБД - система управления базами данных.

ХД - хранилище данных.

BPMN - business Process Modeling Notation.

DSS - decision support system

ISO - international organization for standardization

FAT - fuzzy Approximation Theorem

HOLAP - hybrid online analytical processing]! 17].

MOLAP- multidimensional online analytical processing^ 17].

OLAP - online analytical processing^ 17].

OLTP - online transaction processing^ 17].

ROLAP - relational online analytical processing[l 17].

Введение диссертации (часть автореферата) на тему «Методология проектирования аналитических программных систем для организации их функционального взаимодействия на основе формальных моделей предметной области»

ВВЕДЕНИЕ

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

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

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

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

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

При использовании любой методологии предметная область обычно представляется иерархией моделей различных видов. Так, проектирование БД объединяет в себе три составляющие: науку, технологию и практику.

С ростом хранимых объемов информации, развитием интеграционных процессов резко увеличивается потребность в средствах моделирования с учетом всего многообразия уровней абстракции. При этом должна учитываться возможность изменения этих уровней как в прикладной системе, так и на более высоком уровне иерархии системы - множестве СУБД (точнее однотипном множестве - категории). Т.к. принятый уровень абстракции данных приемлемый для одной системы, может оказаться неприемлемым для другой. Например, при регистрации клиентов в фирму для заключения договоров (данные клиента + данные паспорта), нет необходимости знать структуру формирования номера паспорта, а при регистрации аналогичных учетных событий в ФРС - нужно.

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

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

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

Наличие пар антонимов в естественных языках всех типов, навело Ч.Осгуда [76] на мысль об идее семантического дифференциала и многомерном психосемантическом пространстве, в которое проецируются знания. Д.А.Поспелов опубликовал работу [82], в которой были заложены основы прикладной психосемантики и обоснован отказ от классических принципов жесткой различимости и принадлежности, лежащих в основе классической теории множеств и формальных систем, предложена идея создания математической теории градуального «сходства - различия», опирающаяся на нечеткие отношения с переменным уровнем рефлексивности и симметричности. Это означает, что для любых двух элементов тх и т2 множества М существует конструктивная процедура построения функции.

0, если /;?, и т2 различимы

к Л/Гх 0 <у <1, если т, и т~. похожи, ГЛ

Я(ш, ем.ш, е М) = , \ , 12 > (1.1)

1 2 у (у - коэффициент уверенности)

1, если /;?, и т2 одинаковы

Неоднократно повторяя данный процесс, можем поэтапно понижать степень неформализованности параметров общей информационной системы[12]. При этом увеличивается количество объектов и число связей между ними - один из показателей сложности:

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

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

3. Сложность системы может быть определена исходя из количества элементов и связей системы и числа состояний системы. Одной из составляющих показателя сложности системы является степень соответствия представления о системе (описания, модели) реальной системе.

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

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

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

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

Широкое использование процессного подхода, основанного на формальных моделях жизненного цикла программных систем, определило возрастание роли стандартов, обеспечивающих совместимость взаимодействия различных компонент между собой. Чем более сложной является архитектура организации, тем консолидирующая роль стандартов становится все более актуальной. Наибольшее распространение получили международные стандарты 180/1ЕС 12207 и 180/1ЕС 15288. Учитывая, что в настоящее время все с ускоряющимися темпами идут процессы изменения (модернизации) различных областей экономики и нормативной базы затрагивающей все сферы нашего общества, требуются адекватные решения на программном уровне. При этом прямой зависимости (синхронизации), во всяком случае нормативной не предусмотрено. В связи с чем наибольший интерес представляет международный стандарт 180/1ЕС 15288, как более общий и в большинстве своем использующийся в качестве методологической основы, при этом жизненный цикл систем представляется в виде "дерева" процессов! 121]. Для практического использования при моделировании процессов предметной области представляет интерес представление деятельности организации в форме теоретико-множественной семантической модели, формирования логических правил функционального воздействия бизнес-процессов.

То есть формально информационная система может быть определена категориями объектов и. В соответствии с требованиями методологии

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

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

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

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

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

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

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

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

Степень разработанности темы исследования. При решении проблем проектирования и реализации архитектуры программного обеспечения в диссертационном исследовании использовались результаты трудов отечественных авторов, в том числе: В. И. Буркова, В. И. Васильева, В. М. Глушкова, Д. Л. Новикова, В. В. Кульбы, Г. Г. Куликова, В. В. Миронова, Л. Г. Мамиконова, Л. В. Речкалова, A. X. Султанова, Н. И.

Юсуповой, И. 10. Юсупова, И. У. Ямалова, зарубежных авторов, в том числе: Д. Гордона, Дж. Захмана, Лотфи Л. Заде, К. Локира, Т. Эрла, Д.Шаппела [20,23,27,35,60,63,65,71,68,88,70,107,111,113,185,188].

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

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

Предметом исследования являются методологические и

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

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

Для достижении поставленной цели в работе необходимо решить следующие задачи:

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

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

3. Исследовать и разработать формально-математический метод проектирования структуры хранилища данных и знаний программного комплекса для организации взаимодействия функциональных программ, обеспечения интегрированной системы учета и аналитического анализа объектов предметной области, с учетом распределенной обработки данных, с применением ОЬЛР технологий и предметно-ориентированных языков программирования (соответствует п.4. и п.8 паспорта специальности).

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

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

использования в режиме мониторинга и передачи знаний в распределенной информационной среде (соответствует п.8. паспорта специальности).

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

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

Положения, выносимые на защиту:

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

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

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

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

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

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

6. Оценка исследований эффективности предложенных методов проектирования и реализации программного комплекса на примерах применения программного комплекса в различных предметных областях средствами типовых располагаемых инструментариев, реляционных и постреляционных СУБД.

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

ориентированной грамматики, впервые представленные в форме строгих рекуррентных соотношений.

2. Новизна предложенного метода проектирования программного комплекса заключается в том, что для организации взаимодействия функциональных программ используется формальный метод построения иерархий II. Хомского, позволяющий на основе категорийного подхода с использованием теоретико-множественных моделей и методов нечеткой логики, на базе требований системной инженерии формировать границы между семантическим и синтаксическим описаниями процессов предметной области и функциональными модулями аналитической программной системы.Это позволяет реализовывать нечеткое ХД с применением известных реляционных и объектно-ориентированных СУБД.

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

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

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

Список литературы диссертационного исследования кандидат наук Антонов, Вячеслав Викторович, 2015 год

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

1. Аверкип, А. II. Поддержка принятия решений в слабоструктурированных предметных областях [Текст] / Аверкин, А. Н.,Кузнецов О. П., Кулинич А. А., Титова II. В // Москва. Известия РАН, №3, 2006, стр. 139-149

2. Анализ информационных процессов, подготовка системного и технического проектов на создание и эксплуатацию на территории РФ

электронного правительства [Электронный ресурс]. - Режим доступа: http://www.tadviser.ru/ (дата обращения: 28.11.13).

3. Аткинсон, М, СУБД / Аткинсон М., Бансилон Ф., Де Витт Д., Диттрих К., Майер Д // СУБД №4, 1995. С. 142-155. [Электронный ресурс]. - Режим доступа:

http://www.mstu.edu.rU/education/materials/zelenkov/www.osp.ru/dbms/1995/02/s ource/manifest.htm

4. Антонов, В.В. Программное обеспечение Факт 7.3. Сборник методических рекомендаций и инструкций МВД по РБ по формированию автоматизированных информационных систем [Текст] // Уфа, 2007.- С.23-177.

5. Антонов, В.В., Галимов P.M. Программа автоматизированного заполнения и печати паспортов гражданина РФ данными из автоматизированной системы учета населения МВД РБ. Сборник методических рекомендаций и инструкций МВД по РБ по формированию автоматизированных информационных систем [Текст]/ Антонов В.В., Галимов P.M.// Уфа, 2007.- с.247-283.

6. Андреев, Н. Д. Совершенствование системы информационного обеспечения сотрудников ОВД [Текст]/ Андреев П.Д., Антонов В. В. //Уфа, УЮИ МВД России, 2008. -160с.

7. Антонов, В.В. Применение современных информационных технологий. Работа с информационно-справочными базами данных с использованием единой информационно-телекоммуникационной системы [Текст]// Сборник Информационно-аналитических материалов №31 МВД РБ, 2005.- С.25-52.

8. Анфилатов, B.C. Системный анализ в управлении [Текст]/ Анфилатов B.C., Емельянов A.A., Кукушкин A.A..// Москва: Финансы и статистика, 2006.-367 с.

9. Антонов, В. В. Формальная модель информационной системы в аспекте требований хранилищ данных [Текст]/ Антонов В. В., Куликов Г. Г., Антонов Д. В. // Научное обозрение. № 5 2012. - С. 711-719.

10. Антонов, В. В. Формализация предметной области с применением инструхментов, поддерживающих стандарты [Текст]/ Антонов В. В., Куликов Г. Г., Антонов Д. В.// Вестник УГАТУ: науч. журнал Уфимск. гос. авиац. техн. ун-та УГАТУ. Т. 16. № 3 (48). 2012.- С. 42-52.

11. Антонов, В. В. Анализ возможности извлечения аналитических знаний из формальной модели информационной системы предметной области нейросетевыми методами [Текст]/ Антонов В. В., Куликов Г. Г., Антонов Д. В // Нейрокомпьютеры: разработка, применение. 2013. № 3. С. 12-16.

12. Антонов, В. В. Семангико-математический язык описания структуры интеллектуальной системы на основе нечеткой логики [Текст]/ Антонов В. В., Куликов Г. Г. // Международный журнал "Программные продукты и системы". Тверь. 201 1, №3(95). С. 33-35.

13. Антонов, В. В. Метод построения математической модели предметной области [Текст]/ В. В. Антонов, Г. Г. Куликов // Вестник СГЭУ: науч. журн. Самарск. гос. экон. ун-та. 2010. № 5(67). С. 10-14.

14. Антонов, В. В. "Теоретические и прикладные аспекты построения моделей информационных систем [Текст]/ Антонов В. В., Куликов Г. Г., Антонов Д. В. // LAP LAMBERT Academic Publishing GmbH & Co.KG, Германия. 2011. 134 с.

15. Антонов, В. В. Метод построения математической модели предметной области. Интеллектуальные системы управления (коллективная монография); Под ред. академика РАН С.Н. Васильева. [Текст]/ Антонов В. В., Куликов Г. Г. // М.: Машиностроение, 2010. 548 с. С. 63-70.

16. Антонов, В. В. Разработка теоретико-множественной модели жизненного цикла государственных услуг па основе сервис-ориентированной архитектуры". Проблемы информатики в образовании, управлении, экономике и технике. Четырнадцатая международная научно-техническая конференция [Текст]/ Антонов В. В., Навалихина Н. Д., Куликова В. Г. // Пенза. 2014. С.29-36.

17. Артемьев, С.А. ГИС конструктор со средствами анализа данных для создания информационно-аналитических систем [Текст] / Артемьев С.А., Замай С.С., Питенко A.A.// Вычислительные технологии Т.9, Вестник КазНУ, №3(42), 2004, С. 188-192.

18. Бахтизин, В.В. Технология разработки программного обеспечения / Бахтизин В.В., Глухова Л.А. [Текст]// Минск: БГУИР, 2010. 266с

19. Бездушный, А.Н. Место онтологий в единой интегрированной системе РАН/ Бездушный А.Н., Гаврилова Э.А., Серебряков В.А., Шкотин A.B. //[Электронный ресурс]. — Режим доступа: www.benran.ru. (дата обращения: 22.12.13)

20. Беллман Р., Заде Л. Принятие решений в расплывчатых условиях», Мир : сб. науч. тр. Москва, 1976. С. 172-215.

21. Бениаминов, Е.М. Алгебраические методы в теории баз данных и представлении знаний [Текст]//Москва: Научный мир, 2003, 184 с.

22. Бесс Голд-Бернштейн. Роль интеграции корпоративной информации в сервисно-ориентированной структуре // [Электронный ресурс]. — Режим доступа: http://citforum.ru. (дата обращения: 12.11.10)

23. Бурков, В.Н. Теория активных систем / В. II. Бурков, Д. А. Новиков [Текст] // Москва: ИГ1У РАН - 2003 - 161 с.

24. Борисов, А.Н. Принятие решений па основе нечетких моделей [Текст]/ Борисов А.Н., Крумберг O.A., Федоров 14.П. // Рига : Зинатне, 1990. 184 с.

25. Боровский, А. Решения для «электронного правительства» [Текст]. // Москва. «Открытые системы» №4, 2005. С. 23-29.

26. Боровиков, В. STATISTICA. Искусство анализа данных на компьютере. [Текст]// СПб.: Питер, 2003. 688 с.

27. Васильев, В.И. Интеллектуальные системы управления. Теория и практика: учебное пособие [Текст] / В. И. Васильев, Б. Г. Ильясов. — М.: Радиотехника, 2009. -392с.

28. Выокова, Н.И. Информационная безопасность систем управления базами данных / Выокова Н.И., Галатенко В.А. // [Электронный ресурс]. -

Режим доступа: http://www.osp.ru/data/www2/dbms/1996/01/50.htm (дата обращения 2.06.2008)

29. Винокуров, J1.JI. СУБД ADABAS-основа универсального сервера баз данных[Текст] / Винокуров Л.Л., Леонтьев Д.В., Гершельман А.Ф. // СУБД. 1997. №2. С. 36-40.

30. Волкова, В.Н. Основы теории систем и системного анализа[Текст] / Волкова В.И., Денисов A.A. // СПб.:СПбГТУ,2009.-512с.

31. Воробьева, М.С. Математическое моделирование и технологии интеграции данных в УИС. Диссертационная работа к.т.н. [Текст] // Тюмень: ТюмГУ, 2006. 131 с.

32. Воробьева, М.С. Построение модели интеграции данных в информационно- управляющих системах[Текст] // Модернизация образования в условиях глобализации: круглый стол «образование через науку и инновации», 14-15 сентября. 2005. / Тюмень: ТюмГУ, 2005. С. 2628.

33. Гвоздев, В. Е. Системные вопросы проектирования программных продуктов [Текст] / Гвоздев В. Е. , К'олоденкова А. Е.// Уфа: АН РБ, издательство Тилем", 2010. 188с.

34. Гради Буч Объектно-ориентированный анализ и проектирование с примерами приложений [Текст] // (3 изд.) М. «Вильяме» 2008 г

35. Глушков, В.М. Основы безбумажной информатики. [Текст] // М.: Наука, 1987. 552с.

36. Грекул, В.И. Проектирование информационных систем // [Электронный ресурс] Режим доступа: http.V/www.intuit.ru/department /se/devis/7/ (дата обращения: 28.01.13)

37. Гузаиров, М. Б. Методика управления научными исследованиями и подготовкой специалистов в области CALS/ИПИ-технологий [Текст] / М. Б. Гузаиров, В. В. Мартынов, В. И. Рыков // Вестник УГАТУ: науч. журнал Уфимск. гос. авиац. техн. ун-та. - 2006. - Т. 7, №3 (16). — С. 92-101.

38. Данилова, С. Д. Адаптивная нечеткая модель оценивания результатов автоматизированного тестирования с разделением заданий по уровням усвоения // [Электронный ресурс]. - Режим доступа: http://tekhnosfera.com/adaptivnaya-nechetkaya-model-otsenivaniya-rezultatov-avtomatizirovannogo-testirovaniya-s-razdeleniem-zadaniy-po-urovnyam-#ixzz3QzTlRyI6 (дата обращения 12.07.2011).

39. Данелян, Т.Я. Информационные технологии в юриспруденции[Текст] // М.: Изд. центр ЕАОИ, 2009. 284 с.

40. Дж. Смит, Д. Смит. Принципы концептуального проектирования баз данных. [Текст] В сб. "Требования и спецификации в разработке программ". М., Мир, 1984.

41. Дюк, В. Data mining: Учебный курс. [Текст] / Дюк В., Самойленко А // СПб.: Питер, 2001. 368с

42. Заболеева-Зотова, A.B. Лингвистическое обеспечение автоматизированных систем[Текст] / Заболеева-Зотова A.B., Камаев В.А // Высшая школа , Москва : 2008. 244 с.

43. Заботнев, М.С. Многомерная модель представления данных по образовательной статистике [Текст] // Телематика -2003. Труды X Всероссийской научно-методической конференции. СПб.: 2003. С. 245-246.

44. Заботнев, М. С. Информатизация образования: направления, средства, технологии / Заботнев М. С., Гусева Т. И., Кузнецов Ю. М., Кулагин В. П., Симонов А. В. и др. Под общ. ред. С.И. Маслова. // М.: МЭИ, 2004. 868 с.

45. Заботнев, М.С. Методы представления информации в разреженных гиперкубах данных [Электронный ресурс]. - Режим доступа: www.olap.ru.(flaTa обращения 11.06.2014)

46. Калиниченко, Л.А. Машины баз данных и знаний [Текст]/ Калиниченко Л.А., Рыбкин В.М.// М.: Наука, 2003. 244 с.

47. Калянов, Г.Н. Теория и практика реорганизации бизнес-процессов [Текст]. Серия «Реинжиниринг бизнеса». -М.: СИНТЕГ, 2000. 212 с.

48. Ким, Е.К. Проектирование трехмерных баз данных в СУБД uniVerse[Текст] / Ким Е.К., Шабаев И.Г., Бычков В.А. //СУБД. 1996. №3. С.27-31.

49. Кнут, Д. «Искусство программирования для ЭВМ. [Текст]» // Мир , Москва : Том 1 . 1976. 736 с

50. Коберн, A.M. Современные методы описания функциональных требований к системам. [Текст] Пер. с англ. - М.: ЛОРИ, 2002. 287 с.

51. Когаловский, М.Р. Перспективные технологии информационных систем [Текст]. - М.: ДМК Пресс; Компания АйТи, 2003. 288 с.

52. Корпоративные базы данных // [Электронный ресурс]. - Режим доступа: wwvv.citforum.ru. (дата обращения 23.01.2015)

53. Конвертация данных для хранилищ [Электронный ресурс]. — Режим доступа: http://www.iso. ru/print/rus/document5750.phtml (дата обращения: 21.03.13)

54. Концепции, организация и управление современных СУБД [Электронный ресурс]. - Режим доступа: www.inteltec.ru (дата обращения 27.11.2011)

55. Кречетов, Н.Е. Постреляционная технология CACHE для реализации объектных приложений: учебное пособие [Текст] / Н. Е. Кречетов, Е. А. Петухова, В. И. Скворцов, А. В. Умников, Б. А. Щукин. - М.:МИФИ, 2001. -152с.

56. Кузнецов, С.Д. Методы оптимизации выполнения запросов в реляционных СУБД [Текст] // Вычислительные науки. Т.1 (Итоги науки и техники ВИНИТИ АН СССР). М.: ВИНИТИ АН СССР, 1989. С. 76-153.

57. Кузнецов, С.Д. Обзор возможностей применения ведущих СУБД для построения хранилищ данных (Data Warehouse) // 3-я ежегодная конференция «Корпоративные базы данных '98»: Доклады и тезисы / Центр информационных технологий. - М.: 1998. С. 153-161.

58. Куликов, Г. Г. Определение структуры многоуровневой территориально-распределенной учетной системы на основе формальной

интеграции бизнес-процессов объектов по семантическим правилам Управление экономикой: методы, модели, технологии : материалы шестой всероссийской научной конференции с международным участием. [Текст] / Куликов Г.Г., Антонов В.В. // Уфа, 2006. Т.1. С. 228-233.

59. Куликов, Г.Г. Метод формирования структуры хранилища данных для автоматизированной учетной системы на основе процессного анализа предметной области [Текст] / Куликов Г.Г., Антонов В.В. // Вестник УГАТУ : научный журнал Уфимского государственного авиационного технического университета. 2006. Т. 8, № 1(17). С. 60-67.

60. Куликов, Г.Г. Интеллектуальные информационные системы [Текст] / Куликов Г.Г., Брейкин Т.В., Лрьков В.Ю. - Уфа: УГАТУ, 1999. 129 с.

61. Куликов, Г.Г. Информационно-аналитическая система на основе знаний регистрационного учета населения [Текст] / Куликов Г.Г., Антонов В.В., Савина А.А. // Вестник УГАТУ : науч. журн. Уфимск. гос. авиац. техн. ун-та. 2008. Т. 10, № 2(27). С. 60-67.

62. Куликов, Г. Г. Поддержка управления учебным процессом на основе информационных технологий многомерного анализа данных[Текст] / Куликов Г. Г., Антонов В. В., Старцев Г. Г., Шилина М. А.// Уфа. УГАТУ. 2013. 161 с.

63. Кульба, В.В. и др. Достоверность и сохранность информации в АСУ [Текст] / Кульба В.В., Ковалевский С.С., Шелков А.Б. - М.: СИНТЕГ, 2003. 500 с.

64. Курносов, В. 10. Аналитика: методология, технология и организация информационно-аналитической работы [Текст] / Курносов В. Ю., Конотопов Ю. П. // М.: РУСАКИ, 2004. 512 с.

65. Локир, К. Управление проектами: Ступени высшего мастерства [Текст] / К. Локир, Д. Гордон // Издательство Дцкта. 2008. 352с

66. Лукасевич, Я. Аристотелевская силлогистика с точки зрения современной формальной логики [Текст]// М.: Издательство иностранной литературы, 1959.312с

67. Марка, Д.А. Методология структурного анализа и проектирования[Текст] / Марка Д.А., МакГоуэн К.// М.: МетаТехнология, 1993.438 с.

68. Мамиконов, А.Г. Синтез оптимальных модульных систем обработки данных. [Текст] / А. Г. Мамиконов, В. В. Кульба // М.: Наука. 1986. 276с.

69. Мелихов, А. Н. Ситуационные советующие системы с нечеткой логикой [Текст] / Мелихов А. Н., Берштейн Л. С., Коровин С. Я. // М.: Наука, 1990.

70. Миронов, В. В. Ситуационно-ориентированные базы данных: концепция, архитектура, ХМЬ-реализация [Текст] / Миронов В. В., Юсупова Н. И., Шакирова Г. Р. // Вестник УГАТУ: науч. журн. Уфимск. гос. авиац. техн. ун-та. 2011. Т. 14, № 2 (37). С. 233-244.

71. Миронов, В. В. Интернет-приложения на основе встроенных динамических моделей: элементы управления пользовательского интерфейса [Текст] / Миронов В. В., Маликова К. Э.// Вестник УГАТУ: науч. журн. Уфимск. гос. авиац. техн. ун-та. 2011 Т. 14, № 5 (40). С. 170-175.

72. Миронов, В. В. Иерархические модели данных: концепции и реализация на основе ХМЦТекст]. / Миронов В. В., Юсупова Н. И., Шакирова Г. Р. // М.: Машиностроение, 2011. 453 с.

73. Миронов, В. В. Ситуационно-ориентированные базы данных: концепция управления ХМЬ-данными на основе динамических ВОМ-объектов [Текст] / Миронов В. В., Гусаренко А. С. // Вестник УГАТУ: науч. журн. Уфимск. гос. авиац. техн. ун-та. 2012. Т. 16, № 3 (48). С. 159-172.

74. Мэттыос Тим. Использование интеграции корпоративной информации для анализа нетрадиционных источников данных // [Электронный ресурс]. -Режим доступа: wvvw.inforTnationweek.coin/software/soa/23902175 (дата обращения 27.03.2006)

75. Недосекин, А.О. Комплексная оценка риска банкротства корпорации на основе нечетких описаний// [Электронный ресурс]. — Режим доступа: http://sedok.narod.ru/sc_group.html (дата обращения 07.03.2011)

76. Осгуд, Ч. Приложение методики семантического дифференциала к исследованиям по эстетике и смежным проблемам [Текст] / Осгуд Ч., Суси Д. // Семиотика и искусствометрия. -М., 1972. С. 278-298.

77. Павлов C.B., Христодуло О.И. Совместное описание пространственных и атрибутивных данных на основе многомерных информационных объектов[Текст] / Павлов C.B., Христодуло О.И. // Научно-технические ведомости СПбГПУ. 2011. № 3 (126). С. 37-42.

78. Паклин, Н.В. Нечеткая логика - математические основы // [Электронный ресурс]. - Режим доступа: www.basegroup.ru (дата обращения 21.10.2011)

79. Паронджанов, С.Д. Методология создания корпоративных ИС [Электронный ресурс]. - Режим доступа: www.neic.nsk.su/rus/tech /cit/kbd96/43 .htm. (дата обращения 29.11.2013)

80. Полещук, О.М. Нечеткая кластеризация элементов множества полных ортогональных семантических пространств [Текст]/ Полещук О.М., Полещук И.А. // Вестник Московского государственного университета леса - Лесной вестник. - 2003. - № 1 (26). - С. 117 - 127.

81. Постреляционная СУБД Cache [Электронный ресурс]. - Режим доступа: www.intersystems.ru. (дата обращения 21.12.2010)

82. Поспелов, Д.А. Фантазия или наука: на пути к искусственному интеллекту [Текст] // М.: Наука, 1982. - 224 с.

83. Проблемы комплексного использования учетных систем и технологий OLAP // [Электронный ресурс]. - Режим доступа: www.iso.ru (дата обращения 01.03.2009)

84. Промышленные информационные технологии. Материалы Конференции разработчиков Cache // [Электронный ресурс]. — Режим доступа: www.itfond.ru. (дата обращения 23.07.2008).

85. Пивкин, В.Я.Нечеткие множества в системах управления / Пивкин В.Я., Бакулин Е.П, Кореньков Д.И.// [Электронный ресурс]. - Режим доступа: http://idisys.iae.nsk.su/fu-zzy_book/content.html. (дата обращения 11.11.2007)

86. Соловьев, С. В. Технология разработки прикладного программного обеспечения [Текст]/ Соловьев C.B., Цой Р.И., Гринкруг JI.C.// - М.: Издательство "Академия Естествознания", 2011. 407 с.

87. Речкалов, А. В. Метод применения теории категорий для формализации содержательной модели производственного процесса в информационной среде предприятия. [Текст]./ Речкалов А. В., Куликов Г. Г., Антонов В. В., Артгахов А. В. // Четырнадцатая Международная конференция . Уфа. 2014, С. 141-143.

88. Речкалов, А. В. "Разработка формальной интегральной модели производственного процесса машиностроительного предприятия[Текст]/ Речкалов А. В., Антонов В. В., Артюхов А. В.// Вестник УГАТУ: науч. журнал Уфимск. гос. авиац. техн. ун-та УГАТУ. 2014. Т. 18. № 4 (65). С. 125133.

89. Рыжов, А. П. Элементы теории нечетких множеств и ее приложений[Текст] //Диалог-МГУ, Москва,2003.

90. Сахаров, A.A. Концепция построения и реализации информационных систем, ориентированных на анализ данных[Текст] // СУБД. 1996. №4. С. 55-70.

91. Сахаров, A.A. Принципы проектирования и использования многомерных баз данных (на примере Oracle Express Server) [Текст] //СУБД. 1996. №3. С. 44-59.

92. Системы персонального учета населения. Технико-экономическое обоснование создания // [Электронный ресурс]. - Режим доступа: www.insoft.ru. (дата обращения 11.03.2008)

93. Совместное использование учетных систем и технологии OLAP // [Электронный ресурс]. - Режим доступа: citforum.oldbank.com/database/articles /olap_oltp.html. (дата обращения 16.09.2014)

94. Смирнов, A.B. и др. Онтологии в системах искусственного интеллекта: способы построения и организации (часть 1) / Смирнов A.B., Пашкин М.П.,

Шилов Н.Г., Левашова Т.В. [Текст] // Новости искусственного интеллекта. 2002. №1(49). С. 62-82.

95. Споффорд, Д. Доступ к аналитике: новые интерфейсы для OL АР [Текст] // Журнал Intelligent Enterprise, 2004. №1. С. 12-18.

96. Сухобоков, А. Концепция системы управления предприятием ERP II нуждается в модернизации // [Электронный ресурс]. - Режим доступа: http://www.cnews.ru/reviews/free/ consulting (дата обращения 26.11.2013)

97. Сэлтон, Г. Автоматическая обработка, хранение и поиск информации: Пер. с англ. / Под ред. А.И. Китова//. - М.: Советское радио, 1973. 560 с.

98. Тейлор, Д. Вести из Консорциума по интеграции. Интеграция корпоративной информации - новое определение // [Электронный ресурс]. -Режим доступа http://DMRevivew.com. (дата обращения 16.01.2013)

99. Типовые требования к автоматизированным системам электронного документооборота. Спецификация MoReq. // [Электронный ресурс]. - Режим доступа http://www.cornwell.co.uk/moreq.html. (дата обращения 22.01.2013)

100. Тухватов, М. Б. «Множества и их отображения. Дискретная математика. [Текст] // Уфа: БГАУ, 2002. - 393 с.

101. Тухватов, М.Б. Множества и их отображения. Дискретная математика[Текст] // Уфа: БГАУ, 2002. 393 с.

102. Ушаков, К. Вступление России в ВТО. Пропасть или взлет? [Текст] // СЮ. 2006. №6. С. 42^19.

103. Цаленко, М.Ш. Моделирование семантики в базах данных[Текст] // М.: Наука. 1989. 288 с.

104. Чугреев, В.Л. Модель структурного представления текстовой информации и метод ее тематического анализа на основе частотно-контекстной классификации: Диссертационная работа к.т.н. [Текст] // СПб.: С.-Петербургский государственный электротехнический "ЛЭТИ", 2003. 139 с.

105. Шеер Август-Вильгельм. Бизнес-процессы: основные понятия, теории, методы. [Текст] //М.: Весть-Метатехнология, 1999. 273 с.

106. Штовба, С.Д. Введение в теорию нечетких множеств и нечеткую логику // [Электронный ресурс]. - Режим доступа http://matlab.exponenta.ru/fuzzylogic/bookl/14.php (дата обращения 20.06.2010)

107. Дэвид А. Шаппелл. ESB Сервисная шина предприятия [Текст] // СПб.: БХВ -Петербург/ 2008. 340 с.

108. Хрусталев, Е.М. Агрегация данных в OLAP- кубах // Электронный ресурс]. - Режим доступа http://www.olap.ru (дата обращения 21.07.2009)

109. Хомский, Н. «Язык и проблема знания» [Текст] // Вестник МГУ : сб. науч. тр. Москва, 1996. Вып. 6. С. 157-185.

110. Юсупова, Н. И. и др. Философские и прикладные вопросы методологии искусственного интеллекта [Текст] / Юсупова Н. И., Кунафин М.С., Кудряшев А. Ф., Бугера В. Е., Зверев Г. П., Куликов Г. Г., Долматов М. Ю., Антонов В. В. и др.; Под ред. Н. И. Юсуповой. // Москва. Машиностроение. 2009.212 с.

111. Юсупов, ИЛО. Автоматизированные системы принятия решений [Текст] //М.: Наука. 1983. 87с.

112. Яблочников, Е.И. Методы управления жизненным циклом приборов и систем в расширенных предприятиях: Учебное пособие. [Текст] / Яблочников Е.И., Молочник В.И., Фомина Ю.Н., Саломатина A.A., Гусельников B.C. // СПб.: СПбГУ ИТМО, 2008. - 148 с.

113. Ямалов И. У. Системное проектирование автоматизированных информационных систем : Учебное нособие[Текст] / И.У. Ямалов, Г.Г. Куликов, О.М. Куликов, JI.C. Полиенко // Уфа : УГАТУ, 1999. 100 с.

114. Методы управления проектами. Материалы сайта компании Gartner Group // [Электронный ресурс] Режим доступа: http://www.gartner.com/ (дата обращения: 22.06.13)

115. Анализ российского опыта внедрения информационных систем, поддерживающих деятельность органов государственной власти Материалы сайта федеральной целевой программы «Электронная Россия» //

[Электронный ресурс] Режим доступа: www.elrussia.ru (дата обращения: 2.07.2006)

116. Материалы федеральной целевой программы «Электронная Россия». Постановление №403 от 9.06.2010 г. «О внесении изменений в ФЦП Электронная Россия».// [Электронный ресурс] Режим доступа: www.elrussia.ru. (дата обращения: 2.07.2006)

117. Материал из Википедии — свободной энциклопедии. [Электронный ресурс] Режим доступа: https://ru.wikipedia.org/wiki/OLAP (дата обращения 18.03.2011)

118. ГОСТ Р ИСО 9000:2001. Системы менеджмента качества. Основные положения и словарь // [Электронный ресурс] Режим доступа: http://www.unilib.neva.ru/dl/quality/ std/gsriso90002001 .html (дата обращения 28.09.2011)

119. ГОСТ Р ИСО ТО-18529 Эргономика. Эргономика взаимодействия человек—система. Описания процесса человекоориентированного жизненного цикла. [Электронный ресурс] Режим доступа: http://www.unilib.neva.ru/dl/quality/ std/gsrisol85292005.htm (дата обращения 28.09.2011)

120. ГОСТ Р ИСО/МЭК 12207-99. Процессы жизненного цикла программных средств. [Текст] // М.: ИПК Издательство стандартов, 2000. — 76с.

121. ГОСТ Р ИСО/МЭК 15288 - 2005. Системная инженерия. Процессы жизненного цикла систем. [Текст] // М.: Федеральное агентство по техническому регулированию и метрологии, 2006. - 54 с.

122. Доклад о результатах и основных направлениях деятельности Управления Федеральной миграционной службы по Республике Башкортостан на 2013 год и плановый период 2014-2016 годов // [Электронный ресурс] Режим доступа: http://mvw.fmsrb.ru/material.aspx?m=140 (дата обращения 21.12.2014)

123. Концепция государственного учета// [Электронный ресурс] Режим доступа: http://economy.gov.ru/minec/activity/sections/fcp/docl 131005467312 (дата обращения 23.01.2015).

124. Постановление Правительства Российской Федерации от 28.01.2002 г. №65. Положение федеральной целевой программы «Электронная Россия (2002-2010 г.г)». «Предложения по направлениям работ над электронными административными регламентами» // [Электронный ресурс] Режим доступа: www.e-rus.ru. (дата обращения 18.09.2014)

125. Приказ МВД России от 29.08.2014 N 736 "Об утверждении Инструкции о порядке приема, регистрации и разрешения в территориальных органах Министерства внутренних дел Российской Федерации заявлений и сообщений о преступлениях, об административных правонарушениях, о происшествиях", зарегистрированный в Минюсте России 06.11.2014 N 34570.

126. Распоряжение Правительства Российской Федерации от 27.09.2004 г. №1244-р. Концепция использования информационных технологий в деятельности федеральных органов исполнительной власти [Текст] // [Электронный ресурс] Режим доступа: www.e-rus.ru . (дата обращения 18.09.2014)

127. Р50.1.028-2001. Методология функционального моделирования // М.: Госстандарт России, 2000. [Электронный ресурс] Режим доступа: www.cals.ru . (дата обращения 28.02.2006)

128. Федеральный закон Российской Федерации от 4 июля 1996 года № 85-ФЗ «Об участии в международном информационном обмене» // [Электронный ресурс] Режим доступа: www.e-rus.ru . (дата обращения 18.09.2014)

129. Федеральный закон Российской Федерации от 20 февраля 1995 года № 24-ФЗ «Об информации, информатизации и защите информации» // [Электронный ресурс] Режим доступа: www.e-rus.ru . (дата обращения 18.09.2014)

130. Abaev, L. Choice of variants in a fuzzy environment: binary relations and fuzzy decomposition, in: Soft Models in Decision-Making (Ed. by I. Batyrshin and D. Pospelov).// Special Issue of International Journal of General Systems, Vol.30. 2001. C. 53-70.

131. Jhingran, A. Alternatives in Complex Object Representation: A Performance Persrective/ Anant Jhingran, Michael Stonebraker// 6th Int. Conf. Data Eng., Los Angeles, Calif., USA, Febr. 5-9, 1990. C. 94-102.

132. Straw, A. Object Management in a Persistent Smalltalk System / A. Straw, F. Mellender, S. Riegel // Software Pract. and Exper. 19, 1989. №8. C. 719-737.

133. Stonebraker, M.. The Design of the POSTGRES Storage System // 13th Int. Conf. Very Large Data Bases, Brighton, England, Sept. 1-4, 1987. C. 289-300.

134. Antonov, V. One of methods of increase of operational characteristics of the used automated information systems in the Ministry of Internal Affairs of Republic Bashkortostan // The 7th International Workshop on Computer Science and Information Technologies, Ufa, Russia, 2005, vol 3, C. 148-151.

135. Jenq, P Query Processing in Distributed ORION / B. Paul Jenq, Darrell Woelk, Won Kim, Wan-Lik Lee. // Advances in Database Technology -EDBT'90.- Lecture Notes in Computer Science. 416, 1990. C. 169-187.

136. Inmon, B. The Data Warehouse ETL Toolkit (2nd edition) // Elsevier Press, 2008. 243 c.

137. Carey, M. J. Object and File Management in the EXODUS Extensible Database System / Carey M. J., De Witt D. J. . // 12th Int. Conf. Very Large Data Bases, Kuoto, Japan, Aug. 1986. C. 91-100.

138. Lecluse, C. 02, an Object-Oriented Data Model / C. Lecluse, Ph. Richard, F. Velez. // Process ACM SIGMOD Inter. Confer. Manag. Data, Chicago, USA, 1988, №3. C. 424-433.

139. Codd, E. F. Providing OLAP. On-Line Analytical Processing to User-Analysts: An IT Mandate./ Codd E. F., Codd S. B., Salley C. T // E. F. Codd & Associates, 1993.

140. Cordon, О. A General study on genetic fuzzy systems/ Cordon O., Herrera

F. // Genetic Algorithms in engineering and computer science, 1995. C. 33-57.

141. Damon, C. Abstract Types and Storage Types in an OO-DBMS / C. Damon,

G. Landis.// Digest of papers, 33rd CompCon, Spring 1988, USA: 1988. C. 172176.

142. Penney, D. Class Modification in the GemStone Object-Oriented DBMS/ D. Jacob Penney, Jacob Stein // Proc. OOPCLA*87, Orlando, Fla, USA, 1987. С. 111117.

143. Woelk, D. Multimedia Information Management in a Object-Oriented Database System / D. Woelk, W. Kim. // 13th Int. Conf. Very Large Data Bases, Brighton, England, 1987. №1 C. 319-330.

144. Dublin Core Metadata Element Set Reference Description, Version 1.1, 1999-072.// [Электронный ресурс] Режим доступа: www.purl.org. (дата обращения 13.12.2007)

145. Rahm, Е. Data Cleaning: Problems and Current Approaches. / E. Rahm, H. Hai Do // IEEE Data Engineering Bulletin, 23(4), 2000.

146. Velez, F. The 02 Object Manager: An Overview / F. Velez, G. Bernard, V. Darnis// 15th Int. Conf. Very Large Data Bases, Amsterdam, 1989. C. 357-366.

147. Sadri, F. Object-Oriented Database Systems // COMPSAC'89 13th Annu. Int. Comput. Software and Appl. Conf., Orlando, Fla, 1989. С. 195-196.

148. Garvey, M. A.Introduction to Object-Oriented Databases / Garvey M. A., Jackson M. S.// Inf. and Software Technol. 31, 1989. №10. C. 521-528

149. Barbedette, G. A Persistent Object-Oriented LISP // Advances in Database Technology - EDBT'90.- Lecture Notes in Computer Science. 416, 1990. C. 332347.

150. Inmon, W. H. Building The Data Warehouse (Second Edition) // NY: John Wiley. 1993.

151. Gray, J. Data Cube: A Relational Aggregation Operator Generalizing Group-By and Sub-Totals/ Gray S. Chaudhuri // Data Mining and Knowledge Discovery. - 2004. - N 3. - P. 89-96.

p

152. Peckham, J. Semantic Data Models / J. Peckham, F. Maryanski // ACM Comp. Surv., 1988. №3. C. 153-189.

153. Karen, E. A Case Study of the Differences Between Relational and Object-Oriented Database Systems / Karen E., Stanley B.// Proc. OOPCLA'87, Orlando, USA, 1987. C.452-465.

154. Wilkinson, K. The Iris Architecture and Implementation / K. Wilkinson, P. Lyngbaek, W. Hasan.// IEEE Trans. Knowledge and Data Eng. 2, 1990. №1. C. 63-75.

155. Kim, W. ACM Press and Addison-Wesley, 1989. C. 3-21.

156. Kleinberg, J. Authoritative sources in a hyperlinked environment. // Jornal of the ACM 46(5), 1999. C. 604-632

157. Rowe, L.M. The POSTGRES Data Model / L. Rowe, M. Stonebraker // 13th Int. Conf. Very Large Data Bases, Brighton, England, Sept., 1987. №1-4. C. 8396.

158. Lipski, W. Jr. On Databases with Incomplete Information // Journal of the ACM, 1981. vol. 28, №1.

159. Atkinson, M. The Object-Oriented Database System Manifesto / M. Atkinson, F. Bansilhon.// 1st Int. Conf. Deductive and Object-Oriented Databases, Kyoto, Japan, Dec. 4-6, 1989. C. 12-36.

160. Mamdani, E.H. An experiment in linguistic yn thesis with a fuzzy logic controller / E.H. Mamdani, S. As- silian // International Journal of Man-Machine Studies. - 1975. - Vol. 7, № 1

161. Rapaport, M. Object-Oriented Data Bases: The Next Step in DBMS Evolution // Comp. Lang. 5, 1988. №10. C. 91-98.

162. Nelson, L. A Relational Object-Oriented Management System / L. Nelson, J. Moshell, Ali Orooji // 9th Annu. Int. Phoenix Conf. Comput. and Commun.-Scottsdale, Aris., USA, 1990. C. 319-323.

163. Stonebraker, M. Bruce Lindsay, Jim Gray. The Committee for Advanced DBMS Function. Third Generation Data Base System Manifesto / M. Stonebraker,

В. Lindsay, J. Gray// Proc. ACM SIGMOD Int. Conf. Manag. Data, Atlanta City, USA, ACM SIGMOD, 1990. №2. C. 34-43.

164. Stonebraker, M. Extending a Database System with Procedures / M. Stonebraker, J. Anton, E. Hanson // ACM Trans. Database Syst.- 12, 1987. №3. С. 350-376.

165. Stonebraker, M. The Implementation of POSTGRES / M. Stonebraker, L. A. Rowe, M. Hirohama // IEEE Trans. Knowlwdge and Data End. 2, 1990. №1. C. 125-141.

166. Stonebraker, M. Future Trends in Database Systems // IEEE Trans. Knowledge and Data Eng. 1, 1989. № 1. C. 33-44.

167. Ketabchi, M. A. Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases / M. A. Ketabchi, V. Berzins // IEEE Trans, on Software Eng.- 14, 1988. №1. C. 71-84.

168. Roussopoulus, N. ROOST: A Relational Object-Oriented System / N. Roussopoulus, H. S. Kim. // Lect. Notes Comput. Sei. 367. 1989. C.404-^20.

169. Pendse, N. OLAP Architectures: The OLAP Report // [Электронный ресурс] Режим доступа: http://www.olapreport.eom/Architectures.htm#top (дата обращения 17.05.2011)

170. Niestrasz, О. An Object-Oriented Environment for OIS Applications / О. Niestrasz, D. Tsichritzis // 11th Int. Conf. Very Large Data Bases, Stockholm, 1985. C. 83-96.

171. Nierstrasz, O. A Survey of Object-Oriented Concepts // In Object-Oriented Concepts, Databases and Applications, 1989. C. 3-21.

172. Parsaye, K. Surveying Decision Support: New Realms of Analysis // Database Programming and Design, 1996. № 4. C. 94-103

173. Pawlak, Z. Rough Sets // ICS PAS Reports, Warszawa, 1981, №4(31).

174. Lyngbaek, P. The Iris Kernel Architecture / P. Lyngbaek, K. Wilkinson, W. Hasan // Advances in Database Technology - EDBT'90.- Lecture Notes in Computer Science. 416, 1990. C. 348-362.

175. Hull, R. Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees, and Reachibility / R. Hull, K. Tanaka, M. Yoshikawa. // Lect. Notes Computer Scince 367., 1989. C. 372-388.

176. Hudson, S. E. A Self-Adaptive, Concurrent Implementation of an Object-Oriented Database Management System / S. E. Hudson, R. King.// ACM Trans. Database System, № 3.,1989. C.291-321.

177. Abiteboul, S. IFO: A Formal Semantic Database Model / S. Abiteboul, R. Hull // ACM Trans. Database System, 1987. №4. C. 525-565.

178. Chakravarthy, S. Making an Object-Oriented DBMS Active: Design, Implementation, and Evaluation of a Prorotype. / S. Chakravarthy, S. Nesson.// Advances in Database Technology EDBT'90.- Lecture Notes in Computer Science. 416, 1990. C. 393-406.

179. Gibbs, S. Xos: An Overview / S. Gibbs, V. Prevelakis // In Object Management, Ed. D. Tsichritzis, Centre Universitaire d'Informatique, Universite

J de Geneve, 1990. C. 37-61.

180. Stanley, Y.W.Su. Extensions to the Object-Oriented Paradigm // COMPSAC'89 13th Annu. Int. Comput. Software and Appl. Conf., Orlando,USA, 1989. C. 197-199.

181. Zdonik, S. Directions in Object-Oriented Databases // COMPSAC'89 13th Annu. Int. Comput. Software and Appl. Conf., Orlando, USA, 1989. 200c.

182. Böttcher, S. Attribute Inheritance Implemented on Top of a Relational Database System // 6th Int. Conf. Data Eng., Los Angeles, USA, 1990. C. 503509.

183. Keefe, T. F. A Secure Object-Oriented Database System / T. F. Keefe, W. T. Tsai, M. B. Thuraisingham // Computers and Security. 8, 1989. №6. C.517-533.

184. Andrews, T. Combining Language and Database Advances in an Object-Oriented Development Environment GemStone Object-Oriented DBMS / T. Andrews, C. Harris // Proc. OOPCLA'87, Orlando, USA, 1987. C. 430^40.

185. Thomas Erl, Next Generation SOA: A Concise Introduction to Service Technology & Service-Orientation // USA: Prentis Hoi, 2009. - 800 p.

186. Won Kim. Operations and Implementation of Complex Objects/ Won Kim, Hong-Tai Chou, J. Banerjee // IEEE Trans, on Software Eng.- 14, 1988. №7. C. 985-996.

187. Won Kim. Composite Object Support in an Object-Oriented Database System GemStone Object-Oriented DBMS / Won Kim, J. Banerjee, Hong-Tai Chou, J. F. Garca, D. Woelk // Proc. OOPCLA'87, Orlando, USA, 1987. C. 118— 125.

188. Zachman, J. A. A Framework for Information System Architecture. IBM System Journal, vol. 26, No. 3, 1987.