ГОСТР 53195.5—2010
Структурная схема показывает взаимоотношения между программными модулями, не указывая при этом
порядок активизации этих модулей. Структурные диаграммы изображаются с использованием следующих четы
рех символов:
- прямоугольник с именем модуля;
- линия, соединяющая эти прямоугольники, формирующие структуру;
- стрелка, отмеченная кругом (без штриховки), с именем данных, передаваемых в направлении элементов
структурной схемы и обратно (обычно такая стрелка изображается параллельно с линиями, соединяющими
прямоугольники схемы);
- стрелка, отмеченная кругом (заштрихованным), с именем сигнала управления, проходящего вструктурной
схеме от одного модуля к другому, и эта стрелка также изображается параллельно линии, соединяющей два
модуля.
Из любой нетривиальной диаграммы потока данных можно создать множество различных структурных
схем.
Диаграммы потоков данных отображают взаимоотношение между информацией и функциями системы.
Структурные схемы отображают способ реализации элементов системы. Оба метода представляют две действу
ющие. хотя и различные, точки зрения на систему.
Более подробное описание данного метода/средства приведено в [116].
8.2.4 Формальные методы
П р и м е ч а н и е — На этот метод’средство дана ссылка в ГОСТ Р 53195.4 (таблицы А.1. А.2. А.4 и Б.5).
В.2.4.1 Общие положения
Цель: разработка программных средств, основанных на математических принципах. К ним относятся мето
ды формального проектирования и формального кодирования.
Описание: на основе формальных методов разработаны средства описания системы для решения отдель
ных задач на стадиях спецификации, проектирования или реализации. Создаваемое в результате описание
представляет собой строгую нотацию, которая математически анализируется для обнаружения различных видов
несогласованностей или некорректностей. Более того, такое описание может быть в некоторых случаях проана
лизировано автоматически по аналогии с проверкой компилятором синтаксиса исходной программы или
ис пользована анимация для представления различных аспектов поведения описываемой системы.
Анимация способствует повышению уверенности в том. что система соответствует реальным и формально
специфициро ванным требованиям, поскольку она улучшает восприятие человеком специфицированного
поведения системы.
Формальный метод, в основном, предлагает нотацию (в общем случав используется некоторый метод
дискретной математики), метод вывода описания в этой нотации и различные виды анализа описания для про
верки корректности различных типов.
П р и м е ч а н и е — Приведенное выше описание содержится также в Б.2.2.
Ряд формальных методов (CCS. CSP. HOL. LOTOS. OBJ. временная логика. VDM и Z ) описан в следующих
подразделах данного раздела. Другие методы, например метод конечных автоматов (см. Б 2.3.2) и сети Петри
(см. Б.2.3.3), могут также рассматриваться как формальные методы в зависимости от корректности использова
ния методов соответствующего строгого математического аппарата.
Более подробное описание данного метода/средства приведено в [119].
В.2.4.2 CCS — средства расчета взаимодействующих систем
Цель: обеспечение описания и анализа поведения систем, реализующих параллельные коммуникацион
ные процессы.
Описание: CCS — это математический аппарат, описывающий поведение систем. Проект системы модели
руется в виде сети независимых процессов, реализующихся последовательно или параллельно. Процессы могут
взаимодействовать через порты (аналогичные каналам CSP). и коммуникация осуществляется, только когда оба
процесса готовы к этому. Отсутствие детерминизма может быть смоделировано. Начиная с описания всей систе мы
на высоком уровне абстрагирования (известного как трассирование), можно выполнять пошаговое уточнение
системы в рамках композиции коммуникационных процессов, общее поведение которых формирует и поведение
всей системы. В равной степени можно действовать и снизу вверх, комбинируя процессы и получая в результате
необходимые свойства формируемой системы, используя правила вывода композиционного типа.
Более подробное описание данного метода/средства приведено в [120).
В.2.4.3 CSP — коммуникационные последовательные процессы
Цель: предоставление способа спецификации конкурирующих программных систем, то есть систем, про
цессы которых реализуются одновременно.
Описание: CSP предоставляет язык для системных спецификаций процессов и для подтверждения того,
что реализация процессов соответствует их спецификациям (описывается как трасса — допустимая последова
тельность событий).
Система моделируется в виде сети независимых процессов, составленных последовательно или парал
лельно. Каждый процесс описывается в терминах всех его возможных поведений. Процессы могут взаимодей-
43