121 метрики плана программного проекта также могут быть формально определены в тех же терминах, что и модель плана проекта. Ниже представлены формальные определения метрик, связанных с наиболее важными свойствами планов программных проектов: продолжительностью проекта и отдельных видов деятельности, занятостью исполнителей [18, 43, 57]. Каждая метрика плана программного проекта определяется как функция, правило вычисления значений которой задается в форме логического правила, причем условие этого правила выполняет роль оператора конкретизации множества значений используемых переменных, а следствие оператора присваивания значений. 4.2.1.1 Метрика 1. Продолжительность проекта Фактическая продолжительность программного проекта (сетевое время (net process time [58], длина критического пути (critical path [60])). Формальное определение: Current-time (time-moment, _) —> net-process-time = time-moment В соответствии с универсальным правилом вывода (см. раздел 3.2.3), в каждом состоянии рабочей среды Wj процесса исполнения модели плана проекта существует только один кортеж отношения Current-time, который представляет текущее время проекта. Тем самым, по окончании процесса исполнения значение переменной time-moment представляет фактическую продолжительность модельного исполнения проекта. 4.2.1.2 Метрика 2. Занятость исполнителя в проекте Процентная доля времени занятости исполнителя в проекте по отношению к общей продолжительности проекта. Формальное определение: 3 agent-name е Agent-names (time-intervals = {time-moment (Performs (time-moment,_,agent-name,_,_) & V time-momentl, time-moment2 e time-intervals (time-momentl £ time-moment2))} —» agent-usage-time-ratio (agent-name) = time-intervals / net-process-time * 100) |
106 Так как все понятия, используемые при построении формальной модели плана программного проекта, были определены формально (Глава 2), метрики плана программного проекта также могут быть формально определены в тех же терминах, что и модель плана проекта. Ниже представлены формальные определения метрик, связанных с наиболее важными свойствами планов программных проектов: продолжительностью проекта и отдельных видов деятельности, занятостью исполнителей [34, 77, 92, 97]. Каждая метрика плана программного проекта определяется как функция, правило вычисления значений которой задается в форме логического правила, причем условие этого правила выполняет роль оператора конкретизации множества значений используемых переменных, а следствие оператора присваивания значений. Метрика 1. Продолжительность проекта. Неформальное определение: фактическая продолжительность программного проекта (сетевое время (net process time [93], длина критического пути (critical path [98])). • Формальное определение: I ! Current-time (time-moment, _) —> net-process-time = time-moment Примечание. Здесь и далее символ в отношении означает вхождение анонимной свободной переменной. Комментарий. В соответствии с описанным в Главе 2 универсальным рецептом, в каждом состоянии рабочей среды Wj процесса исполнения модели плана проекта существует только один кортеж отношения Current-time, который представляет текущее время проекта. Тем самым, по окончании процесса исполнения значение переменной time-moment представляет фактическую продолжительность модельного исполнения проекта. Метрика 2. Занятость исполнителя в проекте. Неформальное определение: процентная доля времени занятости исполнителя в проекте по отношению к общей продолжительности проекта. 126 -> product-creation-delay (product-ref, time-moment2 time-moment 1)) Комментарий. Продукт product-ref уже создан, однако время его создания не совпадает с запланированным. В случае обнаружения такой ситуации будет выдана информация о продукте, с которым связано выявленное несоответствие между планом и реальным ходом выполнения проекта, и о разнице между реальным и запланированным временем создания продукта. 3.3. Выводы к главе 3 В третьей главе формально определен набор метрик и дефектов плана программного проекта с использованием реляционной и графовых моделей плана проекта, описанных в Главе 2. Также, в данной главе формально определены правила прослеживания плана программного проекта, позволяющие сравнить реальный процесс выполнения проекта с запланированным и обнаружить отклонения от плана. 1. Определенный в работе набор метрик и дефектов позволяет специфицировать критерии сравнительного оценивания различных вариантов плана программного проекта, а также обеспечивает спецификации методов анализа характеристик плана программного проекта. 2. Определенные метрики характеризуют продолжительность выполнения всего проекта и отдельных видов деятельности, а также уровень занятости ресурсов при выполнении проекта. Каждая метрика плана программного проекта определяется как функция, способ вычисления значений которой задается в форме логического правила, причем условие этого правила выполняет роль оператора конкретизации множества значений используемых переменных, а следствие оператора присваивания значений. 3. Определенный набор дефектов плана программного проекта обеспечивает проведение анализа плана проекта с целью выявления фрагментов, связанных с неэффективным использованием ресурсов и нарушением графика работ по проекту. Спецификация каждого дефекта описана в форме правила логического вывода с параметрами. Условие правила определяет предикат, истинность которого указывает на наличие дефекта и |