86 3.2.2 ПРОБЛЕМНО-ОРИЕНТИРОВАННЫЕ ПРАВИЛА Проблемно-ориентированные правила (применение которых регламентируется универсальным правилом вывода (см. раздел 3.2.3)) определяют операции добавления множества новых кортежей к текущему состоянию рабочей среды W,-. Они моделируют изменения, происходящие во время выполнения проекта: начало и завершение шагов проекта, создание рабочих продуктов, назначение новых заданий исполнителям и их освобождение, выполнение исполнителями своей работы. Синтаксис правил основан на положениях математической логики и реляционной алгебры. При этом здесь и далее в работе все переменные, для которых явно не задана область их действия, считаются находящимися под квантором существования, начиная с момента их указания и в пределах области, ограниченной скобками соответствующего уровня вложенности. Далее приведены основные правила, позволяющее исполнить статическую реляционную модель плана программного проекта и смоделировать процесс выполнения плана. 3.2.2.1Правило 1. Инициализация шагов проекта. Инициализация шагов в соответствии с запланированной очередностью их выполнения. Current-time (time-moment, _) & 3 step (Project-steps(step, List-of |
62 Produced (time-moment, product-ref) представляет момент time-moment завершения создания продукта с идентификатором product-ref. Начальное состояние состояние рабочей среды Wj, содержащее кортежи отношений первого типа (см. выше), кортеж для начального момента времени Current-time (0, delta), а также по два кортежа третьего типа для каждого используемого в проекте ресурса (кроме методов): (Vagent-name (Assignments (_, agent-name, _,_,)—> Assumptions (О, agent-name, [])) (* [] обозначает пустой список *) (Vtool-name (Used-tools (tool-name, _, _) —> Allocations (0, tool-name, [])). Примечание. В соответствии с гипотезой о замкнутости мира [99] (см. универсальный рецепт, описанный в разделе 2.4.3) все, что не содержится в текущем состоянии рабочей среды, считается ложным. Так, в начальном состоянии все предикаты Started, Produced, Finished, Performs имеют значение false для всех значений аргументов соответствующих отношений, ; Конечное состояние. Конечным состоянием рабочей среды Wj является состояние, полученное в результате применения правила остановки (см. раздел 4.4). 2.4.2. Проблемно-ориентированные правила Проблемно-ориентированные правила (применение которых регламентируется универсальным рецептом (см. раздел 2.4.3)) определяют операции добавления множества новых кортежей к текущему состоянию рабочей среды W;. Они моделируют изменения, происходящие во время выполнения проекта: начало и завершение шагов проекта, создание рабочих продуктов, назначение новых заданий исполнителям и их освобождение, выполнение исполнителями своей работы. Синтаксис правил основан на работах [1, 2]. При этом здесь и далее в работе все переменные, для которых явно не задана область их действия, считаются находящимися под квантором существования, начиная с момента их указания и в пределах области, ограниченной скобками соответствующего уровня вложенности. |