Методика декларативного проектирования программного обеспечения: анализ требований к системе
DOI:
https://doi.org/10.22213/2413-1172-2017-2-143-149Ключевые слова:
проектирование программного обеспечения, анализ требований, методы проектирования, декларативное проектированиеАннотация
Рассматриваются актуальные проблемы современных методов проектирования программного обеспечения. Основными недостатками современных методов проектирования программного обеспечения являются несоответствие быстро меняющимся требованиям в условиях стремительно развивающейся индустрии информационных технологий, сложность сопровождения и поддержки программного обеспечения из-за преобладания императивной составляющей и слабой степени документированности. Дана характеристика предметно ориентированного метода проектирования (Domain Driven Design), определены преимущества и недостатки рассматриваемого метода. Сделан вывод о необходимости создания новой методики, учитывающей особенности и требования современных процессов проектирования. Предложена методика декларативного процесса проектирования, рассматривающая процесс проектирования в виде последовательных этапов: определение требований к системе, анализ, проектирование и разработка. Данная методика основана на формальных правилах декларативного перехода между различными состояниями процесса проектирования. Рассмотрены этапы определения требований к системе и анализа с использованием предлагаемой методики на примере проектирования системы проведения онлайн-соревнований по спортивному программированию BACS. На этапе формулирования требований к системе был определен словарь предметной области. Результатом этапа анализа является модель предметной области, формальное определение внешних характеристик процессов и зависимости процессов друг от друга, представленной в виде диаграммы вариантов использования. Полученные описания и диаграммы являются входными данными для следующего этапа «Проектирование».Библиографические ссылки
Буч Г., Рамбо Д., Якобсон А. Язык UML. Руководство пользователя : пер. с англ. - М. : ДМК, 2001. - 432 с.
Trifonov A. O., Tarasov V. G. Software design issues and declarative approach // Молодые ученые - ускорению научно-технического прогресса в XXI веке : [Электронное научное издание] : сборник тр. IV Всерос. науч.-техн. конф. аспирантов, магистрантов и молодых ученых с междунар. участием (Ижевск, 20-21 апреля 2016 года) / ИжГТУ имени М. Т. Калашникова / ИжГТУ имени М. Т. Калашникова, 2016. - 1044 c. (33 Мб).
Иван Пономарев. Case-средства: в борьбе со сложностью мира [Электронный ресурс] // PCWeek. - 2004. - № 18. - URL: https://www.pcweek.ru/idea/article/detail.php? ID=67597 (дата обращения: 11.10.2016).
Эванс Эрик. Предметно ориентированное проектирование (DDD): структуризация сложных программных систем : пер. с англ. - М. : И. Д. Вильямс, 2011. - 448 с.
Там же.
Stephen Ferg. Event-Driven programming: Introduction, Tutorial, History (2006-02-08) [Электронный ресурс]. - URL: http://Tutorial_EventDrivenProgramming.sourceforge. net (дата обращения: 07.02.2017).
Trifonov A. O., Tarasov V. G. Указ. соч.
Frederick P. Brooks. The design of design: essays from a computer scientist. - Reading, MA : Addison-Wesley, 2010. - 437 с.
Гатин Р. М., Тарасов В. Г., Юминов А. В. Система автоматизированной проверки задач для школьных олимпиад. Информатика, моделирование, автоматизация проектирования: сборник научных трудов / под ред. Н. Н. Войта. - Ульяновск :УлГТУ, 2011.- 416 с.
Ладыженская Т. А., Баранов М. Т., Тростенцова Л. А. Русский язык : учебник для 5-го класса общеобразовательных школ. - Ч. 1. - М. : Просвещение, 2012. - 192 с.
Эванс Эрик. Указ. соч.
Алистер Коберн. Современные методы описания функциональных требований к системам : пер. с англ. - М. : Лори, 2002. - 288 с.
