85 3.2.1.1.3 Assumptions (time-moment, agent-name, List-of Начальное состояние состояние рабочей среды W; содержащее кортежи отношений первого типа (см. выше), кортеж для начального момента времени Current-time (0, delta), а также по два кортежа третьего типа для каждого используемого в проекте ресурса (кроме методов): ( V agent-name (Assignments agent-name, _,_,)—» Assumptions (О, agent-name, [])) (* [] обозначает пустой список *) (V tool-name (Used-tools (tool-name, _,_)-> Allocations (0, tool-name, []) ). Конечное состояние. Конечным состоянием рабочей среды W] является состояние, полученное в результате применения правила остановки (см. раздел 3.2.4). |
61 2) отношения Текущее-время (Current-time), представляющего условные часы и указывающего текущий момент времени ("такт") процесса исполнения плана (значения параметров Tmax и delta задаются извне): Current-time (time-moment, delta), time-moment e [0, Tmax], delta < Tmax; 3) отношений, описывающих текущее состояние процесса исполнения модели плана проекта, а именно: Запущен (Started), Текущая-&оля (Current-ratio), Задания (Assumptions), Выполняет (Performs), Использование-ресурсов (Allocations), Завершён (Finished), Создан (Produced). Started (time-moment, step) представляет момент начала выполнения шага step; Current-ratio (time-moment, step, efforts-ratio) представляет долю работы efforts-ratio, выполненную на шаге step к моменту time-moment; Assumptions (time-moment, agent-name, List-of Распределенное использование средства на каждом промежутке времени в данной модели допускается (если это не ограничено отношением Constraint), однако явно не моделируется. Считается, что средство, предоставленное для использования N шагам, в равной доле используется ими на всем протяжении их выполнения. Finished (time-moment, step) представляет момент time-moment завершения шага step; 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]. При этом здесь и далее в работе все переменные, для которых явно не задана область их действия, считаются находящимися под квантором существования, начиная с момента их указания и в пределах области, ограниченной скобками соответствующего уровня вложенности. |