|
88 Current-ratio (time-moment, step, effort-ratio) & effort-ratio < 100 & (&( Vagent-name (Assignments (effort-unit, agent-name, _, step, _) & Assumptions (time-moment, agent-name, List-of Завершение шага проекта. Current-time (time-moment, _) & time-moment 0 & 3 step (Project-steps (step, _, Current-ratio (time-moment, step, effort-ratio) & effort-ratio > 100 —> Finished (time-moment, step) ) 3.2.3 УНИВЕРСАЛЬНОЕ ПРАВИЛО ВЫВОДА В качестве универсального правила вывода в данном исчислении, используется правило дедуктивного вывода «modus ponens» и гипотеза о замкнутости мира [62], в соответствии с которой отрицание интерпретируется как неудача (т.е. как отсутствие в текущем состоянии рабочей среды W, соответствующего кортежа). Следует отметить, что описанное проблемно-ориентированное исчисление обладает свойством монотонности относительно значений всех предикатов, использованных под отрицанием. Дополнительным правилом вывода является правило смены текущего момента времени, суть которого состоит в замене в рабочей среде кортежа отношения Current-time: Current-time (time-moment, delta) & W; = Wj.j —* W; = Wj-i \ Current-time (time-moment, delta) U Current-time (timemoment + delta, delta). 3.2.4 ПРАВИЛО ОСТАНОВКИ Процесс вывода останавливается, если достигнуто конечное состояние рабочей среды W) или превышено установленное на шкале времени максимальное значение, т.е. истинен предикат: (&(V product-ref (Products (product-ref, Produced product-ref)) V Current-time (time-moment, _) & time-moment > Tmax |
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) инициализация шага в соответствии с наступлением календарной даты его |