Чувства на третьем месте
Выявление предпосылок нового подхода начинается с анализа характерных проблем.
На пути к цифровой регуляторике
Точность затрагивает требования и процедуры, противоречие возникает при описании сложных проектов и процессов.
- Недостаток детализации в критериях и требованиях, указывающих только конечный результат.
- Неполный учёт зависимых компонентов при многоуровневой архитектуре.
- Преобладание категоричных оценок, отличающихся от логической или количественной обработки.
Назначать подходы и инструменты, применяемые для оценивания проблем, требует описания их сути и принципов действия.
Как проверить требование на цифровую устойчивость?
Оценивание начинается с первичного описания.
Построение цифровых систем с учётом возможностей и ограничений вызывает задействование моделей, используемых для описания состояния и взаимосвязей.
Внедрение цифровой устойчивости через универсальный взгляд на компоненты и связи позволяет сравнить проект с образцом.
Правильный инструмент оценивает математическими и логическими методами
Описание проблемы связано с анализом данных.
Определение точности и ошибок при проектировании систем приводит к представлению фактов и условий через графы и матрицы.
Разделение ответственности в организации при реализации регуляторики способствует применимости универсальных моделей.
Выявление пробелов и недостатков через предварительное моделирование создаёт условия для разработки шаблонных процедур.
Цифровые модели как основа аналитики
Основные подходы, применяемые в новой практике, отличаются от описания требований.
От простого к сложному — зависимости и ограничения
Простые системы можно представлять через простые форматы.
Представление детализации через связи и зависимости компонентов позволяет анализировать их как граф.
Пример: компонент приложения в логической модели.
- Связь с другими компонентами и ресурсами через API.
- Связь с пользователем через интерфейс.
- Связь с сервисами и сетью через точки входа и выхода.
[КОД: представление простой системы как графа в формате JSON]
Как графические модели помогают уточнить требования?
Оценка уровня детализации начинается с сопоставления требований и архитектуры.
Преимущества графических моделей.
- Фиксация всех элементов и их взаимосвязей в едином формате.
- Естественное выделение пробелов и избыточных компонентов.
- Формирование условий для автоматической проверки требований через сопоставление моделей.
Предварительная проверка уровня детализации осуществляется за счет использования формальных представлений.
Графические модели в регуляторике
Сопоставление требований и моделей происходит при анализе графов и матриц.
Разбивка графов на отдельные компоненты позволяет построить матрицу соответствия.
Матрицы соответствия и стратегии разложения
Комплексные требования имеют иерархию.
Какие стратегии разложения работают в регуляторике?
Новая аналитика отличается от описания требований.
Структурирование требований выполняется через разделение их по уровням.
| Уровень | Содержание | Пример |
|---|---|---|
| Первый | Общее направление работы | Безопасность информации |
| Второй | Специфические меры и подходы | Регулярная проверка каналов передачи |
| Третий | Конкретные процедуры и технические действия | Анализ сетевого трафика по заданному интерфейсу |
Сопоставление компонентов модели и требований позволяет отслеживать соответствие на каждом уровне.
Матрицы соответствия — переход от описания к проверке
Представление соответствия начинается с сопоставления требований и компонентов.
Применение матриц позволяет сравнить требования и компоненты в формате таблицы.
Преимущества формализации.
- Чёткость соответствия между требованиями и компонентами.
- Выявление пробелов и избыточных элементов.
- Адаптация для автоматической проверки через сопоставление моделей.
Проверка детализации через матрицы
Матрица, построенная по компонентам и требованиям, показывает уровень детализации.
При анализе матрицы учитывают факторы.
- Требования второго и третьего уровня должны соответствовать компонентам.
- Пробелы в соответствии указывают на недостаток детализации.
- Избыточные компоненты сигнализируют о неоптимальной реализации.
Оценка через преобразование требований
Самый высокий уровень детализации достигается через последовательное преобразование требований.
Преобразование требований от общего к конкретному
Переход от описания к конкретным процедурам выполняется через последовательное разложение.
Для проверки детализации используют сопоставление требований и процедур в матрицах.
Пример преобразования: требование к безопасной передаче.
- На первом уровне: безопасность информации при передаче.
- На втором уровне: регулярная проверка каналов передачи.
- На третьем уровне: анализ трафика по заданному интерфейсу и проверка протокола.
[КОД: представление преобразования требований в формате структурированного списка]
Проверка детализации на конкретном примере
Модель приложения показывает детализация и пробелы.
Применение процедур преобразования позволяет выявить пробелы и недостатки.
Применение цифровой модели для проверки требований
Цифровые модели применяются для оценки детализации требований.
Сопоставление требований и компонентов в формальном представлении показывает пробелы и избыточность.
Выявление пробелов через сопоставление компонентов и процедур позволяет разработать новые процедуры.
Чувства остаются на третьем месте
Факты от чувств отделяются через формализацию.
Точность требований достигается при применении формальных моделей.
Пробелы и недостатки выявляются через сопоставление требований и компонентов.
Оценка детализации завершается, когда все процедуры описаны и сопоставлены с компонентами.