A denotational semantics for the aspecttalk programming language.pdf Язык аспектно-ориентированного программирования (АОП) AspectTalk [1] разра-ботан с целью создания защищённых систем обработки информации. На нём могутбыть реализованы информационная система и политика её безопаности, а также осу-ществлена их интеграция с помощью соединительных модулей [2]. Одной из задачв определении языка является задание его семантики. В [3] получено денотацион-ное описание семантики (ДОС) [4] объектно-ориентированного подмножества язы-ка AspectTalk для доказательства семантической эквивалентности последнего языкуSmalltalk. В данной работе приводится ДОС языка АОП AspectTalk, которое заклю-чается в задании тройки объектов (L, S, M).Для каждого нетерминала X из грамматики G языка AspectTalk определяетсяязык Lx , грамматика которого получается из G заменой аксиомы на X. Множествовсех языков Lx обозначается L и называется множеством синтаксических областей.Примерами синтаксических областей являются множество записей примитивных опе-раций языка AspectTalk и сам язык AspectTalk.Элементы множества S являются доменами - множествами с завершённым ча-стичным порядком. Сумма доменов, декартово произведение доменов, а также мно-жество отображений из домена в домен являются доменами; порядок на последнихопределяется с помощью порядков на первых. Допускаются рекурсивные определениядоменов. Подробнее о доменах можно прочитать в [5]. Домены ДОС языка AspectTalkподбирались для отражения сущностей языка и включают, например, домен проце-дур - домен функций из домена состояний в домен состояний - и домен программ -домен функций из домена входных последовательностей в домен выходных последо-вательностей.Множество функций M, отображающих из элементов L в элементы S, называ-ется множеством семантических отображений и, фактически, задаёт интерпретациюязыка: множество M включает функцию, сопоставляющую программам на AspectTalkэлементы функционального домена.

Скачать электронную версию публикации