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

70 1.
Предложен новый метод верификации, позволяющие формализовать контроль полноты состава информационных объектов в модели предметной области.
Признаки отличаются тем, что они являются формализованными и используют взаимосвязанные списки информационных объектов двух типов.
2.
Предложен новый метод определения минимального уровня детализации функциональной модели предметной области, отличающийся тем, что он основан на свойствах информационных объектов, представленных на потоках данных нижнего уровня функциональной модели.
Метод обеспечивает необходимый и достаточный уровень детализации функциональной модели.
3.
Разработан новый метод определения базовых сущностей, отличающийся тем, что он является формальным, инвариантным к размеру программной системы, адаптируемым к предметной области и условиям конкретного проекта.
Метод позволяет
объективно выявить подмножество сущностей, оказывающих наибольшее влияние на сцепление бизнес-процессов, и ограничить
сложность информационной модели в процессе ее построения и оценки.
Метод реализован посредством аппарата теории матриц, исходной информацией для которого являются единые списки проекта, сформированные в результате построения и анализа функциональной модели.
Применение метода может быть автоматизировано, а его результаты могут использоваться на последующих этапах проекта для решения различных задач.
[стр. 5]

5 существующие на сегодняшний день методологии и технологии разработки программных систем недостаточно формализуют моделирование предметной области с учетом особенностей коллективной работы.
В современных методах недостаточно формализованных критериев и процедур для обеспечения функциональной полноты и логической целостности результатов коллективной работы, а также отсутствуют формализованные методы выявления интегрирующей основы информационного и программного обеспечения.
Таким образом, налицо два противоречащих друг другу фактора: с одной стороны – рост потребностей в заказных проектах, направленных на комплексную автоматизацию предприятий в условиях большой размерности предметной области и высоких требований к срокам и качеству результатов, с другой стороны – недостаточное развитие методов разработки подобных проектов, обеспечивающих качество и логическую целостность результатов в условиях коллективной работы с самых первых этапов жизненного цикла.
Целью работы является разработка научно обоснованной технологии коллективного моделирования предметной области большой размерности при создании программного обеспечения информационных систем.
Методы исследования.
В теоретических и экспериментальных исследованиях применены аппарат теории матриц и математического анализа, а также элементы комбинаторики.
Научная новизна.
Научную новизну представляют следующие, представленные в диссертации, результаты исследований: • Критерий глубины детализации функциональной модели предметной области, основанный на свойствах информационных объектов, представленных на потоках данных нижнего уровня функциональной модели.
Критерий обеспечивает необходимый и достаточный уровень детализации функциональной модели.
• Критерии верификации, позволяющие формализовать контроль полноты состава информационных объектов в модели предметной области.
Критерии

[стр.,67]

67 процессах, что позволяет решать различные задачи в процессе проектирования архитектуры системы и определения порядка реализации элементов проекта снижая их взаимную зависимость за счет первоочередного проектирования и реализации общих объектов на каждой итерации спирального ЖЦ.
2.5.
Выводы Разработана технология коллективного моделирования предметной области большой размерности, основанная на положениях современных методов анализа и предложенных выше новых результатах, удовлетворяющая требованиям, предъявляемым к промышленным методам моделирования.
Технология решает поставленные в диссертации задачи.
В составе Технологии получены следующие новые результаты: 1.
Предложен новый критерий глубины детализации функциональной модели предметной области (параграф 2.2), отличающийся тем, что он основан на свойствах информационных объектов, представленных на потоках данных нижнего уровня функциональной модели.
Критерий обеспечивает необходимый и достаточный уровень детализации функциональной модели.
2.
Предложены новые критерии верификации (параграф 2.3), позволяющие формализовать контроль полноты состава информационных объектов в модели предметной области.
Критерии отличаются тем, что они являются формализованными и используют взаимосвязанные глоссарии информационных объектов двух типов.
3.
Разработан новый метод выявления общесистемных сущностей (параграф 2.4), отличающийся тем, что он является формальным, не зависящим от размерности, адаптируемым к предметной области и условиям конкретного проекта.
Метод позволяет объективно выявить подмножество сущностей, оказывающих наибольшее влияние на сцепление бизнес-процессов, и ограничить
размерность информационной

[стр.,114]

114 ЗАКЛЮЧЕНИЕ В результате проведенных теоретических и экспериментальных исследований в диссертационной работе получены следующие результаты: 1.
Предложен новый критерий глубины детализации функциональной модели предметной области (параграф 2.2), отличающийся тем, что он основан на свойствах информационных объектов, представленных на потоках данных нижнего уровня функциональной модели.
Критерий обеспечивает необходимый и достаточный уровень детализации функциональной модели для перехода к последующим этапам проекта.
2.
Предложены новые критерии верификации (параграф 2.3), позволяющие формализовать контроль полноты состава информационных объектов в модели предметной области.
Критерии отличаются тем, что они являются формализованными и используют взаимосвязанные глоссарии информационных объектов двух типов.
3.
Разработан новый метод выявления общесистемных сущностей (параграф 2.4), отличающийся тем, что он является формальным, не зависящим от размерности, адаптируемым к предметной области и условиям конкретного проекта.
Метод позволяет
выявить подмножество сущностей, имеющих наибольшие характеристики использования в бизнес-процессах, и ограничить размерность информационной модели в процессе ее построения.
4.
Разработана технология коллективного моделирования предметной области большой размерности (глава 2), основанная на положениях современных методов анализа и предложенных выше новых результатах, удовлетворяющая требованиям, предъявляемым к промышленным методам моделирования.
Технология практически апробирована на ряде проектов в банковской предметной области.
Экспериментально обоснована область ее применения (глава 3).

[Back]