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

55 Контроль соответствия модели предметной области исходным требованиям заказчика, как правило, является неформализованным процессом, сильно зависящим от качества и формы представления исходных требований.
Некоторые методологии (например, RUP
[27]) регламентируют форму представления требований, что позволяет частично формализовать данный вид контроля, однако, в общем случае, для него не существует формализованных признаков.
Контроль корректности синтаксиса применяемых нотаций,
как правило, возлагается на инструментальные средства анализа и проектирования (CASEсистемы).
На сегодняшний день CASE-системы поддерживают все распространенные нотации и диаграммные техники, как структурного, так и объектно-ориентированного подходов, и автоматизируют данный вид контроля в соответствии с критериями, сформулированными в поддерживаемых ими методах.

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

Признаки семантической корректности, в общем случае, не сформулированы, в результате чего данный вид контроля не может быть полностью формализован и опирается, в первую очередь, на оценки экспертов предметной области.
Контроль функциональной полноты модели предметной области
заключается в проверке полноты представления в модели функциональной и информационной составляющих предметной области.
Данный вид контроля может быть выполнен при следующих условиях:
Декомпозиция функциональной модели «как есть» производилась в соответствии с формально проверяемым признаком.
■ Например, формально проверяемым признаком является соответствие процессов функциональной модели функциям элементов организационной структуры предприятия.
[стр. 49]

49 2.3.
Верификация модели предметной области Стандарты, описывающие процесс разработки программных систем [31, 32], предусматривают наличие в нем процедур обеспечения качества, важнейшими из которых являются процедуры верификации, как промежуточных, так и окончательных результатов этапов проекта.
При этом формализация процедур верификации в первую очередь определяется наличием формализованных критериев.
Основными задачами процедур верификации в процессе моделирования предметной области являются: • контроль соответствия модели предметной области требованиям заказчика; • контроль корректности синтаксиса применяемых нотаций;контроль семантической корректности модели предметной области;контроль функциональной полноты модели предметной области; • контроль логической целостности модели предметной области.
Контроль соответствия модели предметной области исходным требованиям заказчика, как правило, является неформализованным процессом, сильно зависящим от качества и формы представления исходных требований.
Некоторые методологии (например, RUP
[65]) регламентируют форму представления требований, что позволяет частично формализовать данный вид контроля, однако, в общем случае, для него не существует формализованных критериев.
Контроль корректности синтаксиса применяемых нотаций, как правило, возлагается на инструментальные средства анализа и проектирования (CASEсистемы).
На сегодняшний день CASE-системы поддерживают все распространенные нотации и диаграммные техники, как структурного, так и объектно-ориентированного подходов, и автоматизируют данный вид контроля в соответствии с критериями, сформулированными в поддерживаемых ими методах.


[стр.,50]

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

[Back]