The article discusses the application of the method of constructive program synthesis to create user interfaces for Web-based applications. Specialized constructive logic is introduced, which allows to synthesize models of guaranteed right user interfaces. We consider the software implementation and results of the practical application of the model.
user interface, method of constructive program synthesis, con-structive logic, Web-based application, html-template.
Введение
На сегодняшний день существует множество технологий и фреймворков для создания Web-приложений и, в частности, пользовательских интерфейсов, предназначенных для отображения в браузерах. И это не удивительно в связи с тем, что глобальные сети находят широчайшее применение во многих отраслях экономики, касается ли это потребительского, корпоративного или государственного сектора.
Процессы стандартизации языков HTML[1], CSS[2] и javascript[3] позволили достичь не только высокой степени кросс-платформенности пользовательских интерфейсов, но и достаточно хорошей степени кроссбраузерности, поэтому использование соответствующих стандартов при построении Web-приложений на сегодня стало доминирующим подходом.
Однако при разработке больших приложений одних только стандартов оказывается недостаточно: нужны шаблоны проектирования, библиотеки стандартных элементов управления, средстваподдержки логики представления (например, Presenter в модели MVP[4]) и многое другое. Соответствующие инструментальные средства все еще находятся в стадии становления, поэтому охватить весь стек необходимых технологий удается лишь в достаточно нишевых инструментах. В качестве хороших примеров из разряда свободно распространяемых продуктов можно привести MediaWiki[5], Drupal[6], WordPress[7]. Неизбежной расплатой для таких систем является привязка к серверным технологиям, что ограничивает возможности применения в ситуациях, когда серверное окружение для разработчика фиксировано.
Если рассматривать клиентские библиотеки, которые не зависят от серверных технологий, то четко прослеживается их специализация: на манипуляции с DOM-моделью (jQuery[8], Zepto.js[9]), стилевом оформлении страниц и элементах управления (Bootstrap[10], jQuery UI[11], w2ui[12]), построении каркасов приложений (AngularJS[13], Backbone.js[14], Knockout[15]).
1. HTML 4.01 Specification. URL: http://www.w3.org/TR/REC-html40/ (data obrashcheniya: 30.09.2013).
2. Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification. URL: http://www.w3.org/TR/CSS2/ (data obrashcheniya: 30.09.2013).
3. ECMAScript Language Specification - ECMA-262 Edition 5.1. URL: http://www.ecma-international.org/ecma-262/5.1/ (data obrashcheniya: 30.09.2013).
4. Arkhitektura MVP. URL: http://www.gwtproject.org/articles/mvp-architecture.html (data obrashcheniya: 30.09.2013).
5. MediaWiki. URL: http://www.mediawiki.org/wiki/MediaWiki (da-ta obrashcheniya: 30.09.2013).
6. Drupal - Open Source CMS | drupal.org. https://drupal.org/ (data obrashcheniya: 30.09.2013).
7. WordPress › Russkiy. URL: http://ru.wordpress.org/ (data ob-rashcheniya: 30.09.2013).
8. jQuery. URL: http://jquery.com/ (data obrashcheniya: 30.09.2013).
9. Zepto.js: the aerogel-weight jQuery-compatible JavaScript library. URL: http://zeptojs.com/ (data obrashcheniya: 30.09.2013).
10. Bootstrap. URL: http://getbootstrap.com/ (data obrashcheniya: 30.09.2013).
11. jQuery UI. URL: http://jqueryui.com/ (data obrashcheniya: 30.09.2013).
12. w2ui: Home | JavaScript UI. URL: http://w2ui.com/web/ (data obrashcheniya: 30.09.2013).
13. AngularJS - Superheroic JavaScript MVW Framework. URL: http://angularjs.org/ (data obrashcheniya: 30.09.2013).
14. Backbone.js. URL: http://backbonejs.org/ (data obrashcheniya: 30.09.2013).
15. Knockout : Home. URL: http://knockoutjs.com/ (data obrashche-niya: 30.09.2013).
16. Bel´tyukov A. P. Deduktivnyy sintez programm pervogo poryadka. Tekhnologii informatizatsii professional´noy deyatel´nosti (v nauke, obrazovanii i promyshlennosti) - TIPD-2011 : tr. 3 Vseros. nauch. konf. s mezhdunar. uchastiem, Izhevsk, 8-12 noyab. 2011 g., T.1, Udmurtskiy universitet, 2011, 451-470.
17. Underscore.js. URL: http://underscorejs.org/ (data obrashcheniya: 30.09.2013).
18. Online JavaScript beautifier. URL: http://jsbeautifier.org/ (data obrashcheniya: 30.09.2013).
19. The MIT License (MIT) | Open Source Initiative. URL: http://opensource.org/licenses/MIT (data obrashcheniya: 30.09.2013).
