Проверяемый текст
Тудер, Илья Юрьевич. Коллективное моделирование предметной области большой размерности (Диссертация 2002)
[стр. 25]

26 различной степени подходы и приемы для снижения рисков, связанных с невыполнением данного требования.
Важнейшим элементом таких приемов является поиск базового источника (источников) информации о предметной области, гарантирующего полное ее покрытие.
Например, один из приемов предлагает формально анализировать существительные и глаголы в технологических нормативных документах
[32].
Однако, как правило, на предприятии не существует единого функционально полного комплекта нормативных документов, которые можно было бы проанализировать таким образом.

Свойство логической целостности означает отсутствие противоречий в системе понятий и их интерпретации, единство синтаксического и семантического содержания различных элементов модели, однородность уровня детализации и т.д.
Логическая целостность результатов анализа определяет логическую целостность всего проекта.
Традиционным способом обеспечения логической целостности являются
списки и процедуры их ведения, позволяющие накапливать используемые понятия (термины, объекты и т.д.) и своевременно разрешать противоречия в их интерпретации [1].
Кроме того, для крупных корпоративных программных систем типичным подходом является выявление базовых (наиболее значимых) элементов, которые проектируются и реализуются в первоочередном порядке и предоставляются для параллельно-последовательной разработки других элементов системы в качестве предопределенного ядра, обязательного к использованию, что позволяет обеспечить логическую целостность результатов проекта.
Высокая сложность объектов автоматизации и требования по минимизации времени разработки в условиях конкуренции определяют коллективный характер работ, начиная с обследования и моделирования предметной области.
Для
обеспечения логической целостности результатов коллективной работы необходимо, чтобы все исполнители выполняли однотипные операции, используя единые методы (методики), критерии, инструменты [15].
Коллективный характер работы предъявляет повышенные требования к уровню формализации используемых методов и критериев, поскольку уровень квалификации и опыт отдельных аналитиков, работающих в коллективе, в общем случае, сильно отличается.
[стр. 15]

15 • достаточная степень подробности результатов для планирования проекта и проектирования архитектуры системы; • функциональная полнота; • логическая целостность.
Свойство функциональной полноты означает, что в модели предметной области должны быть отражены все функциональные и информационные элементы, а также их связи, имеющие место в обследуемой предметной области.
Выполнение данного требования на этапе моделирования предметной области определяет функциональную полноту результатов всего проекта.
На сегодняшний день не существует формальных методов, позволяющих гарантировать достижения данного свойства или формальных методов верификации, позволяющих строго его проверить.
Однако существующие методы предлагают формализованные в различной степени подходы и приемы для снижения рисков, связанных с невыполнением данного требования.
Важнейшим элементом таких приемов является поиск базового источника (источников) информации о предметной области, гарантирующего полное ее покрытие.
Например, один из приемов предлагает формально анализировать существительные и глаголы в технологических нормативных документах
[63].
Однако, как правило, на предприятии не существует единого функционально полного комплекта нормативных документов, которые можно было бы проанализировать таким образом.

Более удобный и хорошо зарекомендовавший себя на практике подход заключается в выборе, в качестве начального источника информации для построения модели «как есть», документов, регламентирующих организационную структуру предприятия (или его части), каковыми являются: устав организации, штатное расписание, положения об управлениях (отделах, секторах), должностные инструкции.
Такой подход позволяет:

[стр.,16]

16 • выполнять начальную декомпозицию модели «как есть» в соответствии с областью ответственности и компетентности руководителей и экспертов предметной области, которые являются сотрудниками каких-либо элементов организационной структуры; • верифицировать начальное состояние модели по гарантированно полному набору документов, что, в свою очередь, позволяет обеспечить функциональную полноту модели «как есть», на основе которой будет строиться и верифицироваться модель «как надо».
Свойство логической целостности означает отсутствие противоречий в системе понятий и их интерпретации, единство синтаксического и семантического содержания различных элементов модели, однородность уровня детализации и т.д.
Логическая целостность результатов анализа определяет логическую целостность всего проекта.
Традиционным способом обеспечения логической целостности являются
глоссарии и процедуры их ведения, позволяющие накапливать используемые понятия (термины, объекты и т.д.) и своевременно разрешать противоречия в их интерпретации [3].
Кроме того, в условиях большой размерности проекта типичным подходом является выявление общесистемных (наиболее значимых) элементов, количество которых существенно меньше общего количества элементов, что позволяет снизить совокупную сложность одновременно анализируемых и проектируемых объектов.
В дальнейшем общесистемные элементы проектируются и реализуются в первоочередном порядке и предоставляются для параллельно-последовательной разработки других элементов системы в качестве предопределенного ядра, обязательного к использованию, что позволяет обеспечить логическую целостность результатов проекта.
Модель предметной области имеет две основные составляющие – функциональную и информационную, элементами которых являются процессы и структуры данных соответственно.
По порядку построения моделей

[стр.,18]

18 логическую целостность менее стабильных и более многочисленных функциональных элементов.
Кроме того, приоритет и большая стабильность информационных объектов по сравнению с процессами нашел отражение в работах Дж.Мартина [30], Дж.Хаббарда [51], Е.З.Зиндера [17, 18].
Высокая сложность объектов автоматизации и требования по минимизации времени разработки в условиях конкуренции определяют коллективный характер работ, начиная с обследования и моделирования предметной области.
Для
получения результатов моделирования, обладающих указанными выше свойствами, в условиях большой размерности предметной области и коллективной работы аналитиков, необходимо сформулировать требования к технологии коллективного моделирования.
Общая схема коллективной работы показана на рисунке 3.
Однотипные операции одновременно выполняются разными исполнителями.
При этом необходим единый результат, для чего реализуются специальные процедуры верификации и интеграции частных результатов.
Для обеспечения логической целостности результатов коллективной работы необходимо, чтобы все исполнители выполняли однотипные операции, используя единые методы (методики), критерии, инструменты [38].
Коллективный характер работы предъявляет повышенные требования к уровню формализации используемых методов и критериев, поскольку уровень квалификации и опыт отдельных аналитиков, работающих в коллективе, в общем случае, сильно отличается,
а качество единого результата зависит от его частных составляющих.

[Back]