|
59 Первый признак используется, как в процессе оперативной верификации частных результатов функционального моделирования, так и в процессе контроля интегрированных результатов. Второй признак предназначен для контроля отсутствия неиспользуемых элементов в Списке Требований. Логика построения функциональной модели и ведения списков, независимо от применения предлагаемой методике, подразумевает ввод в список только тех элементов, которые применяются в модели. Данный признак используется, как в процессе оперативной верификации частных результатов функционального моделирования, так и при контроле окончательных интегрированных результатов. Третий признак является условием полноты охвата понятийной базы предметной области, т.к. сущности выявляются посредством атрибутного анализа документов, и все элементы списка требований должны быть охвачены таким анализом. Частным случаем является взаимно однозначное соответствие одного элемента Списка Требований одному элементу Списка Сущностей. Соответствие данному признаку говорит о том, что ни один документ или требование не было пропущено в процессе атрибутного анализа требований. Однако, данный критерий не гарантирует корректность выявления и формализации сущностей. Критерий применяется в процессе верификации окончательных интегрированных результатов моделирования, в состав которых входят оба единых списка. Четвертый признак предназначен для выявления "лишних" элементов списка сущностей, возникновение которых возможно из-за итерационного характера работ и корректировки результатов предыдущих шагов. Корректным источником появления сущностей являются только элементы Списка Требований. Признак 4 применяется в процессе верификации окончательных интегрированных результатов моделирования. Контроль выполнения указанных признаков может быть автоматизирован в случае использования инструментальных средств для функционального моделирования и ведения списков, поскольку атрибуты списков содержат перекрестные ссылки на элементы друг друга. Представленные признаки являются необходимыми, но не являются достаточными, т.к. семантическая корректность выявления сущностей на основе документов и требований не может быть формально проверена. Предложенные признаки являются формальными, что позволяет |
55 Критерий 3. Каждому элементу Глоссария Документов должен соответствовать хотя бы один элемент Глоссария Сущностей. Критерий 4. Каждый элемент Глоссария Сущностей должен иметь в качестве источника хотя бы один элемент Глоссария Документов. Первый и второй критерии являются критериями соответствия Глоссария Документов функциональной модели и позволяют проверить корректность состава глоссария документов. Несоблюдение этих критериев говорит о некорректном составе глоссария документов. Первый критерий используется, как в процессе оперативной верификации частных результатов функционального моделирования, так и в процессе контроля интегрированных результатов. Контроль выполнения данного критерия может быть автоматизирован в случае использования инструментальных средств для функционального моделирования и ведения глоссариев. Второй критерий предназначен для контроля отсутствия неиспользуемых элементов в Глоссарии Документов. Логика построения функциональной модели и ведения глоссариев, независимо от применения предлагаемой Технологии, подразумевает ввод в глоссарий только тех элементов, которые применяются в модели. Данный критерий используется, как в процессе оперативной верификации частных результатов функционального моделирования, так и при контроле окончательных интегрированных результатов. Данный критерий может быть автоматизирован в случае использования инструментальных средств для функционального моделирования и ведения глоссариев. Третий критерий является критерием полноты охвата понятийной базы предметной области, т.к. сущности выявляются посредством атрибутного анализа документов, и все элементы глоссария документов должны быть охвачены таким анализом. Частным случаем является взаимно однозначное 56 соответствие одного элемента Глоссария Документов одному элементу Глоссария Сущностей. Соответствие данному критерию говорит о том, что ни один документ не был пропущен в процессе атрибутного анализа документов. Однако, данный критерий не гарантирует корректность выявления и формализации сущностей. Критерий применяется в процессе верификации окончательных интегрированных результатов моделирования, в состав которых входят оба единых глоссария. Данный критерий может быть автоматизирован в случае использования инструментальных средств для функционального моделирования и ведения глоссариев, поскольку атрибуты глоссариев содержат перекрестные ссылки на элементы друг друга. Четвертый критерий предназначен для выявления “лишних” элементов глоссария сущностей, возникновение которых возможно из-за итерационного характера работ и корректировки результатов предыдущих шагов. Корректным источником появления сущностей являются только элементы Глоссария Документов. Критерий 4 применяется в процессе верификации окончательных интегрированных результатов моделирования. Данный критерий может быть автоматизирован в случае использования инструментальных средств для функционального моделирования и ведения глоссариев, поскольку атрибуты глоссариев содержат перекрестные ссылки на элементы друг друга. Представленные критерии являются необходимыми, но не являются достаточными, т.к. семантическая корректность выявления сущностей на основе документов не может быть формально проверена. Предложенные критерии являются формальными, что позволяет автоматизировать проверку их соблюдения в средствах автоматизации процесса моделирования. Таким образом, предложенные критерии, основанные на введенных выше глоссариях, позволяют формализовать контроль полноты состава информационных сущностей предметной области и, тем самым, решить вторую задачу диссертационной работы. |