<На страницу назад | На страницу вперед>
4.6.2 Типы валидации
Валидация - это процесс проверки с целью обеспечения синтаксической
и семантической корректности созданного описания процессов IDEF3. Из этого
определения можно понять, что существует два вида валидации: синтаксическая
и семантическая. Синтаксическая валидация заключается в проверке
выполнения грамматических правил языка IDEF3 в построенной схематике IDEF3.
Семантическая валидация заключается в проверке точной фиксации утверждений
специалиста по предметной области в высказываниях, сделанных в описании
IDEF3.
Метод IDEF3 обеспечивает для пользователя свободу действий в сфере структурирования описаний; синтаксис данного языка накладывает небольшое количество ограничений на возможные компоновки схематик. Эти ограничения или правила создают такой режим, когда синтаксис и семантика обеспечивают фиксацию намерений пользователя. Кроме того, при этих проверках в процессе валидации делается попытка привести потенциальных пользователей языка к единому стандарту, что расширяет возможность применения данного метода как средства коммуникации, свободного от двусмысленности.