|
83 step (* ссылка на шаг проекта, на котором планируется использовать данный метод *) ) 3.1.2.3.8 Starting-step (* начальный шаг запланированного проекта *) (step (* ссылка на шаг, являющийся первым шагом выполнения проекта *)) 3.1.2.3.9 Previous (stepl, step2) (^запланированная очередность запуска шагов проекта *) (* выполнение шага step2 предшествует выполнению шага stepl *) • Это отношение, по сути, соответствует отношению строгого порядка на запланированных датах начала выполнения шагов проекта. Его значение определяется следующим образом: V stepl, step2 (Previous (stepl, step2) <-> Project-steps (stepl, _, _, _, _, _, starting-date 1, _, _) & Project-steps (step2, _, _, _, _, _, starting-date2, _, _) & starting-date 1 < starting-date2 ) ) Здесь и далее символ в отношении означает вхождение анонимной свободной переменной. 3.2 Динамическая модель плана проекта разработки программной системы Целью этого раздела является формальное специфицирование реляционной динамической модели плана программного проекта. Эта модель описывает процесс исполнения статической модели плана проекта (см. раздел 3.1) при заданных значениях параметров. Она предназначена для исследования динамических характеристик плана программного проекта без реального выполнения этого плана [66, 67]. Модель процесса исполнения плана программного проекта ниже описана в форме проблемно-ориентированного исчисления, которое включает в себя четыре составляющие [19, 24]: 1) структуру множества состояний рабочей среды, 2) проблемно-ориентированные правила, |
58 f* описание методов, планируемых для использования при выполнении шагов проекта *) Used-methods (method-name, (* ссылка на идентификатор метода *) step (* ссылка на шаг проекта, на котором планируется использовать данный метод *) ) (* начальный шаг запланированного проекта *) Starting-step (step (* ссылка на шаг, являющийся первым шагом выполнения проекта *)) ^запланированная очередность запуска шагов проекта *) Previous (stepl, step2) (* выполнение шага step2 предшествует выполнению шага stepl *). Примечание 1. Это отношение, по сути, соответствует отношению строгого порядка на запланированных датах начала выполнения шагов проекта. Его значение определяется следующим образом: j V stepl, step2 J (Previous (stepl, step2) <-> ! Project-steps (step 1, _, _, _, _, _, starting-date 1, _, _) & ; Project-steps (step2, _, _, _, _, starting-date2, starting-date 1 < starting-date2 )) Примечание 2. Здесь и далее символ в отношении означает вхождение анонимной свободной переменной, т.е. переменной, значение которой в данном контексте не влияет на результат. 2.3.2.4. Принятые соглашения и ограничения реляционной модели 1. В плане всегда есть начальная задача (шаг), и она единственна. 2. Для начального шага всегда доступны все входные продукты и нет дополнительных ограничений, определяемых отношением Constraints. 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; они одинаковы; |