96 Рис. 11. Пример графа, соответствующего виду деятельности 5.3.5 из стандарта ISO/IEC 12207 3.4 Выводы 1. Разработаны реляционные модели компонентов процесса производства ПС (задач, порождаемых ими продукты и используемых ресурсы), их атрибуты и связи между ними, позволяющие построить модель процесса производства ПС на уровне организации и отдельного проекта. Разработанные формальные модели компонентов процесса производства ПС согласуется с такими международными стандартами, как ISO/IEC 12207 [42], ISO/IEC 15504 [43], IEEE/EIA 12207 [45, 46], а также с практикой промышленного программирования, описанной в специальной литературе, и позволяет формально специфицировать план программного проекта. 2. Разработана динамическая модель плана проекта, как формально определенное проблемно-ориентированное исчисление, позволяющее исполнить статическую реляционную модель плана программного проекта и смоделировать процесс выполнения плана. Проблемноориентированное исчисление дает возможность, запустив условные "часы" проекта, моделировать определенные события и атрибуты процесса исполнения проекта, что позволяет приблизить поведение |
103 разным формулам в зависимости от моментов начала (starting-moment) и завершения (finishing-moment) вида деятельности и границ промежутка времени [time-momentl, time-moment2] (см. табл. 2.6). Таблица 2.6 Варианты формул вычисления продолжительности выполнения вида деятельности на заданном промежутке времени Соотношение моментов времени начала и завершения вида деятельности с границами промежутка [time-momentl, time-moment2] Продолжительность выполнения вида деятельности на промежутке [time-momentl, time-moment2] равна: finishing-moment < time-momentl 0 starting-moment < time-momentl & time-momentl < finishing-moment & finishing-moment < time-moment2 finishing-moment time-momentl starting-moment < time-momentl & time-moment2 < finishing-moment time-moment2 time-momentl time-momentl < starting-moment & finishing-moment < time-moment2 finishing-moment starting-moment time-momentl < starting-moment & starting-moment £ time-moment2 & time-moment2 < finishing-moment time-moment2 starting-moment time-moment2 < starting-moment 0 2.8. Выводы к главе 2 1. Разработаны реляционные модели компонентов процесса производства ПО (задач, порождаемых ими продукты и используемых ресурсы), их атрибуты и связи между ними, позволяющие построить модель процесса производства ПО на уровне организации и отдельного проекта. Разработанная формальные модели компонентов процесса производства ПО согласуется с такими международными стандартами, как ISO/IEC 12207 [76], ISO/IEC 15504 [77], IEEE/EIA 12207 [79, 80], а также с практикой 104 промышленного программирования, описанной в специальной литературе, и позволяет формально специфицировать план программного проекта. 2. Разработано формально определенное проблемно-ориентированное исчисление, позволяющее исполнить статическую реляционную модель плана программного проекта и смоделировать процесс выполнения плана. Проблемно-ориентированное исчисление дает возможность, запустив условные "часы" проекта, моделировать определенные события и атрибуты процесса исполнения проекта, что позволяет приблизить поведение модели к поведению реального проекта. Реляционный формат обеспечивает удобство работы с моделью при помощи стандартных систем управления базами данных. 3. Разработаны графовые модели плана программного проекта, позволяющие специфицировать реляционную модель плана программного проекта, визуализировать результаты её исполнения, а также результаты измерения плана проекта. Каждая из графовых моделей j предназначена для визуализации определенных аспектов плана проекта и не эквивалентна полной реляционной модели, которая содержит слишком много атрибутов для их визуального анализа. Были определены такие модели плана проекта, как статический граф, динамический граф и приращение динамического графа. Совокупность предложенных графовых моделей обеспечивает удобное визуальное представление плана проекта как при его специфицировании, так и при оценивании его модельного исполнения. Определение графовых моделей является конструктивным и включает в себя формальные правила их построения по имеющейся реляционной модели. Предложенные реляционная и графовые модели используются также при формальном определении метрик и дефектов плана программного проекта, позволяющих специфицировать критерии сравнительного оценивания различных вариантов плана программного проекта, а также при определении формальных правил прослеживания плана программного проекта (см. Главу 3). 155 Заключение Основные результаты работы заключаются в следующем: 1. Разработана реляционная модель, определяющая компоненты процесса производства ПО (процессы, виды деятельности, задачи, порождаемые ими продукты и используемые ресурсы), их атрибуты и связи между ними, а также ограничения конкретных программных проектов. Эта обобщённая модель позволяет построить модель процесса производства ПО в конкретной организации, которая в дальнейшем будет использоваться для создания формальных моделей планов проектов по разработке ПО. 2. Разработано формально определенное проблемно-ориентированное исчисление, позволяющее исполнить статическую реляционную модель плана программного проекта и смоделировать процесс выполнения плана. Исследование динамических свойств планов программных проектов позволяет оценить реалистичность этих планов и выявить их дефекты, которые невозможно обнаружить при анализе статических моделей. 3. Разработаны графовые модели плана программного проекта, позволяющие специфицировать реляционную модель плана программного проекта, визуализировать результаты её исполнения, а также результаты измерения плана проекта. Графовые модели позволяют руководителю проекта не задумываться о тех сложных формальных моделях, которые используются для исследования статических и динамических свойств плана программного проекта. Он видит перед собой удобное графическое представление модели плана и работает именно с графическими элементами. 4. Формально определен набор метрик и дефектов плана программного проекта с использованием его реляционной и графовых моделей, позволяющий специфицировать критерии сравнительного оценивания |