Диссертация (1090660), страница 27
Текст из файла (страница 27)
Проведено нагрузочное тестирование межпроцессного взаимодействия между ядром интерпретатора и синхронизатором,выбрано взаимодействие на основе сокетов. Представлен обзор нагрузочного тестирования синтаксических анализаторов и был выбран анализатор libxml2 [96,98].1619. Визуальный редактор построения структур декларативного языка BML. Разработан визуальный редактор, представляющий собой надстройку над языком BMLи предоставляющий следующий функционал: мастер создания проекта, редакторлокаций и модели, редактор наборов, редактор блоков, конструктор прав доступа[87, 88, 111].Научная новизна.
Полученный программный комплекс позволил решить научнотехническую задачу декларативного предметно-ориентированного программированияWeb-узлов и приложений, обеспечив низкий порог вхождения, быстрый процесс разработки с минимизацией рутинных задач.Наиболее существенные результаты, относящиеся к научной новизне, следующие:1. Разработана методика декларативного программирования динамических Webузлов и приложений, формализованная на основе четырёх базовых сущностей(модель, локация, набор, блок), отличающаяся повышенной гибкостью, низкимпорогом вхождения и высокой эффективностью разработки за счёт эффективногоперераспределения уровней абстракции.2.
Разработаны методы манипулирования данными: метод разграничения прав доступа в представленной методике; метод выборки и изменения данных на основе адаптивной структуры каждой сущности; методы интеллектуального выборанеоднозначных динамических URL за счёт вычисления мощности множеств каждого шаблона; метод отложенной во времени синхронизации больших объёмовданных между синхронизатором и интерпретатором.3. Разработана методика анализа декларативных и императивных языков на основеметрик Холстеда, отличающаяся мультипарадигменностью.Основные положения, выносимые на защиту:1.
Методика декларативного программирования Web-узлов и приложений и её формализация в виде декларативного языка программирования BML.2. Метод комплексной оценки инструментов императивной и декларативной разработки динамических Web-узлов.3. Унифицированный метод разграничения прав доступа к данным.4. Унифицированный метод приёма пользовательских данных с учётом их характерных особенностей.1625.
Критерий оптимальности выбора релевантного объекта в задаче динамическоймаршрутизации Web-адресов, идентифицируемых шаблоном.6. Архитектура программного комплекса интерпретатора языка BML и синхронизатора.7. Нагрузочное тестирование компонентов интерпретатора.8. Интерфейсы визуального редактора построения структур декларативного языкаBML.Данный программный комплекс может быть использован людьми, не владеющимиязыками программирования. Визуальный редактор позволяет в кратчайшие сроки понять принцип взаимодействия с методикой и приступить к созданию Web-приложения(сайта) непосредственно в процессе обучения.163Список литературы1. Ampatzoglou A., Frantzeskou G., Stamelos I.
A methodology to assess the impactof design patterns on software quality // Information and Software Technology. —2012. — Vol. 54, no. 4. — Pp. 331–346.2. Aniche M., Bavota G., Treude C., Van Deursen A., Gerosa M. A. A ValidatedSet of Smells in Model-View-Controller Architectures // Software Maintenance andEvolution (ICSME), 2016 IEEE International Conference on. — IEEE. 2016. —Pp. 233–243.3.
Baker P., Loh S., Weil F. Model-Driven engineering in a large industrial context—motorola case study // International Conference on Model Driven EngineeringLanguages and Systems. — Springer. 2005. — Pp. 476–491.4. Bennett K. H., Rajlich V. T. Software maintenance and evolution: a roadmap //Proceeding ICSE ’00 Proceedings of the Conference on The Future of SoftwareEngineering. — 2000. — Pp.
73–87.5. Binstock A. Mind maps: The poor man’s design tool. — Oct. 2012. — URL:http : / / www . drdobbs . com / tools / mind - maps - the - poor - mans design-tool/240008292 (visited on 07/24/2016).6. Bonachea D., Fishe K., Rogers A., Smith F. Hancock: a language for processing very large-scale data // Proceedings of the 2nd conference on Domain-specificlanguages. — New York, NY, USA, 1999. — Pp.
163–176.7. Bonnie A., Nardi B. A small matter of programming: perspectives on end-usercomputing. — Massachusetts Institute of Technology, 1993.8. Bruntink M., Deursen A. van, Tourwe T. Isolating idiomatic crosscutting concerns //Software Maintenance, 2005. ICSM’05. Proceedings of the 21st IEEE InternationalConference on. — 2005. — Pp. 37–46.1649. BSON Binary JSON [Electronic Resource].— 2016.— URL: http : / /bsonspec.org/.10.
Caldiera G., Basili V. R. Identifying and qualifying reusable software components //Computer. — 1991. — Vol. 24, no. 2. — Pp. 61–70.11. Cho H., Gray J., Syriani E. Syntax Map: A Modeling Language for CapturingRequirements of Graphical DSML // 2012 19th Asia-Pacific Software EngineeringConference. Vol. 1. — IEEE. 2012. — Pp. 705–708.12. Chomsky N. On certain formal properties of grammars // Information and control. —1959. — Vol.
2, no. 2. — Pp. 137–167.13. Crepinsek M., Kosar T., Mernik M., Cervelle J., Forax R., Roussel G. On automata and language based grammar metrics // Computer Science and InformationSystems. — 2010. — Vol. 7, no. 2. — Pp. 309–329.14. Fernandez A., AbrahãO S., Insfran E. Empirical validation of a usability inspectionmethod for model-driven Web development // Journal of Systems and Software.
—2013. — Vol. 86, no. 1. — Pp. 161–186.15. Fulmer J. Siege User’s Manual [Electronic Resource]. — 2012. — URL: http://www.joedog.org/siege-manual/.16. Gaffney Jr J. E. Software metrics: A key to improved software development management // Computer Science and Statistics: Proceedings of the 13th Symposium onthe Interface. — Springer. 1981. — Pp. 211–220.17. Gage C. A., Hind J. R., Peters M. L. URL-based sticky routing tokens using aserver-side cookie jar.
— Aug. 2012. — US Patent 8,239,445.18. Genova Z., Christensen K. J. Using signatures to improve URL routing //Performance, Computing, and Communications Conference, 2002. 21st IEEEInternational. — IEEE. 2002. — С. 45—52.19. Gilb T., Finzi S. Principles of software engineering management.Vol.
11. —Addison-Wesley Reading, MA, 1988.20. Gray J., Karsai G. An Examination of DSLs for Concisely Representing ModelTraversals and Transformations // System Sciences, 2003. Proceedings of the 36thAnnual Hawaii International Conference on. — 2003.21. Gruber H., Holzer M. Finite automata, digraph connectivity, and regular expressionsize // Automata, Languages and Programming.
— 2008. — Pp. 39–50.16522. Halstead M. H. Elements of software science. Vol. 7. — Elsevier New York, 1977.23. Hansen T., Apte V., Reeser P. Performance comparison of dynamic web platforms //Computer Communications. — 2003. — Pp. 888–898.24. Hanus M., Koschnicke S. An ER-based framework for declarative web programming // Practical Aspects of Declarative Languages. — 2010.
— Pp. 201–216.25. Head M. R., Madhusudhan G., Engelen R. van, Zhang W. Benchmarking XML Processors for Applications in Grid Web Services // SC 2006 Conference, Proceedingsof the ACM/IEEE. — Tampa, FL, USA, 2006. — P. 30.26. Heer J., Bostock M. Declarative language design for interactive visualization //Visualization and Computer Graphics, IEEE Transactions on. — 2010. — Vol.
16,no. 6. — Pp. 1149–1156.27. HTML5 Standard: HTML5 forms specification. — 2015. — Aug.28. Hu Y., McKenzie G., Yang J.-A., Gao S., Abdalla A., Janowicz K. A Linked-DataDriven Web Portal for Learning Analytics: Data Enrichment, Interactive Visualization, and Knowledge Discovery. // LAK Workshops. — 2014.29. Java vs C++ g++ [Electronic Resource] // Computer Language BenchmarksGame. — URL: http://benchmarksgame.alioth.debian.org/u32q/benchmark.php?test=all&lang=java.30.
Johanson A. N., Hasselbring W. Effectiveness and efficiency of a domain-specificlanguage for high-performance marine ecosystem simulation: a controlled experiment // Empirical Software Engineering. — 2016. — Pp. 1–31.31. Karus S., Dumas M. Predicting the maintainability of XSL transformations // Scienceof Computer Programming. — 2011. — Vol. 76, no. 12. — Pp.
1161–1176.32. Kleene S. C. Representation of events in nerve nets and finite automata: tech. rep. /DTIC Document. — 1951.33. Klint P., Van Der Storm T., Vinju J. On the impact of DSL tools on the maintainability of language implementations // Proceedings of the Tenth Workshop on LanguageDescriptions, Tools and Applications. — ACM. 2010. — P. 10.34. Kosar T., Oliveira N., Mernik M., Pereira V.
J. M., Črepinšek M., Da C. D.,Henriques R. P. Comparing general-purpose and domain-specific languages: Anempirical study // Computer Science and Information Systems. — 2010. — Vol. 7,no. 2. — Pp. 247–264.16635. Kurtev I., Bézivin J., Jouault F., Valduriez P. Model-based DSL frameworks // Companion to the 21st ACM SIGPLAN symposium on Object-oriented programmingsystems, languages, and applications. — ACM. 2006. — Pp.
602–616.36. Letkowski J. Doing database design with MySQL // Journal of Technology Research. — 2016. — Vol. 6. — Pp. 1–15.37. Li C. T., El Gamal A. An efficient feedback coding scheme with low error probability for discrete memoryless channels // IEEE Transactions on Information Theory. —2015.