Методика декларативного проектирования программного обеспечения: анализ требований к системе

Авторы

  • В. Г. Тарасов ИжГТУ имени М. Т. Калашникова
  • А. О. Трифонов ИжГТУ имени М. Т. Калашникова

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 с.

Загрузки

Опубликован

25.07.2017

Как цитировать

Тарасов, В. Г., & Трифонов, А. О. (2017). Методика декларативного проектирования программного обеспечения: анализ требований к системе. Вестник ИжГТУ имени М.Т. Калашникова, 20(2), 143–149. https://doi.org/10.22213/2413-1172-2017-2-143-149

Выпуск

Раздел

Информатика, вычислительная техника и управление (архив)