Новости ИСП РАН

Семинар «Парадигмы программирования сборочного типа» пройдёт 17 ноября 2015 года

17 ноября 2015 года в 15:00 в аудитории 110 состоится семинар ИСП РАН, на котором выступит г.н.с. ИСП РАН Лаврищева Екатерина Михайловна. Тема доклада: «Парадигмы программирования сборочного типа».

Аннотация

Представлен формальный аппарат парадигм (модульного, объектного, компонентного и сервисного) программирования сборочного типа. Теоретический аппарат каждой парадигмы обеспечивает формальную разработку отдельных программных элементов или ресурсов этих парадигм, определение их интерфейсов с другими разнородными ресурсами в стандарте WSDL и формальную сборку элементов парадигм на единой технологической основе в среде комплекса ИТК.

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

Дан обзор систем сборки по типу конвейерной сборки разнородных ресурсов (Гринфильда, Ленца, Бея, VS.VSTS, Авдошина, Фаулера и др.).

Представлен набор CASE-инструментов фабричной сборки разнородных ресурсов – AppFab (VS.NET, Corba, Grid, WebSphere IBM и др.) и библиотек системного преобразования типов данных, передаваемых между ресурсами, для организации вычислений.

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