ONTOLOGY APPROACH TO CLASSIFICATION OF COMPUTER LANGUAGES: CURRENT STATE AND CHALLENGES
Renat Idrisov, Sergey Odintsov, Nikolay Germanovich Shilov · System Informatics · 2013
System Informatics (Системная информатика), No. 1 (2013) 63 УДК: 168.2 + 025.4 + 519.682 + 004.43 + 811.93 Название: Онтологический подход к проблеме классификации компьютерных языков: состояние и перспективы Автор(ы): Идрисов Р.И.(Институт систем информатики им.А.П.Ершова СО РАН), Одинцов С.П.(Институт математики им.С.Л.Соболева СО РАН) Шилов Н.В.(Институт систем информатики А.П.Ершова СО РАН, Новосибирский государственный университет, Новосибирский государственный технический университет) Аннотация: За полувековую историю развития программирования и информационных технологий возникло несколько тысяч компьютерных языков.Виртуальный мир компьютерных языков включает языки программирования, спецификаций, моделирования и другие языки.В каждой из этих ветвей можно выделить разные подходы (например, императивный, декларативный, объектно-ориентированный), дисциплины обработки (например, последовательная, недетерминированная, распределѐнная) и формализованных моделей (от машин Тьюринга до машин логического вывода).Поэтому актуальной становится проблема классификации компьютерных языков.Для решения этой проблемы предлагается подход, основанный на парадигмах компьютерных языков и выделении общих атрибутов, присущих разным языкам.При этом особую роль призван сыграть разрабатываемый портал знаний о компьютерных языках.Этот портал предназначен для поиска сведений о компьютерных языках в открытых структурированных источниках в сети Интернет, организации хранения и доступа к собранной информации по логическим запросам с целью выявить законы мира компьютерных языков и помощи в выборе компьютерных языков для формирования новых программных проектов.Существующая в настоящее время версия портала далека от совершенства как с точки зрения представленной информации (количественно и качественно), так и с точки зрения выбора логического языка запросов.Поэтому в настоящей статье представлено общее описание проблемы классификации компьютерных языков, описание принципиального подхода к этой проблеме, текущее состояние портала, а также обсуждаются перспективы развития логического языка запросов.Ключевые слова: компьютерные языки, компьютерные парадигмы, классификация, портал знаний, логика описаний понятий, паранепротиворечивость, устойчивость к противоречиям, верификация моделей.1. Введение.Под компьютерным языком мы понимаем любой искусственный язык, разработанный для автоматической обработки информации, как то: представления, Идрисов Р.И., Одинцов С.П., Шилов Н.В.Онтологический подход к классификации компьютерных языков information about computer languages.The primary aims of our project are the research of the ontology of computer languages and assistance in the search for appropriate languages for computer system designers and developers.The paper presents our vision of the classification problem, basic ideas of our approach to the problem, current state and challenges of the project, and design of query language.