125 3 product-refl, product-ref2 G List-of<(*IN*) product-ref> (Produced (time-momentl, product-refl) & Produced (time-moment2, product-re£2) & Parameters-step-delay (time-period, product-ratio) & time-moment2 time-momentl > time-period & V product-ref3 £ List-of<(*IN*) product-ref> (Produced (time-moment3, product-ref3) & (time-moment3 < time-momentl V time-moment3 > timemoment2)) & product-set = { product-ref4 e List-of<(*IN*) product-ref > (Produced (time-moment4, product-ref4) & time-moment4 > time-moment2)} & product-set < List-of<(*IN*) product-ref>* product-ratio/100 —* step-delay (time-period, product-ratio, product-set))) При выполнении проекта имеет место следующая ситуация: существуют две группы входных продуктов шага step, причем продукты второй группы были созданы значительно позже (более, чем через заданное время timeperiod), чем продукты первой группы, и при этом число продуктов второй группы (созданных позже) составляет незначительную долю (не более, чем заданная доля product-ratio) от общего числа входных продуктов шага step. Если это условие наличия дефекта выполнено, в графе G будет локализована вершина, соответствующая шагу step, в сопровождении информации о параметрах и множестве продуктов, из-за неготовности которых произошла задержка начала выполнения шага. 4.2.2.2.2 Дефект 2.2. Существует исполнитель, который простаивает в течение длительного промежутка времени. Длительное простаивание исполнителя является дефектом в том случае, если у него есть текущие задачи, но он не может начать их выполнение из-за неготовности каких-либо рабочих продуктов или из-за других ограничений. В некоторых случаях простаивание исполнителя может не быть дефектом (например, в случае ухода в плановый отпуск или при одновременной работе в нескольких проектах), поэтому каждый обнаруженный дефект этого типа нужно тщательно анализировать. Параметр: максимальный промежуток времени, в течение которого простаивание исполнителя считается допустимым (задается числом единичных интервалов длиной delta). Формальное определение: |
113 time-moment2 time-moment 1 > time-period & V product-ref3 e List-of<(*IN*) product-re£> (Produced (time-moment3, product-ref3) & (time-moment3 < time-momentl v time-moment3 > time-moment2)) & product-set = { product-ref4 e List-of<(*IN*) product-ref > (Produced (time-moment4, product-ref4) & time-moment4 > time-moment2) } & product-set < jList-of<(*IN*) product-ref>* product-ratio/100 —> step-delay (time-period, product-ratio, product-set) & Visualize(task-name(t,step) e Tasks))) Комментарий. При выполнении проекта имеет место следующая ситуация: существуют две группы входных продуктов шага step, причем продукты второй группы были созданы значительно позже (более, чем через заданное время time-period), чем продукты первой группы, и при этом число продуктов второй группы (созданных позже) составляет незначительную долю (не более, чем заданная доля product-rati о) от общего числа входных продуктов шага step. Если это условие наличия дефекта выполнено, в графе G будет локализована вершина, соответствующая шагу step, в сопровождении информации о параметрах и множестве продуктов, из-за неготовности которых произошла задержка начала выполнения шага. Вариант 2. (для одного "задерживающего" продукта). Параметр: промежуток времени, задержка в течение которого считается допустимой (задается числом единичных интервалов длиной delta). Формальное определение: 3 step (Project-steps(step, task-name, List-of<(*IN*) product-ref>, ...))& 3 product-ref e List-of<(*IN*) product-ref> (Produced (time-momentl, product-ref) & V product-ref2 e List-of<(*IN*) product-ref>\{product-ref} (Produced (time-moment2, product-ref2) & 114 time-moment 1 > time-moment2 ) & 3 product-ref3 e List-of<(*IN*) product-ref>\{product-ref} (Produced (time-moment3, product-ref3) & V product-ref4 e List-of<(*IN*) product-ref>\ (product-ref, product-ref3} (Produced (time-moment4, product-ref4) & time-moment3 > time-moment4 ) v List-of<(*IN*) product-ref>\ (product-ref, product-re f3} = 0 & Para/we/er-step-delay-by-one-product (time-period) & time-momentl — time-moment3 > time-period ) -» step-delay-by-one-product (time-period, product-ref) & Visualize(task-name(t,step) e Tasks) ) ) Комментарий. Существует входной продукт product-ref шага step, созданный позже всех остальных входных продуктов этого шага, причем ни один из других входных продуктов шага step не был создан в течение промежутка времени заданной длины time-period до момента создания продукта product-ref, где длина промежутка time-period определяет допустимое время задержки начала выполнения шага. Если это условие наличия дефекта выполнено, в графе G будет локализована вершина, соответствующая шагу step, в сопровождении информации о заданной длине промежутка времени и идентификаторе продукта, из-за неготовности которого произошла задержка начала выполнения шага. Дефект 2.2. Неформальное определение: существует исполнитель, который простаивает в течение длительного промежутка времени. Примечание. Длительное простаивание исполнителя является дефектом в том случае, если у него есть текущие задачи, но он не может начать их выполнение из-за неготовности каких-либо рабочих продуктов или из-за других ограничений. В некоторых случаях простаивание исполнителя может не быть дефектом (например, в случае ухода в плановый отпуск или при одновременной 115 работе в нескольких проектах), поэтому каждый обнаруженный дефект этого типа нужно тщательно анализировать. Параметр: максимальный промежуток времени, в течение которого простаивание исполнителя считается допустимым (задается числом единичных интервалов длиной delta). Формальное определение: 3 time-moment 1, time-moment2 е [0, Ттах] (time-moment 1 < time-moment2 & 3 agent-name (V time-moment3 (Assumptions (time-moment3, agent-name, List-of Если это условие наличия дефекта выполнено, в графе G будет локализована вершина, соответствующая исполнителю agent-name, в сопровождении информации о заданном значении параметра и промежутке времени, с которым связано наличие рассматриваемого дефекта. |