Средства программного описания функциональной архитектуры и их языковая реализация

• Автор: Лельчук, Татьяна Иосифовна
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Новосибирск
• Количество страниц: 114 c. : ил

Модель параллельных асинхронных вычислений
Требования к модели вычислений
Определение модели
Правила структурирования объектов
Именование объектов
Интерпретирующие операции
Подмодель структурирования и ... логического
представления значений
Деревья и операции над шили
Память
Конструктивы, порождающие деревья
Представление деревьев в памяти
Операции над памятью
Подмодель управления вычислениями
Статические объекты подмодели: ресурсы и модули. . Динамические объекты подмодели - процессы
Система управления вычислениями
Представление объектов подмодели в памяти
Язык параллельного асинхронного программирования
Поляр
Структуры данных
Процедуры
Типы с программируемым доступом
Переменные
Управляющие операторы
Управляющие типы и сетевое управление

4.7. Пакеты
ГЛАВА 5. Поляр-программы и их анализ
5.1. Примеры программ на Поляре
5.2. Соответствие между структурированными сетями и объектами модели вычислении
5.3. Моделирование статического управления Полчр-прог-рамм сетями
ЗА1Ш0ЧЕННЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЕ
ПРИЛОЖЕНИЕ
Одним из основных направлений развития вычислительной техники является разработка высокопроизводительных вычислительных систем и комплексов, базирующихся на новых принципах организации вычислений. Характерными особенностями перспективных вычислительных систем [2,4,9,34,35,38,61 ] являются большое число и разнообразие компонент, сложность связей между ниш, высокие требования к надежности, совместимости и взаимозаменяемости программных и аппаратных компонент, их шогофункциональность и реконфигурируемость. Нарастающая сложность и повышение требований к эксплуатационным качествам перспективных вычислительных систем с неизбежностью ставят задачу автоматизации отдельных этапов и всего процесса проектирования в целом и создания комплексных систем автоматизации проектирования (САПР).
Существенные выгоды применения САПР достигаются на тех этапах проектирования, для которых в настоящее время уже существуют методы и приемы точного и недвусмысленного описания объектов и связей между ними. Сложившийся базис таких методов и приемов в техническом и логическом проектировании позволил создать ряд САПР для этих этапов, применяемых при разработке реальных систем [ 1,11,39,41,60 ]
Важным этапом проектирования вычислительных систем является этап структурного проектирования, на котором определяются основные функции и макроструктура разрабатываемой системы без разделения программных и аппаратных компонент, т.е. ее функциональная архитектура. Общими требованиями к средствам автоматизации этого уровня проектирования являются: высокий уровень организации данных и управления, высокая степень непроцедурное-