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

Тихонова У.Н. (1)

(1), Институт прикладной астрономии РАН, Россия

АБСТРАКТ

	В данной работе предлагается метод разработки специализированных программных систем, основанный на определении, реализации и применении проблемно-ориентированных языков. Проблемно-ориентированные языки позволяют формулировать решение целевой задачи в терминах предметной области этой задачи, а не в терминах вычислительной машины. Поэтому использование проблемно-ориентированных языков упрощает прикладное программирование, повышает качество и надежность программного обеспечения.
	Основным препятствием для широкого применения проблемно-ориентированных языков является сложность создания новых языков и всего сопутствующего им программного обеспечения. Автоматный метод позволяет формально и полностью описать проблемно-ориентированный язык, исчерпывающим образом определить интерпретацию как вычислительной машиной (исполнителем языка), так и человеком (пользователем языка), что также немаловажно для распространения и использования нового языка. Программная реализация автоматного метода, виртуальная машина автоматного программирования, осуществляет интерпретацию определения языка, поэтому такое определение языка и есть программа, его реализующая.
	В автоматном методе не используются традиционные порождающие грамматики. Метод основывается на современных технологиях и международных стандартах организации Object Management Group (OMG): унифицированном языке моделирования Unified Modeling Language (UML) и концепции разработки на основе модели Model Driven Engineering (MDE).
	Метод был исследован на примере языка СЛОН (Слежение и Обработка Наблюдений) системы ЭРА (Эфемеридные Расчеты Астрономии) – прикладной проблемно-ориентированной системы программирования, предназначенной для решения разнообразных задач астрономии.