Диссертация (1090660), страница 6
Текст из файла (страница 6)
Рзработчики на интерпретируемых языках программирования также оптимизируют код, перенося, по возможности, рутинную логику на существующие бинарныемодули интерпретатора, выполняющиеся на несколько порядков быстрее.Все известные интерпретируемые языки Web-программирования используют интерпретаторы, реализованные либо в виде подключаемых модулей и динамическизагружаемые Web-сервером, либо в виде отдельного программного модуля, запуска-27ющегося через системный вызов. В первом случае интерпретатор, таким образом,становится частью Web-сервера. Это устраняет накладные расходы на запуск и инициализацию внешнего программного модуля, требующийся в первом случае, т.к. интерпретатор работает внутри Web-сервера, который уже запущен и ожидает новыхподключений. В случае, если требуется запускать интерпретатор в виде отдельного программного модуля, используются специализированные интерфейсы-посредникиCGI или FastCGI.Наиболее распространённые языки программирования, применяемые на сервернойстороне, также являются предметно-ориентированными, однако зачастую их областьприменения выходит далеко за пределы Web, поэтому граница между предметноориентированным языком и языком общего назначения здесь весьма условна.
Например, язык Perl (англ. Practical Extraction and Report Language, практический языкизвлечения данных и составления отчётов) изначально был разработан как эффективный инструмент обработки текстовых данных с поддержкой гибкой работы регулярных выражений. Чуть позже язык предстал в качестве скриптового языка оболочки операционных систем семейства UNIX, а с появлением стандарта CGI в 1993году язык Perl стал одним из первых языков, используемых при разработке Webприложений.Язык Python, будучи также императивным интерпретируемым и одновременнокомпилируемым языком, разрабатывался, как язык общего назначения для широкогоспектра задач.
На сегодняшний день Python используется в качестве интегрируемогоскриптового языка в различных проектах. Это обусловлено его простым синтаксисом. Также, как и Perl, язык используется в качестве скриптов оболочки. Язык такжешироко используется в прикладном программировании. Завоевал он популярность ив качестве языка, используемого в Web-разработке. Для Python реализовано большоеколичество дополнительных библиотек, реализующих основные функции для полноценной работы Web-приложения. К таким библиотекам относятся Django, Pylons,Pyramid, Zope и другие. Помимо всего прочего, существуют библиотеки, реализующие собственное решение промежуточного интерфейса взаимодействия интерпретатора и Web-сервера — WSGI [45].Единственным широко-используемым языком программирования, изначальной целью которого было использование в качестве языка для Web-разработки, стал языкPHP (англ.
PHP: Hypertext Preprocessor, PHP: препроцессор гипертекста), о чём говорит его аббревиатура. В этом языке на уровне интерпретатора реализована работа спротоколом HTTP, получение данных методами GET и POST, обработка HTTP Cookie,28сессий, загружаемых файлов. Тем не менее, язык давно вышел за пределы своей предметной области и используется для решения широкого спектра задач.Подводя итоги обзора языков программирования, важно отметить, что большинство языков программирования серверной стороны являются интерпретируемымиязыками общего назначения.
Это говорит об их гибкости с одной стороны и повышенной сложностью освоения с другой.1.1.3Динамические платформы FastCGI и CGIПромежуточные интерфейсы между Web-сервером и операционной системой (например, FastCGI/CGI) позволяют запускать любые программы, которые может исполнить операционная система сервера. Такие интерфейсы-посредники, взаимодействуяс Web-сервером, получают данные из стандартного устройства ввода, в качестве которого выступает тело HTTP-запроса, а также из переменных среды. В переменныхсреды содержится различная информация о браузере клиента, запрошенном URL, данные HTTP Cookie и т.д. Вывод происходит в стандартное устройство вывода, в роликоторого выступает формирующийся HTTP-ответ.
Стоит отметить, что заголовки ответа формируются сервером частично и, таким образом, посредник даёт возможностьразработчику установить собственные заголовки, необходимые для решения той илииной задачи. При этом не стоит забывать, что заголовок и тело ответа должны бытьразделены пустой строкой. Таким образом, программа должна уметь разбирать на составные части HTTP-запрос и формировать должным образом HTTP-ответ. Однако,это нисколько не умаляет достоинств FastCGI и CGI, т.к.
для большинства широкоиспользуемых языков программирования общего назначения уже имеются библиотекис открытым исходным кодом для работы с этими интерфейсами.1.2Использованиедекларативныхипредметно-ориентированных языков на серверной стороне1.2.1Общие сведенияНаиболее часто декларативное программирование и предметно-ориентированныеязыки используются в управляемой моделями разработке или MDE (англ. Modeldriven engineering) [3, 35] — методологии разработки программного обеспечения,оперирующей созданием и управлением предметными моделями, рассматривающие29спектр проблем своей предметной области и решающие их.
Абстракции данной методологии позволяют сосредоточиться на непосредственном решении поставленныхзадач, а не на технической составляющей реализации [86].Большинство языков, используемых в Web-разработке стороны сервера, нельзя назвать предметно-ориентированными. Даже PHP, первоначально созданный для решения задач отрасли, давно вышел за её пределы.
На стороне сервера имеется массатехнологий, задействующих программирование на языках общего назначения императивного типа. Подводя итоги предыдущих двух разделов, отметим, что декларативное программирование, а также предметно-ориентированные языки преобладаютв клиентской разработке и используются для проектирования интерфейсов [26]. Насерверной стороне технологии такого рода применяются для решения специализированных задач, например, работа с СУБД (язык SQL) [63]. Или, к примеру, чтение ипреобразование данных в XML-документах (языки XPath, XQuery, XSLT [58]).
Однако, в качестве основного решения для построения логики работы серверной стороныдекларативные и предметно-ориентированные языки используются не часто. Это обусловлено плохой гибкостью разработки и частыми требованиями к разработчикамо реализации специфичной логики, не выражаемой в предметно-ориентированнойформе в связи c огромным количеством вариаций представления тех или иных алгоритмов. Однако, попытки поставить логику генерации документа на декларативныерельсы всё же предпринимались.
В частности, были разработаны языки WebDSL иSpicey. Кроме того, предпринимались и попытки разработки и отечественных продуктов подобного рода [105].1.2.2Язык WebDSLСфера покрытия языка WebDSL (англ. Web Domain-Specific Language, предметноориентированный язык для Web), как утверждает его автор, профессор Илко Виссер [67, 68] — интерактивные динамические Web-приложения с богатой предметноспецифичной моделью данных.
К таким приложениям автор относит приложения сбазой данных и пользовательским интерфейсом, имеющие несколько представленийданных и предоставляющие возможность изменять эти данные через браузер. Отдельным допущением языка является статичность модели данных, что означает, что онастроится в процессе разработки и не изменяется во время исполнения.В основу WebDSL взят управляемый технологией подход (англ. technology-driven),то есть построенный на базе уже существующих технологических практик по внед-30рению языка в своей предметной области.
Так, язык WebDSL построен на базе технологий, сосредоточенных вокруг языка Java: JPA-JSF-Seam. Таким образом инструментарий языка WebDSL не является самостоятельной технологией, а представляетсобой расширение уже существующей архитектуры.Язык оперирует следующими понятиями: класс-сущность, связанный с таблицей вбазе данных и имеющий такое же имя, идентификатор — уникальный объект, являющийся первичным ключом сущности, свойство, связанное со столбцом в базе данныхсвоего класса. Также имеются ассоциации сущностей — свойства, устанавливающиесвязь сущности с другими сущностями или коллекцией сущностей.К недостатком относится, что WebDSL требует специализированную среду разработки на основе Java, причём данная среда ресурсоёмка по системным требованиям.Для исполнения написанных приложений также требуется Java-машина, и, соответственно, постоянная перекомпиляция проекта в байт-код даже при небольшом изменении.1.2.3Язык SpiceyЯзык разработан профессором Майклом Ханусом [24], также представляет собойдекларативный язык Web-разработки – Spicey.
С технологической точки зрения языкявляется надстройкой над “Curry” – встраиваемым языков программирования поверх языка Haskell. Особенностью языка является его ориентированность на модель«сущность-связь» (англ. ER, entity-relationship). Это означает, что весь программныйкод языка может быть сгенерирован на основе ER-модели. Второй немаловажной особенностью является то, что язык является Web-ориентированным. Таким образом любое действие с данными (создание, просмотр, модификация, удаление) может бытьпроизведено через стандартные средства браузеров.
Также язык поддерживает «изкоробки» аутентификацию и авторизацию. Она внедряется путём расширения начальной структуры данных такими сущностями, как «имя пользователя» и «пароль». Языкподдерживает и маршрутизацию URL (англ. URL-routing), что позволяет задавать схему соответствия адресов с контроллерами приложения.Spicey также требует большое количество зависимостей, начиная от языка Curry изаканчивая Haskell. В силу специфичности не только самого Spicey, но и зависимыхязыков, порог вхождения и, как следствие, усвояемость, имеют достаточно низкийуровень [99].311.3Требованиякэтапамформированияновогопредметно-ориентированного языка1.3.1Общие принципыПрежде, чем приступить к разработке собственного проблемно-ориентированногоязыка, необходимо определить основные этапы его создания.
Стоит отметить,что согласно [44], граница между языками общего назначения и предметноориентированными языками очень размыта и чётких определений этих понятий нигдене встречается. К примеру, в разных источниках по-разному тракутется, к какому типуотносится язык Cobol, предназначенный для разработки бизнес-приложений: к DSLили же к GPL. Точно также весьма спорный вопрос возникает по отношению к языкам командных оболочек Unix и их принадлежности к предметно-ориентированным.Однако, определённо можно сказать, что предметная ориентированность языка характеризуется его уровнем.Язык общего назначения, при использовании в составе прикладных библиотек,может принять вид предметно-ориентированного.