Правила валидации прохождения шагов варианта использования на основе трёхзначной логики

Аннотация

Предлагается использовать аппарат трёхзначной логики для валидации прохождения шагов варианта использования. Предполагается, что между вариантом использования и реализацией программы имеется однозначное соответствие, и правила валидации являются частью функциональных требований к системе. Значение предиката валидации соответствует одному из трёх случаев: (1) шаг завершён корректно, (2) возникла ошибка при выполнении шага, приводящая к альтернативному пути, (3) неопределённость, которая требует принятия решения актантом для продолжения выполнения текущего пути или перехода к альтернативному пути. В каждом исходном атомарном факте, являющимся параметром предиката валидации, логическое значение сопровождается заключением на естественном языке. При выполнении операций над логическими значениями, выполняется также обработка текстовых заключений в соответствии с предлагаемыми в работе правилами. В результате формируется итоговое объяснение логического значения предиката в понятной для актанта форме на естественном языке.