Научная статья на тему 'Автоматизация информационных систем и метамоделирование'

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

CC BY
879
92
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
АВТОМАТИЗАЦИЯ / ОНТОЛОГИЧЕСКИЙ ПОДХОД / ИНФОРМАЦИОННАЯ СИСТЕМА МОДЕЛИРОВАНИЯ / МОДЕЛЬ ПОНЯТИЯ / КОНЦЕПТУАЛЬНЫЕ МЕТАМОДЕЛИ / AUTOMATION / ONTOLOGICAL APPROACH / INFORMATION MODELING SYSTEM / MODEL OF CONCEPT / CONCEPTUAL METAMODELS

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

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

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

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Никольский Сергей Николаевич, Сурженко Игорь Феодосиевич

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

AUTOMATION OF INFORMATION SYSTEMS AND METAMODELLING

In the current research in the theory of information systems, approach using the concept of ontology, as an organized set of concepts, is developed. This led to ontological approach, as development of conceptual-oriented point of view on the solution of the problem of computerization of information systems. The practical value of ontological approachto the solution of the problem of computerized information systems development is that the ontology defines the conceptual design environment in which the process of synthesis of automation object model will be constructed. Such environment must be universal in sense that it is maximum independent in relation to the choice of the specific automation object. The development of ontological approach needs the solution of such questions as the place of ontologies in the solution of automation problem, analysis of the structure of ontologies and their link with logical and linguistic point of view on the structure of information system. The purpose of article is the study of automation problem and its link with metamodeling. Essential problem consist in construction of model of automation process in the form of modeling system and in the choice of information systems that correspond to cybernetic point of view on natural intellect. It is shown that application of automation scheme to information modeling system leads to the set of metamodels.

Текст научной работы на тему «Автоматизация информационных систем и метамоделирование»

13. Gladkov L.A., Gladkova N.V. Osobennosti ispolzovaniya nechetkikh geneticheskikh algo-ritmov dlya resheniya zadach optimizatsii i upravleniya [Features of the use of fuzzy genetic algorithms for solving problems of optimization and management], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2009, No. 4 (93), pp. 130-136.

14. Kureychik V.M., Kazharov A.A. Muravinye algoritmy dlya resheniya transportnykh zadach [Ant algorithms for the solution of transport problems], Izvestiya RAN. Teoriya i sistemy upravleniya [Izvestiya of the Russian Academy of Sciences. Theory and control system], 2010, No. 1, pp. 32-45.

15. Kureychik V.M., Kazharov A.A. Ispolzovanie roevogo intellekta v reshenii NP-trudnykh zadach [Using swarm intelligence in solving NP-hard problems], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2011, No. 7 (120), pp. 30-36.

Статью рекомендовал к опубликованию д.т.н., профессор Ю.О. Чернышев.

Гладков Леонид Анатольевич - Южный федеральный университет; e-mail: [email protected]; 347928, г. Таганрог, пер. Некрасовский, 44; тел.: 88634371625; кафедра систем автоматизированного проектирования; доцент.

Гладкова Надежда Викторовна - тел.: 88634393260; кафедра дискретной математики и методов оптимизации; старший преподаватель.

Gladkov Leonid Anatol'evich - Southern Federal University; e-mail: [email protected]; 44, Nekrasovskiy, Taganrog, 347928, Russia; phone: +78634371625; the department of computer aided design; associated professor.

Gladkova Nadezhda Viktorovna - phone: +78634393260; the department of discrete mathematics and optimization methods; senior teacher.

УДК 681.322

С.Н. Никольский, И.Ф. Сурженко

АВТОМАТИЗАЦИЯ ИНФОРМАЦИОННЫХ СИСТЕМ И МЕТАМОДЕЛИРОВАНИЕ

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

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

S.N. Nikolsky, I.F. Surgenko AUTOMATION OF INFORMATION SYSTEMS AND METAMODELLING

In the current research in the theory of information systems, approach using the concept of ontology, as an organized set of concepts, is developed. This led to ontological approach, as development of conceptual-oriented point of view on the solution of the problem of computerization of information systems. The practical value of ontological approachto the solution of the problem of computerized information systems development is that the ontology defines the conceptual design environment in which the process of synthesis of automation object model will be constructed. Such environment must be universal in sense that it is maximum independent in relation to the choice of the specific automation object. The development of ontological approach needs the solution of such questions as the place of ontologies in the solution of automation problem, analysis of the structure of ontologies and their link with logical and linguistic point of view on the structure of information system. The purpose of article is the study of automation problem and its link with metamodeling. Essential problem consist in construction of model of automation process in the form of modeling system and in the choice of information systems that correspond to cybernetic point of view on natural intellect. It is shown that application of automation scheme to information modeling system leads to the set of metamodels.

Automation; ontological approach; information modeling system; model of concept; conceptual metamodels.

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

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

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

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

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

Рис. 1. Диаграмма процесса автоматизации

Информационная система моделирования MS здесь представлена верхней стрелкой

Мн (Н) ^ Мк (Н)

где Мн (Н) - исходная модель Н, МК(Н) - конечная модель Н, Computer - некоторое вычислительное устройство, играющее роль среды реализация конечной модели МК(Н).

Естественные информационные системы. Для исследования задачи автоматизации в форме информационной системы моделирования следует указать исходную модель МН (Н) информационной системы, как значения переменной Н из диаграммы на рисунке (см. рис. 1).

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

♦ процесс моделирования, информационная система моделирования - MS;

♦ процесс принятия решений, информационная система принятия решений -DM;

♦ процесс управление с обратной связью, информационная система управления с обратной связью - Cont;

♦ процесс коммуникации, информационная система коммуникации - Com

♦ психологические процессы - психологическая информационная система -Psy.

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

н

Рис. 2. Диаграмма естественных информационных систем

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

В соответствии с диаграммой на рисунке (см. рис. 2), задача автоматизации для информационной системы моделирования МЕ является моделированием процесса моделирования. Данный процесс представим в виде сдвоенной диаграммы (рис. 3)

МБ™™: МН(М5) -> МК(М5)

Н = MS: Мн (Н) -> Мк(Н)

Рис. 3. Диаграмма моделирования процесса моделирования

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

MSMETA; Мн (MS) ^ МК (MS). (1)

которая соответствует моделированию информационной системы моделирования MS.

Модели процесса моделирования. По определению информационной системы MSMЕТАкаждая модель M(MS) в (1) есть модель информационной системы моделирования MS, представленной верхней стрелкой диаграммы на рисунке (см. рис. 1). Выберем в качестве исходной модели процесса моделирования MS, т.е. верхней стрелки диаграммы на рисунке (см. рис. 1), следующую последовательность

Мн (MS): анализ Н ^mod(H) ^Computer, где переход «анализ Н ^mod(H)»соответствует моделированию, а переход «mod(H) ^Computer» - реализации модели.

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

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

M1(MS): C-mod (H) ^ Data-mod ^ DB, где C-mod (H) - концептуальная модель Н, Data-mod - модель данных, DB - физическая база данных.

В качестве второй выберем диаграмму пошаговой кристаллизации алгоритмов, которая представляет процесс последовательной разработки алгоритмов решения задач, на основе математических моделей Н, и имеет форму следующей последовательности переходов [7]:

M2(MS): M-mod(H) ^ A-mod(H) ^ B-mod(H), где M-mod(H) - математическая модель Н, A-mod(H) - модель Н, представленная в абстрактных типах данных, B-mod(H) - модель A-mod(H), реализованная в базовых ВТ типах и структурах данных.

Используя модели М^МБ) и М2(МБ)построим конечную модель МК(МБ)информационной системы моделирования МБ в следующей форме:

Мз (МБ) = МБ: С-шоа(И) ^М-шо1(Н). (2)

Нетрудно видеть, что переход (2) есть решение задачи МБМЕТА для процесса моделирования в целом, построенное в виде последовательности его моделей:

МН (МБ) ^ М](МБ) ^ М2(МБ) ^ М3 (МБ) = МК (МБ), где МН (МБ) - модель жизненного цикла программного обеспечения.

Онтологии. Представление информационной системы МБв форме (2) предполагает непосредственную связь концептуальных моделей Н с математическими моделями Н.

Согласно (2), в качестве МН(Н) - исходной модели Н принимается концептуальная модель С-mod(H), т.е.

Мн (Н) = С-mod(H).

Как отмечалось во введении, в современной информатике концептуальное моделирование развивается на основе понятия онтологии, которая, в частности, понимается как [2, 3]:

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

<Ме1аОШ , 0> (3)

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

<Ме1аОШ, Ь ^ОТ^Ч (4)

где, в обоих случаях, метаонтология Ме1аОШ:есть совокупность семантических категорий естественного языка, а предметная онтология ОКТ141 - совокупность понятий, определяющих типы объектов исследования в конкретных областях исследования, и решаемых относительно них задач. Поисковая или решающая система 0 есть машина вывода, как метод решения задач, Ь - совокупность логических терминов, включающая логические связки.

Метаонтология Ме1аОШ, которая является основой в (3) и (4), не единственна. Выделим следующие совокупности понятий, которые используются в качестве метаонтологии Ме1аОШ:

♦ естественнаяметаонтология {объект, свойство, отношение} -

♦ метаонтология физической точки {объект, состояние, время}

♦ объектнаяметаонтология {объект} - Ме1аОи1ОЬ.

Так как в силу диаграммы процесса автоматизации, представленной на рисунке (см. рис. 1), объект исследования Н есть значение любой модели из МБ, то язык описания значений, т.е. моделей Н называют Н-метаязыком [8].

Пусть Ме1аОШ: рассматривается как словарь и £(Ме1аОй) есть язык, грамматически порожденный из метаонтологии-словаря.

В лингвистических исчислениях язык £(Ме1аОШ:) используется для решения проблем семантики, где он используется как глубинный язык по Ч.Филмору, (метаязык), [6] а

ЦОЭТ1)

- поверхностный язык (язык-объект). В логических исчислениях элементы словаря Ме1аОШ:, определяют типы формальных переменных, используемых в символических моделях языка £(Ме1аОй) [8].

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

Концептуальные модели. Проведем исследование связи концептуальных и математических моделей, предполагаемой моделью информационной процесса моделирования в форме схемы (2):

С-шо1(И) ^М-шо1(Н) для случая, когда Ме1аОШ:есть совокупность понятий, т.е. построим Н-метаязык, который является языком концептуальных моделей значений.

Воспользуемся моделью понятия в форме С-диаграммы [10] (рис. 4).

Рис. 4. С-диаграмма. Модель понятия

Символ [Н](с) в С-диаграмме означает, что объект исследования Н отнесен к объему понятия «с»

Н ^ [Н](с).

Стрелки С-диаграммы определяют характеристики объекта исследования Н при его отнесении к объему понятия «с»:

CS(с) = <[с], ^с), сой (с), 1(с)> т.е. характеризация через отнесение задается схемой вида:

Н ^ [Н](с) ^ CS(с), где [с] - имя понятия «с», V(с) - объем понятия «с», соШ:(с) - характеристики элементов объема понятия «с», 1(с) - один элемент объема понятия «с».

Характеристики как элементы модельной системы CS(с) представляют собой элементарные концептуальные модели значения [Н](с) переменной Н:

♦ £-модель [Н](с) есть [с] - называющая форма понятия «с» - лингвистические характеристики [Н](с);

♦ СоШ-модель [Н](с) есть соШ (с) - характеристики элемента объема понятия «с» - смысловые характеристики [Н](с);

♦ У-модель [Н](с) есть V(с) - совокупность элементов объема понятия «с» -объемные характеристики [Н](с);

♦ 1-модель [Н](с) есть 1(с) - один элемент объема понятия «с» - единичные характеристики [Н](с).

Стрелки С-диаграммы определяют V- и 1-модели Н как типы значений называющей формы [с], т.е. элементарной £-модели Н и, следовательно, сводят любую называющую форму [с] к двум понятиям, а именно «совокупность» и «один элемент совокупности».

Рис. 5. Диаграмма значений называющей формы понятия

Следовательно, С-диаграмма означает переход от называющей формы понятия «с» к понятиям, в терминах которых характеризуются ее значения. Для любого понятия «с» такими понятиями являются:

a) на уровне У-моделей: [с] ^У(с) - совокупность

b) на уровне 1-моделей: [с] ^1-(с) - один элемент совокупности У (с).

Первому уровню соответствуют Н-метаязык, основанный на понятии «совокупность», который назовем V-метаязыком, а второму Н-метаязык, основанный на понятии «один элемент совокупности» или 1-метаязык.

Концептуальные метамодели. Под метамоделью обычно понимают модель модели Н. Следовательно, концептуальные модели значений или концептуальные метамодели получаются как решение задачи моделирования концептуальных V-или 1-моделей. Примем V-модели в качестве основных. Тогда построение концептуальных метамоделей соответствует случаю, когда в диаграмме автоматизации на рисунке (см. рис. 1) принимается

Н = V(с) - совокупность (5)

Выберем для исследования две метаонтологии:

Ме1аОп1КАТ= {объект, свойство, отношение} МегаОи^ = {объект, состояние, время} и рассмотрим решение задачи моделирования (5) для этих метаонтологий.

Концептуальные метамодели естественной метаонтологии. Рассмотрим метаонтологию Выберем называющую форму [оЬ] как главную мо-

дель-характеристику объекта исследования Н(оЬ). Пусть множество выбирается как модель совокупности V(ob). Таким образом, множество принимается в качестве модели V-модели объекта [Н](оЬ), т.е. V-метаязык есть теория множеств, и для значения называющей формы [оЬ] принимается соответствие типа автонимии:

[оЬ] •V(oЬ) - множество которое означает, что«объект есть множество». Тогда, как показано в [8] Усе

Ме1аОп^АТ [с] ^V(с) - множество Поэтому если принимается соответствие «множество есть объект», то справедливо утверждение:

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

УсеМе1аОп^АТ[с] 18-а [оЬ] с разделением объектов на элементарные и сложные.

Это означает, что элементы объема любого понятия сеМе1аОп1КАТ редуцированы в категорию

Ме1аОШОЬ:

Ме1аОШКАТ^Ме1аОп1°Ь, В [8] показано, что в этом случае объект [H](оb) как значение называющей формы [оЬ] есть категорно-понимаемый объект, что может быть представлено диаграммой (рис. 6), где 1(оЬ) есть совокупность

1(оЬ) = {е0, д1, £2, Е3}.

■•'[Н](оЬ)

Рис. 6. Диаграмма категорно-понимаемого объекта

Элементы этой совокупности называются структурными типами [8, 11]: £0 = <А> - множество, g1=<AR> - множество с отношениями, g2=<AF> - множество с операциями, g3 = <AFR> - множество с отношениями и операциями.

Элементы носителя А структурного типа принимаются в качестве элементарных объектов, а элементы сигнатуры, а именно, понятия с = «отношение» и с = «отображение», построенные в виде множеств, на элементах носителя, принимаются в качестве сложных объектов.

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

Тем самым решение обобщенной задачи реализации для естественной мета-онтологии MetaOntNAT является обоснованием корректности решения задачи моделирования процесса моделирования в форме

C-mod(H) ^M-mod(H).

Отметим, что структурные типы могут рассматриваться и как абстрактные типы данных.

Метаонтология физической точки. Вопросы построения математических, структурных типов, относящихся кметаонтологии MetaOn^VT, рассмотрены в [11, 12]. Особенностью решения обобщенной задачи реализации в MetaOntEVT является то, что,так как носителем структур в MetaOntNAT являются элементы объема понятия «объект», то онтологическая редукция из MetaOntNAT в MetaOnt^^ олж-на быть основана на понятии элементарный динамический объект или физическая точка [12].

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

C-mod(H) ^M-mod(H)

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

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Никольский С.Н., Сурженко И.Ф. Онтологический анализ отношения «цель-результат» // Известия ЮФУ. Технические науки. - 2013. - № 7 (144). - C. 107-111.

2. Guarino N. Formal Ontology and Information Systems. http://www.loa-cnr. it/ publication. htmp. http://www.loa-cnr.it/ publication. htmp.

3. Pisanelli D.M., Gangemi A., Steve G. Ontologies and Information Systems: the Marriage of the Century. http://www.loa-cnr. it/ publication. htmp.

4. Ericsson O., Henderson-Sellers B., Agerfalk P.J. Ontological and linguistic metamodelling revisited: A language approach // J. Information and Software Technologies. - 2013. - Vol. 55. - P. 2099-2124.

5. Heejung Lee, Soon Jac Kwon. Ontological semantic inference based on cognitive map // J. Expert Systems with Applications. - 2014. - Vol. 41. - P. 2981-2988.

6. Цаленко М.Ш. Семантические и математические модели баз данных // Итоги науки и техники, серия Информатика. - Т. 9. - М.: ВИНИТИ, 1985.

7. Ахо А.В., Хопкрофт Д.Э., Ульман Дж.Д. Структуры данных и алгоритмы. - M.: Издательский дом «Вильямс», 2001. - 384 c.

8. Никольский С.Н. Онтологические модели жизненного цикла информационно-управляющих систем // Материалы Всероссийской конференции с международным участием «Знания-Онтологии-Теории» (ЗОНТ-2007), 14-16 сентября 2007 г. - Новосибирск: Сибирское отделение РАН, Институт математики им. С.Л. Соболева. - C. 184-190.

9. Никольский С.Н. Модели процесса моделирования: концептуальные метабазисы и модели значений // Известия ТРТУ. - 2005. - № 3 (47). - С. 124-129.

10. Никольский С.Н. Роль метаонтологии в задачах автоматизации // Известия ТРТУ. - 2006. - № 8 (63). - С. 42-48.

11. Kulba V., Nikolsky S., Zaikine O. Ontological approach to modeling of discrete event dynamic system. Bulletin of the Polish Academy of Sciences. Technical Sciences. - September 2009. - Vol. 57, Issue 3. - P. 241-247. Modeling and optimization of manufacturing systems. (http://www.ippt.gov.pl/~bulletin/(57-3)241.html).

12. Никольский С.Н. Системные модели организаций в задачах автоматизации // Мехатро-ника, автоматизация, управление. - 2006. - № 1. - C. 45-51.

REFERENCES

1. Nikoljskiy S.N., Surzhenko I.F. Ontologicheskiy analiz otnosheniya «tsel-rezultat» [Ontological analysis of the relationship is "goal-rezult"], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2013, No. 7 (144), pp. 107-111.

2. Guarino N. Formal Ontology and Information Systems. Available at: http://www.loa-cnr. it/ publication. htmp. http://www.loa-cnr.it/ publication. htmp.

3. Pisanelli D.M., Gangemi A., Steve G. Ontologies and Information Systems: the Marriage of the Century. Available at: http://www.loa-cnr. it/ publication. htmp.

4. Ericsson O., Henderson-Sellers B., Agerfalk P.J. Ontological and linguistic metamodelling revisited: A language approach, J. Information and Software Technologies, 2013, Vol. 55, pp. 2099-2124.

5. Heejung Lee, Soon Jac Kwon. Ontological semantic inference based on cognitive map, J. Expert Systems with Applications, 2014, Vol. 41, pp. 2981-2988.

6. Tsalenko M.Sh. Semanticheskie i matematicheskie modeli baz dannykh [Semantic and mathematical models database], Itogi nauki i tekhniki, seriya Informatika [The Tesults of Science and Technology, series: Computer science]. Vol. 9. Moscow: VINITI, 1985.

7. Akho A.V., Khopkroft D.Eh., Uljman Dzh.D. Struktury dannykh i algoritmy [Data structures and algorithms]. Moscow: Izdateljskiy dom «Viljyams», 2001, 384 c.

8. Nikolskiy S.N. Ontologicheskie modeli zhiznennogo tsikla informatsionno-upravlyayushchikh sistem [Ontological model of life cycle information management systems], Materialy Vserossiyskoy konferentsii s mezhdunarodnym uchastiem «Znaniya-Ontologii-Teorii» (ZONT-2007), 14-16 sentyabrya 2007 g [Materials of all-Russian conference with international participation "Knowledge-Ontology-Theory" (UMBRELLA-2007), 14-16 September 2007]. Novosibirsk: Sibirskoe otdelenie RAN, Institut matematiki im. S.L. Soboleva, pp. 184-190.

9. Nikolskiy S.N. Modeli processa modelirovaniya: kontseptualnye metabazisy i modeli znacheniy [Model of process modeling: conceptual metabasis and model values], Izvestiya TRTU [Izvestiya TSURE], 2005, No. 3 (47), pp. 124-129.

10. Nikolskiy S.N. Rol metaontologii v zadachakh avtomatizatsii [The role of metaontologies automation], Izvestiya TRTU [Izvestiya TSURE], 2006, No. 8 (63), pp. 42-48.

11. Kulba V., Nikolsky S., Zaikine O. Ontological approach to modeling of discrete event dynamic system. Bulletin of the Polish Academy of Sciences. Technical Sciences. September 2009. Vol. 57, Issue 3, pp. 241-247. Modeling and optimization of manufacturing systems. Available at: (http://www.ippt.gov.pl/~bulletin/(57-3)241.html).

12. Nikolskiy S.N. Sistemnye modeli organizatsiy v zadachakh avtomatizatsii [The system model of organizations in the field of automation], Mekhatronika, avtomatizatsiya, upravlenie [Mechatronics, Automation, Control], 2006, No. 1, pp. 45-51.

Статью рекомендовал к опубликованию д.т.н., профессор Я.Е. Ромм.

Никольский Сергей Николаевич - Московский государственный университет приборостроения и информатики; e-mail: [email protected], [email protected]; 107996, г. Москва, ул. Стромынка, 20; тел.: 89055761402; кафедра автоматизированных систем управления и информационные технологии; д.т.н.; профессор.

Сурженко Игорь Феодосиевич - Южный федеральный университет; e-mail: [email protected]; 347928, г. Таганрог, пер. Некрасовский, 44; главный конструктор.

Nikolsky Sergej Nikolaevich - Moscow state university of Instrument Engineering and Computer Sciences; e-mail: [email protected], [email protected]; 20, Strominka street, Moscow, 107996, Russia; phone: +79055761402; the department of automated control systems and information technologies; dr. of eng. sc.; professor.

Surgenko Igor Feodosievich - Southern Federal University; e-mail: [email protected]; 44, Nekrasovsky, Taganrog, 347928, Russia; chief designer.

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