П. П. Макарычев, В. В. Швецов
АЛГЕБРАИЧЕСКИЕ МОДЕЛИ ПРОЦЕССОВ МОНИТОРИНГА
РАСПРЕДЕЛЕННОГО ПРОГРАММНОГО ПРОЕКТА
Аннотация. <...> В работе рассматриваются модели процессов мониторинга распределенного программного проекта, построенные с привлечением алгебры
процессов Робина Милнера, более известной как пи-исчисление. <...> Для учета
вычислений, возникающих при обработке информации, исходная алгебра
расширена арифметикой над полем вещественных чисел. <...> The models of monitoring processes for distributed software project are
considered. <...> The models are created using the process algebra of Robin Milner
named pi-calculus. <...> This algebra is extended with real number arithmetic for simulating of the computations by data processing. <...> Введение
В настоящее время в области управления программными проектами
(ПП) для решения проблемы недостатка информации все большее применение находят информационные системы мониторинга (ИСМ). <...> Он имеет сложную и неоднородную
структуру, ключевыми элементами которой являются продукт, процессы,
персонал и инструментальные средства. <...> В распределенном проекте характеристики этих элементов значительно удалены друг от друга, и требуются
специальные технологии для организации эффективного доступа к данным. <...> Очевидно, что соответствующие модели позволят исследовать различные варианты мониторинга распределенного ПП и выбрать
из них наиболее адекватные предполагаемым условиям применения. <...> Однако
существующие подходы [1, 2] ограничиваются моделированием коммуникаций между элементами ИСМ и не позволяют исследовать вычисления, которые возникают, если обработка распределенных характеристик объекта осуществляется на этапе их сбора, как это предлагается в работе [3]. <...> Для моделирования как коммуникационных, так и вычислительных аспектов мониторинга целесообразно использовать известную модель параллельных вычислений – пи-исчисление Робина Милнера [2], в основе которого
лежит передача сообщений по каналам. <...> Исчисление принадлежит классу
процессных алгебр и позволяет записать набор процессов в виде алгебраического <...>