Формальные модели компонентного программирования

Abstract

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

Запропоновано підхід до побудови формальних моделей компонентного програмування як основи створення компонентної теорії. Розглянуті моделі компонентів і компонентних середовищ, визначені зовнішня та внутрішня компонентні алгебри. Проаналізовані різні аспекти запропонованих моделей і їх зв’язок з практикою програмування.

The approach to construction of formal models of component programming, as bases of component theory creation, is offered. The models of components, component environments and external and internal component algebra are considered. The various aspects of these models and their relations with practice of programming are analysed.