Технология графо-символического программирования Кафедра ИСТ Самарского государственного аэрокосмического университета. - презентация

1 Технология графо-символического программирования Кафедра ИСТ Самарского государственного аэрокосмического университета

2 Данные ПО Словарь данных ПО Граф управления БМ Библиотека базовых модулей D1 < D2 D3 >= D4 D4 != D2 Система логики Концепция технологии ГСП

3 Программирование в технологии ГСП Данные ПО Словарь данных ПО T = {t1, t2,..., tm} - множество типов данных ПО D = {d1, d2,..., dn} – множество данных ПО 1

4 Программирование в технологии ГСП 2 БМ Библиотека базовых модулей B = {B1, B2,..., BN} Bi = Tin -> Tout – базовый модуль Tin – мн-во входных типов данных БМ Bi Tout - мн-во выходных типов данных БМ Bi

5 Программирование в технологии ГСП 3

6 4 Актор Агрегат Предикат Данные ПО

7

8 Параллельное программирование в технологии ГСП параллельная дуга терминирующая дуга Агрегат 0 (граф-программа) Граф синхронизации агрегата 0 Синхронизация

9 Преимущества технологии ГСП Наглядность Легкость модификации, развития и поддержки Независимость от программно-аппаратной платформы Надежность Возможность создания параллельных программ

10 Контактная информация Самарский государственный аэрокосмический университет Коварцев Александр Николаевич Кафедра информационных систем и технологий Жидченко Виктор Викторович