Алгебраические модели процессов мониторинга распределенного программного проекта

программные проекты распределенные программные проекты мониторинг пи-исчисление процессы Робина Милнера Робина Милнера процессы языки Pict Pict языки алгебраические вычисления

Принципы построения аппаратно-программных комплексов для формирования и измерения параметров импульсных сигналов, Аппроксимативная модель массового обслуживания общего вида и расчет ее характеристик, ...

П. П. Макарычев, В. В. Швецов АЛГЕБРАИЧЕСКИЕ МОДЕЛИ ПРОЦЕССОВ МОНИТОРИНГА РАСПРЕДЕЛЕННОГО ПРОГРАММНОГО ПРОЕКТА Аннотация. <...> В работе рассматриваются модели процессов мониторинга распределенного программного проекта, построенные с привлечением алгебры процессов Робина Милнера, более известной как пи-исчисление. <...> Для учета вычислений, возникающих при обработке информации, исходная алгебра расширена арифметикой над полем вещественных чисел. <...> Введение В настоящее время в области управления программными проектами (ПП) для решения проблемы недостатка информации все большее применение находят информационные системы мониторинга (ИСМ). <...> В распределенном проекте характеристики этих элементов значительно удалены друг от друга, и требуются специальные технологии для организации эффективного доступа к данным. <...> Однако существующие подходы [1, 2] ограничиваются моделированием коммуникаций между элементами ИСМ и не позволяют исследовать вычисления, которые возникают, если обработка распределенных характеристик объекта осуществляется на этапе их сбора, как это предлагается в работе [3]. <...> Для моделирования как коммуникационных, так и вычислительных аспектов мониторинга целесообразно использовать известную модель параллельных вычислений – пи-исчисление Робина Милнера [2], в основе которого лежит передача сообщений по каналам. <...> Расширим пи-исчисление арифметикой над полем вещественных чисел R, как это сделано в работе [4], сохранив при этом семантику исходной алгебры процессов. <...> Введем следующие обозначения для процессов: Reg – регистрирует некоторый атрибут ПП; Func – вычисляет производный показатель или индикатор ПП; Save – передает результат пользователю или сохраняет его в базе данных; Dist – рассылает информацию одному или нескольким процессам. <...> Тогда в нотации пиисчисления система мониторинга описывается следующим выражением: System Reg Dist Func Save . <...> 2 Регистрация Процесс Reg можно описать выражением <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт