Автореферат (1090659), страница 3
Текст из файла (страница 3)
Таким образом, в процессе обработки входя9щих запросов интерпретатор «осведомлен» обо всех возможностях загружаемойлокации.Локация или расположение (элемент Location) представляет собой динамическую страницу, описывающую индивидуальную логику работы. У локации,как и у модели, прямыми потомками могут быть только наборы. Большинствоатрибутов у наборов и блоков, присутствующих в модели, могут быть переопределены в локации, либо определены вновь. То есть локация задаёт уточняющиесвойства обработки тех или иных данных. Исходя из этого, можно утверждать,что локации в парадигме MVC соответствуют контроллерам.Локация идентифицируется шаблоном адреса. Шаблон адреса представляет собой часть URI, идентифицирующую путь, и содержащую динамическиевставки, на место которых подставляются данные определённого типа, фигурирующие в генерации динамической страницы.
Шаблон адреса динамическойстраницы задаётся атрибутом “base” (базовый адрес). Интерпретатор находитнужную локацию по двум алгоритмам на выбор. Первый алгоритм заключаетсяв том, что все документы языка BML считываются по имени файла в алфавитном порядке, в них ищется сначала модель, затем первая локация, шаблонкоторой совпадает с текущим путем, указанным в пользовательском URL.
Если исходный путь в URL совпадает с шаблоном локации, исполняется логикаработы этой локации. Дальнейшая обработка оставшихся локаций интерпретатором не производится. Второй алгоритм отличается от первого тем, что сначаласчитывается значение атрибута “base” у каждой из локаций, затем ищутся вселокации. Алгоритм сравнивает, сколько локаций подпадает под указанный URLи, в случае возникновения противоречий (более одной), вычисляется количествовсех возможных комбинаций подстановок для каждого шаблона. Исполняется талокация, которая содержит наименьшую мощность множества регулярного выражения. Для вычисления мощности множества и устранения неопределённостей предлагается ряд методов: упрощение регулярного выражения, вычислениев пересекаемых множествах, предварительная детерминизация.Набор (элемент Set) является коллекцией данных различного типа.
Вметодике BlockSet существует специализированный набор, выполняющий рольавторизации и аутентификации. Такой набор получил наименование авторизационного (англ. Authorization Set). Авторизационный набор содержит списокпользователей, их зашифрованные пароли, а также дополнительные данные поусмотрению разработчика проекта.
В функции авторизационного набора входитполучение от пользователя пары логин/пароль, проверка этой пары с одним изэкземпляров набора и выдача ключа сессии клиенту в случае успешной авторизации.Блок (элемент Block) является непосредственной частью набора и представляет собой определённый тип данных. Тип данных может быть как элементарным, так и содержать сложную структуру, в том числе осуществляющую функции работы со сложными строками, а также файловой обработки.
Вметодике BlockSet блок при любых обстоятельствах обладает свойством атомарности. Однако, грамотное оперирование атрибутами-модификаторами даёт10возможность реализовать узко-специализированный функционал. Так, нагляднодемонстрируется принцип «от простого к сложному».Для практической реализации методики разработан высокоуровневыйпредметно-ориентированный декларативный язык моделирования динамических Web-узлов серверной стороны.
Язык получил название BlockSet ModelingLanguage (моделирующий язык BlockSet) или BML. Он основан на XMLподобном синтаксисе, а его структура исполняется на серверной стороне с помощью интерпретатора, взаимодействующего с Web-сервером.Рис. 1.
Место методики BlockSet и языка BML в сфере Web-разработкиНа рис. 1 представлена иерархическая модель инструментариев в объёмном виде на которой показано место методики BlockSet и языка BML в сфере Web-разработки. Три верхних уровня на левой стороне пирамиды являютсянепосредственными частями BlockSet и занимают смежные позиции с существующими технологиями. Так, на представленной схеме язык BML находитсяна уровне фреймворков, однако фреймворком не является, хотя имеет похожиехарактеристики: уровень абстракции, скорость разработки, системные требования.Методика BlockSet следует парадигме MVC или Model-View-Controller(модель-представление-контроллер). Уровни модели и контроллера строятся вязыке BML в виде компонент «модель» и «локация», а роль представления играет шаблонизатор, получающий сгенерированные данные и накладывающийих на определённый шаблон. Шаблон представляет собой страницу на языкеHTML с простейшими алгоритмическими структурами и специальными вставками, вместо которых будут подставлены данные в процессе генерации документа.Работа интерпретатора делится на два этапа: непосредственная интерпретацияструктур BML и передача выходных данных шаблонизатору.
Именно по этой11причине шаблоны и язык BML расположены на одном уровне. Уровнем выше,наряду с системами управления контентом расположен специализированный визуальный редактор, позволяющий наглядным образом с помощью компонентовпользовательского интерфейса строить конструкции языка BML.Стоит оговориться, что визуальный редактор BlockSet не предназначендля управления содержимым. Он лишь предоставляет эргономичный интерфейс,в котором сочетается необходимый функционал для генерации динамическихструктур и логики BML в первую очередь. Правильно построеный проект самберёт на себя роль системы управления контентом. Именно поэтому законченный проект находится на самой вершине и также делит место на этом уровненаравне с системами управления контентом.Ключевую роль в методике BlockSet играют права доступа, устанавливаемые на экземпляры набора.
Для работы с правами доступа спецификациейпредусматривается специальный блок типа “permissions”, позволяющий устанавливать права доступа как в контексте набора, так и в контексте одного илинескольких блоков этого набора. Права доступа назначаются на наборы и блоки.Правами обладают группы или пользователи. Права на набор и блок задаются с помощью блока соответствующего типа. Для упорядочения прав, каждыйпользователь может состоять в нескольких группах. Права групп могут быть системными (событийными) и назначаться в зависимости от определённых событий (например, если пользователь не авторизован, система ему присвоит группу«гость»).Приём данных происходит по специальному алгоритму. Если при выборке данных не производится никаких изменений, а входные данные являютсялишь критериями выборки, интерпретатор использует HTTP-метод GET.
Он характеризуется свойством идемпотентности. Это означает, что при повторномобращении к ресурсу указанным методом с теми же самыми входными данными пользователь получит тот же самый результат (разумеется, если данные небудут изменены побочным воздействием). Прием данных (создание/обновлениеэкземпляра набора) в проекте BlockSet реализован через модифицирующие запросы, которые могут быть приняты только методом POST.Для наглядности представления разработанной методики и языка, была разработана упрощённая интеллект-карта (рис. 2).
На ней показаны базовыесущности языка и основные их свойства. С целью упрощения, на интеллекткарте не показаны индивидуальные свойства для каждого типа блока, однако еёцель – дать общее представление о методике и связях её компонентов друг сдругом..В третьей главе построена оценочная модель программного кода в целоми разрабатываемого языка программирования в частности. Приведён обзор критериев оценки.
Упомянуты достоинства и недостатки существующих оценочныхметодов. Применён метод анализа иерархий для определения наиболее важныхкритериев. С помощью метрик Холстеда осуществлено сравнение между языками BML и PHP.12Рис. 2. Интеллект-карта языка BMLМетрики Холстеда в качестве входных данных используют операторы иоперанды. Эти метрики задействованы при оценке BML и PHP. Но если с PHPвсё в целом понятно, то с BML возникает ряд вопросов. Главный из них – что впрограмме на декларативном языке считать «оператором», а что «операндом»?Принято решение считать операндами переменные, параметры и константы, приэтом элементы (теги) языка и названия атрибутов этих элементов считаютсяоператорами. Значения всех атрибутов считаются операндами, за исключениемнекоторых сложных значений, которые могут содержать конструкции, подразумевающие дополнительное деление на операторы и операнды.Входными данными метода Холстеда являются следующие характеристики: 1 – количество уникальных операторов программы, включая имена функций, знаки операций, а также для BML: имена элементов, атрибутов и части значений некоторых атрибутов.
2 – количество уникальных операндов программы.Для BML это либо значение атрибута полностью, либо отдельные части значения. 1 – общее количество встречающихся в исходном коде операторов. 2 –общее количество встречающихся в исходном коде операндов.Все остальные характеристики основаны на указанных выше значениях.Длина (N) программы P расчитывается по формуле: = 1 + 2 .(1)Словарь (n) программы P: = 1 + 2 .(2)Теоретическая длина программы по Холстеду вычисляется с помощьюследующей формулы: ′ = 1 2 1 + 2 2 2 .(3)В работах вводится коэффициент правильности исходного кода вычисленному эталону.