Аннотация: В книге анализируются, развиваются и обобщаются инструментальные методы и средства автоматизации перестройки среды взаимодействия при сборке распределенных программных конфигураций (РПК) для систем управления, все шире применяемых в ГАП и АСНИ. Выявлены перспективные тенденции организации средств взаимодействия и сформулированы требования к компонентам системы автоматизации программирования (САП) распределенных вычислительных систем управления (РВСУ). Разрабатываются механизмы взаимодействия программ в РПК на основе предложенной конструкции информационно-транспортного порта (ИТП), позволяющий автоматизировать формирование средств взаимодействия. Развиваются синтаксические и семантические аспекты взаимодействия через ИТП. Предлагается схема устранения тупиковых ситуаций при обмене сообщениями в РВСУ и развивается распределенный алгоритм обнаружения тупиков. Рассматривается способ формализованного описания ИТП и его "поведения" и сформирован подход к реализации соответствующих программных компонентов. Предлагается формализованная модель РВСУ и соответствующий язык системных архитекторов ALADDIN для обращения к компонентам САП РВСУ, выпоняющим сборку РПК. Представлен механизм обработки исключительных ситуаций. Рассматриваются технологические аспекты использования САП РВСУ с языком ALADDIN. Книга предназначена для широкого круга специалистов по организации и автоматизацц сложных РВСУ в ГАП и АСНИ. Первые три главы могут быть полезны студентам и аспирантам специальностей "ЭВМ, комплексы, системы и сети", "Математическое и программное обеспечение ЭВМ, комплексов и систем".
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)