CC BY
67
X программные и аппаратные средства
УДК 004.434
автоматный метод определения проблемно-ориентированных языков (часть 3)1
Ф. А. Новиков,
канд. физ.-мат. наук, заведующий лабораторией Институт прикладной астрономии РАН У. Н. Тихонова, аспирант
Санкт-Петербургский государственный политехнический университет
Описывается новый метод определения синтаксиса и семантики проблемно-ориентированных языков с помощью диаграмм классов и диаграмм автоматов. В третьей части статьи описывается задание операционной семантики системами взаимодействующих автоматов на примере мини-языка множеств.
Ключевые слова — проблемно-ориентированный язык, абстрактный синтаксис, метамодель, автоматное программирование.
Определение операционной семантики системой интерпретирующих автоматов
Рассмотрев в предыдущих частях статьи определения метамодели и конкретного синтаксиса проблемно-ориентированного языка с помощью системы взаимодействующих автоматов, перейдем к самому проблематичному вопросу — к семантике.
Чтобы описать операционную семантику, необходимо, во-первых, определить модель вычислимости, т. е. виртуальную машину, и, во-вторых, задать либо преобразование абстрактной программы в программу виртуальной машины, либо интерпретацию абстрактной программы виртуальной машиной. При этом для одного и того же языка можно предложить различные с прагматической точки зрения семантики. То есть возможны совершенно разные способы использования одного и того же проблемно-ориентированного языка. Приведем несколько характерных примеров:
• преобразование входа программы в ее выход — системы пакетной обработки;
• последовательность побочных эффектов в процессе выполнения программы — командные, интерактивные системы управления;
• сервис или служба, отвечающая на запросы пользователя, — интеллектуальные экспертные системы.
1 Окончание. Начало в № 6, 2009; № 2, 2010.
Например, для мини-языка множеств в первом случае результатом работы программы является набор значений построенных множеств. Наиболее очевидным способом реализации такой семантики является использование булевой матрицы M [Имя, Буква]: Boolean в качестве результата работы программы. В этой матрице M [name, letter] = true означает, что множество с именем name содержит элемент с буквой letter2. Тогда алгоритм интерпретации абстрактной программы (экземпляра метамодели), в частности алгоритм вычисления выражений над множествами, может быть запрограммирован известным образом [1]. Описание этого алгоритма с помощью автоматов не дает особых преимуществ, и мы на нем не останавливаемся.
Во втором случае интерес представляет протокол выполнения программы, т. е. последовательность побочных эффектов, связанных с появлением и удалением элементов в множествах. Такую семантику мини-языка множеств можно придумать с некоторой натяжкой, поэтому ее мы также не рассматриваем.
В третьем случае программу можно рассматривать как систему уравнений, задающую предметную область, например A = B n {b}. Поставив такой программе вопрос: «А = ? при условии В = {...}», пользователь получает в ответ значение множества А. Если при этом требуется реализовать бо-
2 Видимо, это простейшее возможное в данном случае представление данных.
Внешняя среда
«command*
Input
«query»
' у lOutput
«command»
IState
Система интерпретирующих автоматов
^ «query» Information
Экземпляр метамодели
■ Рис. 24. Схема взаимодействия автоматов семантики
лее сложную прагматику, например, не просто вычисление значения множества, а итератор, перебирающий элементы множества, то применение автоматного метода оказывается вполне оправданным и естественным.
В автоматном методе семантика задается системой взаимодействующих автоматов, интерпретирующих экземпляр метамодели (см. описание автоматной модели в разделе «Автоматный метод и модель системы автоматов» [2]). В общем случае система автоматов взаимодействует, с одной стороны, с экземпляром метамодели (абстрактной программой), черпая оттуда информацию для интерпретации, с другой стороны — с некоторой внешней средой, получая от нее запросы и команды и выдавая ответы (рис. 24).
Рассмотрим пример задания семантики миниязыка множеств в следующей постановке. Имеется экземпляр метамодели, заданной на рис. 12 [2]. Пользователь (элемент внешней среды) задает имя множества и получает в ответ последовательность событий — элементов этого множества или ничего не получает, если такое множество не определено.
«interface» ISet
Get(in name: Имя) Break()
«interface» Iterator
Next(out element: Элемент) End()
■ Рис. 25. Интерфейсы взаимодействия автоматов семантики мини-языка множеств
Для реализации такой семантики определим следующие интерфейсы взаимодействия: интерфейс ISet позволяет задать имя множества, а интерфейс Iterator воплощает итератор (рис. 25).
В таком случае головной автомат, соответствующий классу Программа, предоставляет интерфейс ISet и требует интерфейс Iterator, через который события (элементы итерируемого множества) отдаются внешней среде, и интерфейс this: Программа, через который обеспечивается взаимодействие с экземпляром класса Программа в абстрактной программе. Через интерфейс IState внешняя среда может контролировать выполнение процесса (рис. 26).
В этом автомате состояние Ready соответствует готовности автомата выполнить работу. Второе состояние является составным, в него вложен автомат интерпретации выражения. Заметим, что экземпляру автомата Выражение SM передается в качестве параметра объект класса Выражение, который этот автомат должен интерпретировать. Тем самым задается связь с метамоделью. Для получения данных (результирующих элементов итерируемого множества) из вложенного автомата используется локальная переменная el автомата expression: Выражение SM.
В автомате, который выбирает способ интерпретации выражения в зависимости от его типа (рис. 27), мы использовали нестандартный стереотип «out» для указания того, что локальная пере-
( «query» state: IState
«command» set: ISet
«command» iter: Iterator
Программа SM sentence: Предложение name: Имя
1
[sentence == null]
Ready
_______set.Get(name) /______..
sentence = this.Hайти(name)
/ iter.End()
set.Break()
/ iter.Next(expression .el)
ґ
V__________________
[else]
>
&
expression: Выражение SM (sentence.выражение)
^end
set.Break()
next
K-
«query» this: Программа
■ Рис. 26. Головной автомат семантики мини-языка множеств
«query» this: Выражение
Выражение SM (this: Выражение) «out» е[: Элемент
[this.GetType () ==
"ТУреЩЗаданйеПмножеСтва]
>
set: Задание множества SM 3 next (this)
/ el = set.el
end
[this.GetType() ==
ty peof(M ножество)
>
def: Выражение SM (this.определение. выражение)
/ el = def.el
next "N
end
next
[this.GetType() == type0f(Операция)]
[this.знак == и ]
>
union:
/ el = union .el f next
>
Объединение SM ^
(this) ^end
,/ el = intersect.el
intersect:
Пересечение SM (this)
Ж end
next
end
■ Рис. 27. Автомат интерпретации выражения мини-языка множеств
менная является результатом работы автомата, который можно получить извне.
Как этот, так и следующие автоматы (рис. 2830) за один проход от начального до конечного состояния (в качестве которого здесь используются точки выхода) выдают очередной элемент множества и сохраняют его в своей переменной el. Непосредственно перебор всех элементов множества осуществляется в головном автомате петлей у состояния expression (см. рис. 26).
Автомат для самого простого случая выражения в мини-языке множеств — задания множества своими элементами — приведен на рис. 28.
Автомат, интерпретирующий операцию пересечения множеств путем слияния упорядоченных множеств, представлен на рис. 29. Алгоритм параллельно просматривает два множества, причем на каждом шаге продвижение происходит в том
«query»
Y this: Задание множества
Задание множества SM (this: Задание множества) «out» el: Элемент k: Integer = 1 ,
Перебор
[k <= this.набор.Length()]
next
/ el = this.набор[k]; k++
[else]
end
■ Рис. 28. Автомат интерпретации задания множества в мини-языке множеств
множестве, в котором текущий элемент меньше [3]. Здесь мы опираемся на допущение, что элементы множеств упорядочены в алфавитном порядке и операндов два. Чтобы отследить, что обе переменные l и r (в которых хранятся очередные элементы множеств левого и правого операндов соответственно) были проинициализированы, используется флаг defined. Инициализация локальной переменной при ее объявлении (как это сделано для переменной defined) означает, что переменная получает указанное значение сразу же после создания экземпляра автомата.
«query» this: Операция
Пересечение SM (this: Операция) «out» el: Элемент l, r: Элемент defined = false: Bool
end
right: Выражение SM (this.операнды [2])
vO/next / r = right.el
[r < l]
end
[defined]
o-
[l == r] / el = l
[else] / defined = true
I
left: Выражение SM. endV (this.операнды [1]) ^next
/ l = left.el
next
[l < r]
t:
■ Рис. 29. Автомат интерпретации операции пересечения в мини-языке множеств
ПРОгРАММНЫЕ И АППАРАТНЫЕ СРЕДСТВА
«query » this: Операция
Объединение SM (this: Операция) «out» el: Элемент i, r: Элемент flag: {Left, Right, Both, LTail, RTail} = Both
\/
[else]
[flag == Both v flag == Left V flag == LTail]
[flag == LTail]
endA left: Выражение SM X. /1 = left.el
(X
(this-операнды [1])
.X)
Tnext
[else] / flag = RTail
end
Л
[flag == Both]
V
next
[else] / flag = LTail [flag == RTail]
[flag == LTail] / el = l
>
right: Выражение SM
[flag == Both] / flag = LTail; el = l
(this-операнды [2])
end V------------(X);
[else]
•..
next
[flag == RTail] / el = r
[l < r] / el = l; flag = Left
next / r = right.el
I
[else]
V
[r < l] /
el = r; flag = Ri
ght
[l == r] / el = l; flag = Both
-..
next
■ Рис. 30. Автомат интерпретации операции объединения в мини-языке множеств
Наконец, на рис. 30 представлен автомат, интерпретирующий операцию объединения множеств путем того же алгоритма слияния упорядоченных множеств. Сложность этого автомата (сравн. рис. 29) определяется тем, что помимо его взаимодействия с автоматами, интерпретирующими левый и правый операнды (left и right соответственно), ему необходимо также хранить информацию о том, как был получен очередной элемент множества. От этого зависит, какую из переменных — l, r или обе вместе — нужно обновлять на следующем шаге. Для хранения этой информации используется переменная flag перечислимого типа. Кроме того, в отличие от пересечения множеств, когда исчерпание одного из операндов означает окончание вычисления, в операции объединения необходимо итерировать до
конца оба операнда. В автомате на рис. 30 это делается с помощью значений перечислимого типа RTail и LTail.
Значения переменной flag логически соответствуют состояниям автомата, реализующего объединение множеств. Фактически было бы желательно, чтобы использовалась система состояний {Left, Right, Both, LTail, RTail}. Для этого необходимо реализовать взаимодействие автомата Объединение SM с автоматами операндов не с помощью вложенности, как во всех предыдущих примерах, а иным способом. Альтернативная модель взаимодействия между автоматами опирается на то, что каждый автомат может быть как источником событий, так и объектом управления для других автоматов (см. модель на рис. 10 [2]). В начале выполнения экземпляры автоматов создаются, свя-
зываются друг с другом через свои интерфейсы и затем работают параллельно.
Перейдем ко второму примеру описания той же самой семантики мини-языка множеств, в котором мы демонстрируем преимущества использования параллельно работающих автоматов3.
Операционную семантику мини-языка множеств будут определять четыре класса автоматов. Модель взаимодействия между этими автоматами показана на рис. 31. Здесь классы Выражение SM и Операция SM введены только для удобства описания взаимодействия и не являются автоматами семантики. Автомат Программа SM позволяет выбрать множество по имени и передает внешней среде результаты его итерирования (элементы множества) в виде команд итератора. Эти элементы множества автомат Программа SM в свою очередь получает от итератора выражения, непосредственно определяющего множество. Автомат Задание множества SM реализует итератор множества перебором его элементов, хранящихся в метамодели. Автоматы Пересечение SM и Объединение SM реализуют итераторы соответствующих операций на основе алгоритмов слияния упорядоченных множеств, которые представлены итераторами операндов.
На основе экземпляра метамодели по определенным правилам трансформации моделей создаются и связываются друг с другом экземпляры автоматов. А именно, по экземпляру класса Про-
3 Поскольку семантика та же самая, рисунки имеют сходные названия, и чтобы их отличить от предшествующих, мы добавляем к названиям рисунков пометку «(пример 2)».
грамма (аксиома языка) создается единственный экземпляр автомата Программа SM. Остальные автоматы конструируются по экземплярам специализированных подклассов суперкласса Выражение. В данном случае правило трансформации удобно выразить с помощью следующего алгоритма:
proc CreateAuto (expr: Выражение, parent: Iterator) : Выражение SM var result: Выражение SM case expr.GetType() of typeof (Задание множества):
result = new Задание множества SM() result.this = expr result.iter = parent typeof (Множество):
result = CreateAuto(expr.определение.выражение, parent) typeof (Операция): if expr.знак == n then
result = new Пересечение SM() else // expr.знак == и
result = new Объединение SM() endif
result.left = CreateAuto (expr.операнды[1], result) result.right = CreateAuto (expr.операнды[2], result) result.iter = parent end case end proc
Таким образом, дерево взаимодействия автоматов, можно сказать, гомоморфно дереву абстрактной программы: сохраняется структура композиции и элиминируются ненужные при интерпретации перекрестные ссылки. Например, для абстрактной программы, представленной на рис. 32, соответствующая схема взаимосвязей автоматов показана на рис. 33.
На рис. 32 фактически приведен пример того, что называется репозиторной моделью при моде-
■ Рис. 31. Модель взаимодействия автоматов семантики (пример 2)
йм^ 33
■ Рис. 32. Пример экземпляра метамодели (абстрактной программы) мини-языка множеств
«call»
«query» «command» IStete Iterator
Внешняя
среда
«command»
ISet
: Программа SM
«command
Iterator
«query» this
Co
: Пересечение SM
«command Iterator V1
B = {a ,b ,c}; ^ A = B П {b}.
A =?
{a, b, c}
«command»
Iterator
«query» ^ 1 this
—Co
: Задание множества SM
: Задание множества SM
«query» this
Cc
экземпляр
метамодели
: Программа
:Задание множества
: Задание множества
■ Рис. 33. Экземпляры автоматов семантики и их взаимосвязь (пример 2)
лировании на UML [4]. Эта диаграмма наглядно отображает систему объектов и связей между ними, находящуюся в памяти компьютера в процессе выполнения.
На рис. 33 объектами являются экземпляры автоматов, классы которых описаны на рис. 3437. Заметим, что экземпляры автоматов появились только для «интерпретируемых» экземпляров классов Программа, Операция и Задание множества. Остальные классы, т. е. классы Предложение и Множество, используются только для установле-
ния связей между интерпретируемыми объектами. Эти связи учитываются в алгоритме CreateAuto и отражаются в схеме взаимосвязей автоматов неявным образом.
Головной автомат семантики мини-языка множеств (см. рис. 34) отличается от автомата на рис. 26 тем, что состояние Expression является простым, поэтому не используются точки выхода. Кроме того, у этого автомата есть интерфейс expr: Iterator, через который автомат принимает команды от итератора непосредственно интерпретируемого выражения.
1
«query» state: I State
Программа SM sentence: Предложение name: Имя el: Элемент
«command» set: ISet
«command» iter: Iterator
і
[sentence == null]
expr.Next(el) / iter.Next(el)
£
L
Ґ > set.Get(name) / / 1 [else] Ґ л
sentence = this.Найти(name)'^ / Л
expr. End() / iter.End()
set.Stop()
set.Stop()
«query» this: Программа
«command» expr: Iterator
■ Рис. 34. Головной автомат семантики мини-языка множеств (пример 2)
«query»
| this: Задание множества
«command» iter: Iterator
Задание множества SM k: Integer
[k <= this.нaбор.Length] / iter. N ext(this. набор [k]); k++
£
/ k =1
>
Перебор
^-------------У
[k > this.нaбор.Length] /
iter.End()
■5H
■ Рис. 35. Автомат интерпретации задания множества в мини-языке множеств (пример 2)
«command» left: Iterator
«command» right: Iterator
«command» iter: Iterator
Пересечение SM l, r: Элемент
right.Next(r)
Left
left. Next(l)
<:
left.End() / iter.End() [l < r]
->
Want two
right.End() v left.End()
\/
V
/ iter.End()
Л
right.End() / iter.End() [r < l]
left. Next(l)
>
[l == r] / iter.Next(l)
Right
'---------------У
right.Next(r)
■ Рис. 36. Автомат интерпретации операции пересечения в мини-языке множеств (пример 2)
«command» left: Iterator
0 «command» «command»
1 right: Iterator J iter: Iterator
Объединение SM I, r: Элемент
left.End()
right.Next(r) / iter.Next(r)
right.End() / iter.End()
>
right.Next(r)
>
1
Ґ \
Right-tail
V /
d( n <-ш — lef
г \
Left
V /
\\
>
Want
<
left.Next(l) [l < r] / iter.Next(l) [l == r] / iter.Next(l)
right.Next(r) [r < l] / ter.Next(r)
left. Next(l)
>
\right.End ()
>
/ >
Right
Ч у
і right. End() \1/
/ >
Left-tail
\ У
left.End() / iter.End()
left.Next(r) / iter.Next(l)
■ Рис. 37. Автомат интерпретации операции объединения в мини-языке множеств (пример 2)
Программист на языке
Исполняются ^ виртуальной машиной автоматного программирования
Программа (конкретное представление)
ЛL
Синтаксический анализ
Ж-
Экземпляр метамодели (абстрактная программа)
Семантическая
интерпретация
Л
У
«instanceOf»
«instanceOf»
Автоматы
конкретного
синтаксиса
языка
Внешняя среда
■ Рис. 38. Схема автоматного метода
Метамодель
языка
«instanceOf» Автоматы
> семантики
языка
/Создатель •' языка
Работу автомата для задания множества перечислением элементов (см. рис. 35), в отличие от аналогичного автомата на рис. 28, необязательно прекращать каждый раз после получения очередного элемента. Кроме того, у него нет перемен-
ной е1. Очередной элемент посылается в виде команды через интерфейс итератора, в эффекте на петле у состояния Перебор. По нашему мнению, автомат на рис. 35 намного естественнее и понятнее, чем на рис. 28.
Автомат, представленный на рис. 36, интерпретирует операцию пересечения множеств. Здесь не нужно заводить никаких флагов (сравн. рис. 29). Вся необходимая информация хранится в состояниях, как это и рекомендуется делать в автоматном программировании [5].
Наконец, на рис. 37 приведен автомат, интерпретирующий операцию объединения множеств. При сравнении этого автомата с автоматом на рис. 30 бросается в глаза, что хотя здесь состояний больше, но автомат намного понятнее. Нет сегментированных переходов, флагов и лишних локальных переменных.
Приведенный пример, на наш взгляд, убедительно показывает преимущества и гибкость выбранной автоматной модели.
Подводя итог обсуждению семантики, представим обобщенную модель автоматного метода в форме неканонической диаграммы, показывающей взаимосвязи основных составляющих метода (рис. 38).
Заключение
В статье предложен и подробно описан новый автоматный метод определения проблемно-ориентированных языков, базирующийся на описании структуры с помощью диаграмм классов и описании поведения с помощью расширенных диаграмм автомата UML. Отправной точкой создания и использования проблемно-ориентированного языка в автоматном методе является определение метамодели. На основе метамодели с помощью унифицированного метода описания
поведения расширенными диаграммами автомата строятся множества синтаксических представлений и семантических интерпретаций. Это поведение реализуется виртуальной машиной автоматного программирования, что позволяет использовать описание языка как его реализацию. Основным преимуществом автоматного метода является гибкость: событийная модель позволяет использовать произвольные представления программ, а не только тексты; вариативная модель взаимодействия между автоматами позволяет выбрать адекватный стиль описания семантики языка.
Литература
1. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. — М.: Мир, 1975. — 540 с.
2. Новиков Ф. А., Тихонова У. Н. Автоматный метод определения проблемно-ориентированных языков. Ч. 2 // Информационно-управляющие системы. 2010. № 2. С. 29-37.
3. Новиков Ф. А. Дискретная математика для программистов: учебник для вузов. 3-е изд. — СПб.: Питер, 2009. — 384 с.
4. Новиков Ф. А., Иванов Д. Ю. Моделирование на иМЬ. Теория, практика, видеокурс. — СПб.: Наука и техника, 2010. — 640 с.
5. Поликарпова Н. И., Шалыто А. А. Автоматное программирование. — СПб.: Питер, 2008. — 177 с.
