С.Г. Ворона1, Т.В. Калинин2, И.Н Шульга3

1–3 Военно-космическая академия им. А.Ф. Можайского 

Постановка проблемы. Современные CASE-средства охватывают обширную область поддержки многочисленных технологий проектирования информационно-справочных моделирующих программ.

Цель. Построить технологическую схему проектирования информационно-справочных моделирующих программ с использованием инструментальных CASE-средств, включающую в себя последовательное применение известных моделей проектирования программ; провести анализ рассмотренной технологической схемы, использующей существующие CASE-средства для моделирующих программ.

Результаты. Рассмотрен синтез моделирующих программных систем, модели функциональной декомпозиции с учетом допущений ограничений при моделировании программ. Определен жизненный цикл моделирующих программ. Показаны фазы проектирования, такие как проектный анализ, проектирование функциональной структуры программ, проектирование логической схемы данных, физическое проектирование. Представлен метод анализа информационных потоков. Приведены схема проектирования моделирующих программ, а также примерная схема работы после завершения этапов внешнего проектирования.

Практическая значимость. Разработанный метод определения множества моделирующих компонент позволяет сократить время разработки всего комплекса программ обоснования требований к сложным системам вооружения ракетно-космической обороны.  

Ворона С.Г., Калинин Т.В., Шульга И.Н. Построение технологической схемы проектирования моделирующих программ с использованием CASE-средств // Наукоемкие технологии. 2023. Т. 24. № 5. С. 12−23. DOI: https:// doi.org/10.18127/j19998465-202305-02

1. Авремчук Е.Ф., Вавилов А.А. и др. Технология системного моделирования. М.: Машиностроение. 1988. 520 с.
2. Самарский А.А., Попов Ю.П. Вычислительный эксперимент в физике / В кн.: Наука и человечество. М.: Знание. 1975.  С. 280–291.
3. Глушков В.М. Обобщенные динамические системы и процессионное прогнозирование / В кн.: Проблемы прикладной математики и механики. М.: Наука. 1971. С. 27–30.
4. Глушков В.М., Гусев В.В., Марьяновия Т.П., Сахнюк М.А. Программные средства моделирования непрерывно-дискретных систем. Киев: Наукова думка. 1975. 152 с.
5. Бусленко Н.П. Сложные системы и имитационные модели // Кибернетика. 1976. № 6. С. 50–59.
6. Бусленко Н.П., Белов Ю.А., Диденко В.П., Козлов Н.Н. и др. Моделирование сложных систем. М.: Наука. 1978. 399 с.
7. Математическое обеспечение сложного эксперимента. Обработка измерений при исследовании сложных систем. Киев: Наукова думка. 1982. 304 с.
8. Hoare C.A.R. An axiomatic basis of computer programming. Comm. ACM. 1969. V. 12. № 10. P. 576–583.
9. Шаракшанэ А.С., Халецкий А.К., Морозов И.А. Оценка характеристик сложных автоматизированных систем. М.: Машиностроение. 1993. 272 с.
10. Коновалов А.Н., Яненко Н.Н. Модульный принцип построения программ как основа создания пакета прикладных программ решения задач механики сплошной среды / В кн.: Комплексы программ математической физики. Новосибирск: ВЦ СО АН СССР. 1972. С. 56–63.
11. Тоценко В.Г., Александров А.В., Парамонов Н.Б. Корректность, устойчивость, точность программного обеспечения. Киев: Наукова думка. 1990. 
12. Информационные технологии и вычислительные системы. Обработка информации и анализ данных. Программная инженерия. Математическое моделирование. Прикладные аспекты информатики / Под ред. С.В. Емельянова. М.: Ленанд. 2016. 104 с.
13. Ворона С.Г., Хрестинин Д.В., Калинин Т.В., Булычёв С.Н. Методы оценки характеристик программ и алгоритмов // Нелинейный мир. 2020. Т. 18. № 2. С. 53–61 DOI: 10.18127/j20700970-202002-05.
14. Ворона С.Г., Калинин Т.В. Синтез моделирующих программ на основе многоверсионных библиотек компонент // Наукоемкие технологии. 2022. № 7. С. 43−49 DOI: https://doi.org/10.18127/j19998465-202207-04.
15. Вендров А.М. CASE-технологии. Современные методы и средства проектирования информационных систем М.: Финансы и статистика. 2005. 176 с.
16. Венгров А.М. CASE-современные методы и средства проектирования информационных систем. М.: Финансы и статистика. 1998.
17. Токмаков Г.П. Автоматизированное проектирование информационных систем: Учеб. пособие. Ульяновск: УлГТУ, 2015. 121 с. 
18. Маклаков С.В. CASE-средства разработки информационных систем. М.: Диалог – МИФИ. 2004. 256 с. 
19. Кулябов Д.С., Королькова А.В. Введение в формальные методы описания бизнес-процессов: Учеб. пособие. М.: РУДН. 2008. 173 с.