|
89 3.2.5 СПЕЦИФИЦИРОВАНИЕ ПАРАМЕТРОВ ДИНАМИЧЕСКОЙ РЕЛЯЦИОННОЙ МОДЕЛИ ПЛАНА ПРОЕКТА Перед началом модельного исполнения плана проекта руководитель проекта должен задать длину единичного временного интервала (delta), используемого во "внутренних часах" процесса выполнения проекта и определяющего точность моделирования динамики проекта. Кроме того, руководитель проекта должен выбрать варианты правил, которые будут использоваться при моделировании, что обеспечивает гибкость моделирования динамики проекта. В процессе выполнения, в случае выбора вариантов правил с параметрами, необходимо оценивать значения этих параметров в конкретном контексте. После завершения процесса исполнения плана программного проекта, в результате применения проблемно-ориентированных правил к статической реляционной модели плана проекта, будет сгенерирована описывающая его динамическая реляционная модель плана проекта. 3.3 Граф плана проекта по созданию программной системы Статический граф плана проекта предназначен для визуализации фрагментов плана программного проекта, поддержки процесса его специфицирования и моделирования процесса его. Предлагаемая графовая модель отражает видение плана программного проекта как сети задач; такое видение является широко распространенным (task network [24], network of tasks [56]). Вершины-задачи связаны дугами, отражающими передачу между задачами производимых ими продуктов. Кроме этого, модель отражает назначение ресурсов (людей, средств и методов) для выполнения шагов проекта. Вершины-ресурсы связаны дугами с теми вершинами-задачами, для выполнения которых они назначены, при этом указаны шаги, на которых выполняются задачи (поскольку одна и та же задача может выполняться многократно). В качестве структурной модели плана проекта будем использовать связный размеченный ориентированный граф G = |
68 отсутствие в текущем состоянии рабочей среды Wj соответствующего кортежа). Следует отметить, что описанное проблемно-ориентированное исчисление обладает свойством монотонности относительно значений всех предикатов, использованных под отрицанием. Дополнительным правилом вывода является правило смены текущего момента времени, суть которого состоит в замене в рабочей среде кортежа отношения Current-time: Current-time (time-moment, delta) & W,= Wn —» Wj+i = Wj \ Current-time (time-moment, delta) Current-time (timemoment + delta, delta). Комментарий. Если текущее состояние среды Wj не меняется при значении текущего момента времени time-moment, то значение текущего момента времени увеличивается на delta. 2.4.4. Правило остановки Процесс вывода останавливается, если достигнуто конечное состояние рабочей среды Wj (см. раздел 2.4.1.) или превышено установленное на шкале времени максимальное значение, т.е. истинен предикат: (&(Vproduct-ref(Products (product-ref, Produced (_, product-ref) ) v Current-time (time-moment, _) & time-moment > Tmax 2.4.5. Специфицирование параметров динамической реляционной модели плана проекта Перед началом модельного исполнения плана проекта руководитель проекта должен задать длину единичного временного интервала (delta), используемого во "внутренних часах" процесса выполнения проекта и определяющего точность моделирования динамики проекта. Кроме того, руководитель проекта должен выбрать варианты правил (см. раздел 2.4.2), которые будут использоваться при моделировании, что обеспечивает гибкость моделирования динамики проекта. Последнее относится к правилу инициализации шага проекта (для которого возможна альтернатива: (1) инициализация шага в соответствии с наступлением календарной даты его 69 запланированного начала и (2) инициализация шага в соответствии с запланированной очередностью выполнения шагов) и к правилу выполнения части работы на шаге проекта (для которого возможны три варианта: (1) выполнение работ в равных долях, (2) выполнение работ последовательно и (3) выполнение работ с учетом указанных весовых долей). В процессе модельного выполнения, в случае выбора вариантов правил с параметрами, необходимо оценивать значения этих параметров в конкретном контексте. К таким параметрам относится (1) признак снятия ограничений на инициализацию шага (см. раздел 2.4.2, Правило 1), обусловленных фактической доступностью критичных ресурсов или другими причинами (для этой цели используется атрибут sign в отношении Constraints), а также (2) весовая доля распределения рабочего времени исполнителя в зависимости от текущего списка его назначений (см. раздел 2.4.2, Правило 3, Вариант 3). Задание значений этих параметров производится менеджером в процессе применения правил с параметрами по запросу средства исполнения модели плана проекта (см. рис. 2.1). При этом менеджер должен учитывать особенности планируемого проекта и исходить из собственного опыта. После завершения Процесса модельного исполнения плана программного проекта, в результате применения проблемно-ориентированных правил к статической реляционной модели плана проекта, будет сгенерирована описывающая его динамическая реляционная модель плана проекта. 2.5. Статический граф плана программного проекта Целью этого раздела является формальное определение понятия статический граф плана программного проекта. Статический граф плана проекта предназначен для визуализации фрагментов этого плана, поддержки процесса его специфицирования (см. раздел 2.7) и моделирования процесса его исполнения (см. раздел 2.4). Предлагаемая графовая модель отражает видение плана программного проекта как сети задач; такое видение является широко распространенным (task network [97], network of tasks [91]). Вершины-задачи связаны дугами, 70 отражающими передачу между задачами производимых ими продуктов. Кроме этого, модель отражает назначение ресурсов (людей, средств и методов) для выполнения шагов проекта. Вершины-ресурсы связаны дугами с теми вершинами-задачами, для выполнения которых они назначены, при этом указаны шаги, на которых выполняются задачи (поскольку одна и та же задача может выполняться многократно). Разметка множества вершин-задач графа задает частичный порядок выполнения шагов проекта, определяемый запланированным временным графиком. В качестве структурной модели плана проекта будем использовать связный размеченный ориентированный граф G = В работе [91] аналогичный граф с двумя типами вершин называется многослойным (layered). Приведенное ниже определение графа G представляет собой набор правил, устанавливающих взаимно-однозначное соответствие между элементами графа G и атрибутами реляционной модели (см. раздел 2.3]). Такое определение позволяет, с одной стороны, использовать граф G для специфицирования полной модели плана программного проекта, а с другой — однозначно определять любые фрагменты модели плана при визуализации (см. раздел 2.7). 2.5.1. Вершины статического графа, представляющие задачи Task множество вершин графа, представляющих множество задач плана программного проекта, Task = {task-name(, ..., task-nameu}, Vi = 1 ,k (task-name; e Task-names), и при этом 3 task-name e Task <-> 3 task-name (Tasks (task-name, _,_) ) Комментарий. Вершина графа task-name существует тогда и только тогда (т. и тт.), когда в реляционной модели плана проекта определена задача с именем task-name. 2.5.2. Разметка вершин статического графа S разметка множества вершин Task, определяющая шаги программного проекта и частичный порядок их выполнения. Каждой вершине соответствует непустое множество меток, где меткой является либо 0, либо пара натуральных |