У меня есть некоторые утверждения на естественном языке, которые я должен преобразовать в формат OCL, я новичок и написал несколько самостоятельно, но не смог преобразовать некоторые операторы продвинутого уровня, я много искал, как this, это и это , но не удалось найти что-то точное или похожее.
операторов, которые я хочу преобразовать:
1. Вывод списка каталогов веб-сервера и обеспечение отсутствия метаданных файлов (например, GIT) и файлов резервных копий в корнях веб-сайтов
2.Просмотр сбоев доступа, оповещение администраторов о повторных сбоях
3. Ограничение API и контроль доступа для минимизации вреда от автоматической атаки
- Блокировать внедрение SQL через параметризацию запроса.
пожалуйста, помогите мне
спасибо