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

58 оперативной интеграции и верификации частных результатов.
Данные процедуры являются организационными и заключаются в назначении ответственных за ведение
списка аналитиков (аналитика), а также в регламентации процедуры внесения изменений по заявкам параллельно работающих аналитиков, основанной на принципах публичной защиты.
Формирование
Списка Сущностей является самостоятельным шагом в предлагаемой методитке.
Данный шаг выполняется после построения функциональной модели «как надо» и до построения
логической модели данных, т.к.
для его выполнения требуется сформированный
Список Требований.
Наполнение Списка Сущностей производится в процессе параллельной работы аналитиков, которые выполняют атрибутный анализ ТР (элементов Списка Требований), выявляя в них информационные сущности.
При этом не производится полной формализации атрибутного состава каждой сущности, а формулируется только первичный ключ.
Принципы выявления и нормализации информационных сущностей на основе атрибутного анализа первичной информации подробно описаны в литературе по методам структурного анализа и реляционного моделирования
[18, 20, 25, 63] и не являются предметом рассмотрения данной работы.
Предложен новый метод верификации состава информационных объектов модели предметной области основанный на признаках, которые позволяют формализовать контроль полноты состава информационных объектов в модели предметной области после их выявления на основе результатов функционального моделирования.
1.
Каждое требование предметной области, присутствующее в функциональной модели, должно входить в состав Списка Требований.
2.
Каждый элемент Списка Требований должен присутствовать в функциональной модели хотя бы на одном потоке данных.
3.
Каждому элементу Списка Требований должен соответствовать хотя бы один элемент Списка Сущностей.
4.
Каждый элемент Списка Сущностей должен иметь в качестве источника хотя бы один элемент Списка Требований.
Первый и второй признаки являются условиями соответствия Списка Требований функциональной модели и позволяют проверить корректность состава списка Требований.
Несоблюдение этих условий говорит о некорректном составе списка требований.
[стр. 54]

54 производится в процессе процедур оперативной интеграции и верификации частных результатов.
Данные процедуры являются организационными и заключаются в назначении ответственных за ведение
глоссария аналитиков (аналитика), а также в регламентации процедуры внесения изменений по заявкам параллельно работающих аналитиков, основанной на принципах публичной защиты.
Формирование
Глоссария Сущностей является самостоятельным шагом в предлагаемой Технологии.
Данный шаг выполняется после построения функциональной модели «как надо» и до построения
концептуальной модели данных, т.к.
для его выполнения требуется сформированный
Глоссарий Документов.
Наполнение Глоссария Сущностей производится в процессе параллельной работы аналитиков, которые выполняют атрибутный анализ ДПО (элементов Глоссария Документов), выявляя в них информационные сущности.
При этом не производится полной формализации атрибутного состава каждой сущности, а формулируется только первичный ключ.
Принципы выявления и нормализации информационных сущностей на основе атрибутного анализа первичной информации подробно описаны в литературе по методам структурного анализа и реляционного моделирования
[33, 44, 50] и не являются предметом рассмотрения данной работы.
Для верификации состава информационных объектов модели предметной области предложены новые критерии, которые позволяют формализовать контроль полноты состава информационных объектов в модели предметной области после их выявления на основе результатов функционального моделирования.
Критерий 1.
Каждый документ предметной области, присутствующий в функциональной модели, должен входить в состав Глоссария Документов.
Критерий 2.
Каждый элемент Глоссария Документов должен присутствовать в функциональной модели хотя бы на одном потоке данных.

[Back]