Теория объектно-компонентного моделирования программных систем

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