ГОСТР 53195.5—2010
Б.2.3.3 Метод сетей Петри
П р и м е ч а н и е — На этот метод/средстводана ссылка в ГОСТ Р 53195.4 (таблицы Б.5 и Б.7).
Цель: моделирование соответствующих аспектов поведения системы, оценка и, возможно, повышение ее
безопасности и рабочих характеристик путем анализа и повторного проектирования.
Описание: сети Петри относятся к классу теоретических графовых моделей, используемых для представле
ния информации и управления потоками в системах, процессы в которых конкурентны и асинхронны.
Сеть Петри — это сеть позиций и переходов. Позиции могут быть «маркированными» или «немаркирован
ными». Переход «активизирован», когда все его входы маркированы. В активизированном состоянии позиции
разрешается (но не требуется) быть «возбужденной». Если позиция «возбуждена», вход, поступающий на пере
ход. становится немаркированным, а вместо этого каждый выход из перехода оказывается маркированным.
Потенциальные опасности могут быть представлены в виде конкретных состояний (маркировок) в модели.
Модель сетей Петри может быть расширена для обеспечения возможности синхронизации системы. И хотя
«классические» сети Петри концентрируются на аспектах управления потоками, имеются некоторые расшире
ния для включения потока данных в модель.
Подробное описание сетей Петри приведено в [60—65].
Б.2.4 Автоматизированные средства разработки спецификации
П р и м е ч а н и е — На этот метод/средство дана ссылка в ГОСТ Р 53195.3 (таблицы Б.1 и Б.6) и
в ГОСТ Р 53195.4 (таблицы А.1 иА.2).
Б.2.4.1 Общие положения
Цель: использование формальных методов/средств разработки спецификации для упрощения автомати
ческого обнаружения неоднозначностей и полноты системы.
Описание: метод/средство предусматривает создание спецификации в форме базы данных, которая может
автоматически анализироваться для оценки согласованности и полноты. Инструмент созданной таким образом
спецификации предоставляет пользователю возможность применить анимацию различных аспектов специфи
цированной системы. В общем случае метод/средство поддерживает не только создание спецификаций, но и
этап проектирования, а также и другие этапы жизненного цикла. Инструменты спецификаций могут быть класси
фицированы в соответствии с пунктами, приведенными ниже.
Подробное описание этих методов/средств приведено в [57—59].
Б.2.4.2 Инструменты, не ориентированные на конкретный метод
Цель: предоставление пользователю с помощью подсказок и формирования связей между соответствую
щими частями возможности составления правильной спецификации.
Описание: инструменты, не ориентированные на конкретный метод, освобождают пользователя от рутин
ной процедуры и поддерживают управление проектом. Они не формируют какую-либо конкретную методологию
разработки спецификаций. Относительная независимость от метода позволяет пользователям быть более сво
бодными и одновременно дает им некоторую специализированную поддержку, необходимую при создании спе
цификаций. При этом усложняется освоение метода.
Подробное описание этих методов/средств приведено в [57—59].
Б.2.4.3 Процедура, ориентированная на модель с иерархическим анализом
Цель: предоставление пользователю возможности создания правильной спецификации, обеспечив согла
сованность между описаниями действий и данных на различных уровнях абстрагирования.
Описание: метод/средство дает функциональное представление о необходимой системе (структурный ана
лиз) на различных уровнях абстрагирования (степень точности). Анализ проводится на различных уровнях как с
действиями, так и с данными. Оценка неоднозначности и полноты спецификации возможна между иерархичес
кими уровнями, а также между двумя функциональными единицами (модулями) на одном и том же уровне.
Подробное описание метода/средства приведено в [57—59].
Б.2.4.4 Сущностные модели
Цель: предоставление пользователю возможности создания правильной спецификации, фокусируя вни
мание на использовании сущностей внутри системы и взаимоотношений между ними.
Описание: заданная система описывается в виде совокупности обьектов и взаимоотношений между ними.
Применение сущностных моделей позволяет определять, какие взаимоотношения могут интерпретироваться
системой. В общем случае эти взаимоотношения позволяют описывать иерархическую структуру объектов, поток
данных, взаимоотношения между данными и определять, какие данные являются предметом определенных
технологических процессов. Классическая процедура расширяется применением управления процессами. Воз
можности обследования спецификации и поддержка пользователя зависят от разнообразия проиллюстриро
ванных взаимоотношений. С другой стороны, множество представленных возможностей делает применение
этого метода сложным.
Подробное описание метода/средства приведено в [66—68].
Б.2.4.5 Стимул и отклик
Цель: предоставление пользователю возможности создания правильной спецификации путем идентифи
кации взаимоотношений «стимул — отклик».
25