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