Научная статья на тему 'Формализация предметной области с применением инструментов, поддерживающих стандарты'

Формализация предметной области с применением инструментов, поддерживающих стандарты Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
2112
168
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕЧЕТКАЯ ЛОГИКА / ИНФОРМАЦИОННЫЕ СИСТЕМЫ / ПРЕДМЕТНАЯ ОБЛАСТЬ / BPMN / FUZZY LOGIC / INFORMATION SYSTEMS / SUBJECT DOMAIN

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

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

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

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

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

Formalization of subject domain with usage of standards supporting tools

The evolution of information systems can be viewed from the perspective of their impact on the organization: embedding of an information system into the existing business-form or its changing. The share of expenses to obtaining and processing information in economics and social expenses increases continuously. However, so far many theoretical aspects, connected with automation processes modeling and their information support for further cooperation with the semantic rules, governing them, remains unexplored. On the basis of the model of abstract business-process will be considered a possibility of phased automation and building of information systems.

Текст научной работы на тему «Формализация предметной области с применением инструментов, поддерживающих стандарты»

СИСТЕМНЫМ АНАЛИЗ, УПРАВЛЕНИЕ И ОБРАБОТКА ИНФОРМАЦИИ

УДК 004.051

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

ФОРМАЛИЗАЦИЯ ПРЕДМЕТНОЙ ОБЛАСТИ С ПРИМЕНЕНИЕМ ИНСТРУМЕНТОВ, ПОДДЕРЖИВАЮЩИХ СТАНДАРТЫ

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

Мир, в котором мы живем, является миром со слабыми причинно-следственными связями. Именно благодаря слабой связанности мира, мы можем выделить в нем отдельные системы, а в них подсистемы. В противном случае весь мир представлял бы собой одну чрезвычайно сложную систему. Построение информационной системы, переход из одного состояния в другое происходит по определенным закономерностям. Причем закономерности переходов не всегда могут задаваться в четком виде, т. е. система обладает поведением, определяемым закономерностями [6]. Закономерность целостности проявляется при каждом состоянии системы. Благодаря этому качеству при каждом состоянии системы могут возникать новые свойства, которые не могут быть выведены как сумма свойств элементов, то есть возникают синергетические свойства. При этом важно, что объединение элементов приводит к появлению новых свойств, которых у них не было и утрате некоторых свойств элементов. То есть происходят сложные качественные изменения, которые не всегда могут быть представлены и объяснены. И благодаря именно этой особенности мы можем отображать системы с неопределенностью в виде формальной четкой модели. При этом ставится следующая задача:

• переход от управления традиционными базами данных к управлению обширными коллекциями структурированных, полуструктури-рованных и неструктурированных данных;

• переход к управлению данными, которые распределены по многим репозиториям (то

есть практически к управлению пространствами данных);

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

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

ПРОБЛЕМЫ ПОСТРОЕНИЯ ФОРМАЛЬНОЙ МОДЕЛИ ПРЕДМЕТНОЙ ОБЛАСТИ

Вопрос соотношения реального объекта и его модели адекватен вопросу соотношения некоторого объекта и нашего знания о нем, то есть в модели присутствует неопределенность, которую необходимо учитывать при переносе выводов на реальный объект. Упомянутая «неопределенность» обладает сложной структурой понятия [4, 7]. Причем разные типы неопределенности обрабатываются разными средствами поддержки обработки информации (рис. 1).

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

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

Контактная информация: 8(347)273-78-23

Технология Методология

Рис. 1. Средства поддержки обработки информации

Рис. 2. Теоретическая база методологий анализа предметной области

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

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

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

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

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

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

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

Имеем два различных класса моделей: модель действительности; модель знаний про эту действительность.

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

При использовании идей метода синтакси-чески-ориентированной трансляции (основанного на работах Ноэля Хомского) [8] семантический анализ может быть сведен к синтаксическому пошаговым выполнением процессов: распознавание структуры; построение выходных действий на основе этой структуры.

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

Рис. 3. Моделирование предметной области

Рис. 4. Отображение предметной области в информационной системе

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

В формальной математической модели, мы определяем атрибуты и правила их взаимодействия. Эта модель может быть реализована с помощью 8ЛБТ, БРМК (рис. 5) или объектноориентированной методологии.

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

В последние несколько лет получило широкое распространение размещение информаци-

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

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

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

Рис. 5. Отображение предметной области в информационной системе в нотации БРМК

Выделенный сервер

Хранилище данных

Контент

Рис. 6. Понимание контента в рамках виртуализации хранилищ данных

Таким образом, конечное множество объектов предметной области может быть использовано в качестве множества объектов кластеризации. Данное множество описывается конечным множеством атрибутов, каждый из которых количественно представляет некоторое свойство или характеристику элементов рассматриваемой предметной области. Каждый кластер будет иметь свойства ОЬЛР-куба. Эта проблема известна в математике как проблема покрытия информационного пространства с информационными объектами.

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

[4, 7].

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

j(z)=£ £ (m (у )2 х £ (ym-vj )2)), (1)

m=1 i=1 m=1

где Z = {zb...,z„} - объекты кластеризации, уг = = {у1,-..,Ур.} - вектор параметров, =

= {(ml,..., ml),..., (mn,..., mn)} - множество функций принадлежности объектов нечетким кластерам, V - координаты центров кластеров.

При выполнении нечетких выводов используются нечеткие соответствия, заданные между областью определения и областью значения в виде прямого произведения R. При этом можем утверждать, что система отображает семейства нечетких множеств друг на друга. Используя основное правило вывода традиционной логики modus ponens, согласно которому мы судим об истинности высказывания В по истинности высказывания A, можем применить один из способов формализации соответствия, и применяя разные формализации нечеткого условного высказывания «Если x есть A, то у есть В» можем получить из одной посылки разные выводы, имея возможность выбора конкретного обобщения для решения в зависимости от свойств предметной области [7]. Используемая

математическая модель корреспондируется с положениями теории категорий, которая является основой для теории множеств.

Учитывая, что нас интересуют только множество четко недоминируемых решений, исключив отношение равноценности Д(х, у) = 0, и используя доказательства, приведенные в [5], решение сводится к выбору альтернатив на основе Р-уровневых отношений предпочтения, причем можно ввести одно нечеткое отношение

т

предпочтения равное ^ 1 1 (х,у), где Ъ - весо-

1=1

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

Р(Ь) = {(*, у)|ХМ (х, у) >р|. (2)

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

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

Чтобы создать информационную систему, требуется иерархическая организационная

структура (рис. 7).

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

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

Рис. 7. Статистический / аналитический учет

Для информационной системы можно применить процессный подход, основанный на формальных моделях жизненного цикла (ЖЦ) систем. При этом следует обратить внимание на стандарт ISO/IEC 15288, который является рамочным (Framework) в том плане, что не задает общих требований к реализации процессов, связанных с разработкой и поддержкой жизненного цикла систем и используется в качестве методологической основы для организации этих процессов с необходимой конкретизацией для конкретной области деятельности, при этом жизненный цикл систем представляется в виде «дерева» процессов. С точки зрения процессного подхода, стандарт ISO/IEC 15288 представляет собой обобщенную систему мышления и существенный запас знаний о продуктах и услугах,

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

При этом обрабатываемые данные могут быть представлены в виде конечных последовательностей знаков и цифр, взятых из некоторого конечного алфавита, а сам процесс обработки в виде осуществления преобразования входных данных в выходные посредством разделения на части, выполнения над которыми некоторой последовательности операций (функций или процессов) для получения результатов и формирования на их основе выходных данных. Могут быть использованы различные подходы, структурирующие предметную область и моделирующие ее, например, с помощью описания функциональной структуры. Однако в любом случае, при информационном подходе для формализации предметной области, первичными являются категории объектов и отношения между ними, т.е. формально система отношений может быть представлена множеством объектов предметной области и множеством отношений между ними, а совокупность информационных характеристик процесса {<АЬ Di >, I = 1,...,п}, установленных отношений О = {о, о} и правил установления отношений п = <О, Т> может быть использована для формального определения процесса в виде следующего кортежа компонентов:

г = {а1 , д),{О, О},({О, О},т)} г е N. ( 3)

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

ских нужд моделирования бизнес-процессов, связи между элементами системы могут иметь различный характер, свойства и атрибуты, то есть тоже могут рассматриваться как объекты системы. Например, процессы соглашения PS состоят из процесса приобретения PSpr и процесса поставки PSpo. При этом процесс приобретения состоит из цели процесса приобретения PSI = {pr1}, результата процесса приобретения

PS2pr = {pr2,...,pr72}, деятельности в процессе приобретения PS3pr = {prj3,..., pr83}. Процесс поставки состоит из цели процесса поставки PS1 = {poj}, результата процесса поставки

PSpo = {po2,...,po72}, деятельности в процессе поставки PS^o = {poj3,...,poj}. Имеет место формула, которая определяет отношение между организациями в виде упорядоченного множества:

PS = (PS , PS ) =

(2)

= ({ps 1 , PS2 , PS3}, {ps1 , PS2 , PS3 }.

\L pr~ pr~ pr J5 L po' po~ pojf

Необходимость располагать адаптивными бизнес-процессами, которые могут быть тонко настроены и оптимизированы на соответствие, с одной стороны, нормативной базе, а с другой -изменяющимся условиям бизнеса, привело к системам управления бизнес-процессами. Конструктивной формой описания процессов следует считать также описание в виде синтаксических диаграмм, представляющих собой графическое представление. Из наиболее известных и широко применяемых можно назвать методику структурного анализа и проектирования SADT и основанную на ней IDEF0, а также относительно новую методологию описания бизнес-процессов Business Process Modeling Notation (BPMN).

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

Исследуемые параметры:

1. Результат стадии замысла 2.

2. Информация о технических и программных средствах и интерфейсах операторов и 2 = {2/1,..., %?}.

3. Информация о требованиях к средствам

производства, обучения и поддержки

233 = {2] 1,..., 2]Зтз}.

4. Информация из результатов стадии производства 2К4.

5. Результаты стадии, используемые для рекурсивного анализа 234 = {2/4, ..,2/3} :

• соответствие критериям перехода на следующую стадию;

• санкционирование перехода на стадию производства;

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

6. Результаты стадии, используемые для последующих стадий - рассматриваемая система или прототип рассматриваемой системы, усовершенствованные обеспечивающие системы или имеющиеся обеспечивающие системы, документация и оценки стоимости последующих стадий и т. д. 2Ж2 = {^2,...,^2°} .

Имеет место формула:

22 =< 2Ж1,232,233,РР,РРЯ,ТР,234,

,2К4,2^2,{О2,&2},({О2,О2},Т2) >, (3)

где О2, О2, Т2 определены в соответствии с формулой (1) для стадии 22. Типовое описание процессов стадии разработки может быть представлено в виде диаграммы, в форме близкой к БРМК, приведенной на рис. 8.

Используя аналогичные описания для других стадий жизненного цикла системы при проектировании и автоматизации процессов можно ясно и лаконично описать:

• логику обработки событий и исключений;

• появление параллельных потоков работ и их синхронизацию;

• взаимодействие процессов и исполнителей.

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

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

г*>

I I

I д

І I

і______________Л__

і

Рис. 8. Диаграмма типового описания процессов стадии разработки в нотации БРМК

В качестве примера сформируем структуры формальной семантической модели жизненного цикла проекта в общем виде в аналитической форме (4) и интерпретируем ее в форме функциональной модели процесса формирования ЖЦ проекта верхнего уровня в нотации БРМК (рис. 9).

121, 22 , 23 ,24 ,25 ,26 ,РР,

ЕС = {/ ,РРЯ,ТР,{О,О},

\,({0, 0},Т)

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

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

Выполняемые действия--------[>

Осуществить разработку

РРЯ, РР’ТР, С2, Т2 О

Рис. 9. Диаграмма типового описания процессов стадий жизненного цикла в нотации БРМК

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

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

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

ЗАКЛЮЧЕНИЕ

Методика, предложенная для моделирования предметной области, реализует:

• Поэтапное выделение объектов предметной области.

• Установление связей между атрибутами.

• Сокращение нечеткости при каждой последующей стадии жизненного цикла.

• Методика моделирования может быть реализована:

• Посредством 8ЛБТ-методологии.

• Использованием формальных языков, таких как БРМШГОБР/иМЬ.

СПИСОК ЛИТЕРАТУРЫ

1. Айзерман М. А., Алесекров Ф. Т. Выбор вариантов. Основы теории. М.: Наука, 1990. 240 с.

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

3. Борисов А. Н., Крумберг О. А., Федоров И. П. Принятие решений на основе нечетких моделей. Примеры использования. Зинатне, Рига : 1990. 180 с.

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

5. Погонин В. А. Модели диспетчерского управления роботами // Интернет-журнал «Информационные процессы и управление». 2006. № 1. С. 45-57.

6. Поспелов Д. А. Знания и шкалы в модели мира // Модели мира. М.: РАИИ, 1997. С. 69-84.

7. Рыжов А. П. Элементы теории нечетких множеств и ее приложений [Электронный ресурс] // Диалог-МГУ. (http://intsys.msu.ru/staff/ryzhov/ Ги77у-SetsTheory& Applications.pdf).

8. Хомский Н. Язык и проблема знания // Вестник МГУ. 1996. Вып. 6. С. 157-185.

ОБ АВТОРАХ

Антонов Вячеслав Викторович, доц. каф. автоматизированных систем управления. Дипл. математик (БГУ, 1979). Канд. техн. наук по управл. в соц. и экон. системах (УГАТУ, 2007). Иссл. в обл. автома-тиз. информ. систем.

Куликов Геннадий Григорьевич, проф., зав. той же каф. Дипл. инженер по автоматиз. машиностроения (УАИ, 1971). Д-р техн. наук по системн. анализу, автоматич. упр. и тепловым двигателям (УАИ, 1989). Иссл. в обл. АСУ и упр. силовыми установками ЛА.

Антонов Дмитрий Вячеславович, асп. той же каф. Дипл. инженер по автоматизированным системам обработки информации и управления (УГАТУ, 2010). Готовит дис. в обл. построения информационных систем.

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