Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: V Всероссийская (национальная) научная конференция «Достижения науки и технологий» (ДНиТ-V-2026); Красноярск; Красноярск
Год издания: 2026
Идентификатор DOI: 10.47813/dnit.5.2026.2012
Ключевые слова: complex software system, information system, software systems architecture, structural-parametric synthesis, software design, сложная программная система, информационная система, архитектура программных систем, структурно- параметрический синтез, проектирование программного обеспечения
Аннотация: Рост масштабов, распределённости и функциональной сложности современных программных и информационных решений обуславливает необходимость разработки формальных методов их анализа, проектирования и синтеза. При этом в научной и инженерной литературе отсутствует однозначное разграничение понятий сложной программной системы и информациПоказать полностьюонной системы, что приводит к неопределённости при выборе уровня декомпозиции и постановке задач структурно-параметрического синтеза. В работе выполнен системный анализ указанных классов систем, уточнены их определения и выделены характерные признаки. Предложена формальная модель информационной системы как совокупности программных, информационных, технических и организационных компонентов. На основе данной модели рассмотрены два типовых варианта архитектурной взаимосвязи: вложенность программной системы в отдельную информационную систему и платформенная реализация семейства информационных систем на базе единой сложной программной системы. Показано, что непосредственным объектом структурного и параметрического синтеза является программная реализация, тогда как прикладные информационные системы формируются путём конфигурации и композиции её компонентов. Полученные результаты позволяют формализовать процессы проектирования программных платформ и создают теоретическую основу для разработки методов автоматизированного синтеза, оптимизации архитектур и управления развитием крупномасштабных программных комплексов. The growing scale, distribution, and functional complexity of modern software and information solutions necessitate the development of formal methods for their analysis, design, and synthesis. However, the scientific and engineering literature lacks a clear distinction between the concepts of a complex software system and an information system, leading to uncertainty when selecting the decomposition level and setting structural-parametric synthesis objectives. This paper presents a systems analysis of these classes of systems, clarifies their definitions, and identifies their characteristic features. A formal model of an information system as a combination of software, information, technical, and organizational components is proposed. This model is used to examine two typical architectural relationships: nesting a software system within a separate information system and platform implementation of a family of information systems based on a single complex software system. It is demonstrated that the direct object of structural and parametric synthesis is the software implementation, while applied information systems are formed through the configuration and composition of its components. The obtained results allow us to formalize the design processes of software platforms and create a theoretical basis for the development of methods for automated synthesis, optimization of architectures, and management of the development of large-scale software systems.
Журнал: Достижения науки и технологий (ДНиТ-V-2026)
Номера страниц: 232-237
Место издания: Красноярск