|
84 3) универсальный рецепт (правила вывода, которые описывают регламент применения проблемно-ориентированных правил), 4) правила остановки. 3.2.1 СТРУКТУРА СОСТОЯНИЯ РАБОЧЕЙ СРЕДЫ Каждое состояние рабочей среды Wj есть множество кортежей отношений трех типов: 1) отношений, описывающих сам исполняемый план, а именно: Шаги-проекта (Project-steps), Продукты (Products), Ограничения (Constraints), Назначения (Assignments), Предыдущий (Previous), Исполъзуемые-средства (Used-tools), Исполъзуемые-методы (Used-methods), Starting-step (Началъный-шаг), описанных в разделе 3.1; значения этих отношений не меняются в процессе исполнения плана, и в каждом состоянии W; они одинаковы; 2) отношения Текущее-время (Current-time), представляющего условные часы и указывающего текущий момент времени ("такт") процесса исполнения плана (значения параметров Ттах и delta задаются извне): Current-time (time-moment, delta), time-moment e [0, Tmax], delta < Tmax; 3) отношений, описывающих текущее состояние процесса исполнения модели плана проекта, а именно: Запущен (Started), Текущаядоля (Current-ratio), Задания (Assumptions), Выполняет (Performs), Использование-ресурсов (Allocations), Завершён (Finished), Создан (Produced). 3.2.1.1.1 Started (time-moment, step) Представляет момент начала выполнения шага step; 3.2.1.1.2 Current-ratio (time-moment, step, efforts-ratio) Представляет долю работы efforts-ratio, выполненную на шаге step к моменту time-moment; |
60 2.4. Динамическая модель плана программного проекта Целью этого раздела является формальное специфицирование реляционной динамической модели плана программного проекта. Эта модель описывает процесс исполнения статической модели плана проекта (см. раздел 2.3) при заданных значениях параметров. Она предназначена для исследования динамических характеристик плана программного проекта без реального выполнения этого плана. При этом моделируется ход выполнения проекта в соответствии с созданным планом, определяется время выполнения каждого шага и проекта в целом в условиях заданных назначений ресурсов и ограничений, сроки создания рабочих продуктов, занятость исполнителей. Модель процесса исполнения плана программного проекта ниже описана в форме проблемно-ориентированного исчисления, которое включает в себя четыре составляющие [38]: 1)структуру множества состояний рабочей среды, 2) проблемно-ориентированные правила, , 3) универсальный рецепт (правила вывода, которые описывают регламент применения проблемно-ориентированных правил), 4) правила остановки. 2.4.1. Структура состояния рабочей среды Каждое состояние рабочей среды Wj есть множество кортежей отношений трех типов: 1) отношений, описывающих сам исполняемый план, а именно: Шагипроекта (Project-steps), Продукты (Products), Ограничения (Constraints), Назначения (Assignments), Предыдущий (Previous), Используемые-средства (Used-tools), Иснользуемые-методы (Usedmethods), Starting-step (Начальны й-шаг}, описанных в разделе 2.3.2.3; значения этих отношений не меняются в процессе исполнения плана, и в каждом состоянии W; они одинаковы; 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; |