Технология графо-символического программирования Кафедра ИСТ Самарского государственного аэрокосмического университета
Данные ПО Словарь данных ПО Граф управления БМ Библиотека базовых модулей D1 < D2 D3 >= D4 D4 != D2 Система логики Концепция технологии ГСП
Программирование в технологии ГСП Данные ПО Словарь данных ПО T = {t1, t2,..., tm} - множество типов данных ПО D = {d1, d2,..., dn} – множество данных ПО 1
Программирование в технологии ГСП 2 БМ Библиотека базовых модулей B = {B1, B2,..., BN} Bi = Tin -> Tout – базовый модуль Tin – мн-во входных типов данных БМ Bi Tout - мн-во выходных типов данных БМ Bi
Программирование в технологии ГСП 3
4 Актор Агрегат Предикат Данные ПО
Параллельное программирование в технологии ГСП параллельная дуга терминирующая дуга Агрегат 0 (граф-программа) Граф синхронизации агрегата 0 Синхронизация
Преимущества технологии ГСП Наглядность Легкость модификации, развития и поддержки Независимость от программно-аппаратной платформы Надежность Возможность создания параллельных программ
Контактная информация Самарский государственный аэрокосмический университет Коварцев Александр Николаевич Кафедра информационных систем и технологий Жидченко Виктор Викторович