Иерархический метод анализа функционирования программного обеспечения на основе сети Петри - page 5

Иер
Мето
ри. На ри
ния про
сетью Пе
пр
Проц
рывно св
ный язы
кам форм
всего ли
может за
хорошо с
которые,
выявлены
ких оши
ектируем
позволяе
ошибки н
архический ме
Рис. 2. Иер
д формал
с. 3 показ
граммного
три.
Рис. 3. Ф
ограммног
есс проек
язан с UM
к моделиро
улировать
шь систем
щитить от
планирова
тем не ме
уже в пр
бок может
ой систем
т разрабо
а ранних
тод анализа ф
архическая
изации пр
ана функц
обеспече
ункционал
о обеспечен
тирования
L (Unified
вания) —
мысли и
а обозначе
ошибок п
нное тести
нее, в дос
оцессе экс
быть весь
ы сетью П
тчикам эф
стадиях [2]
ункциониров
структура
ограммно
иональная
ния, форм
ьная диагра
ия, формал
сложных
Modeling
стандарто
общаться м
ний, основ
роектиров
рование п
таточно сл
плуатации
ма сущест
етри благо
фективно
.
ания программ
программно
го обеспеч
диаграмма
ализованн
мма метода
изованного
программ
Language
м, позволя
ежду собо
анная на
ания. Скру
озволяют и
ожных си
. Стоимос
венной. М
даря разви
обнаружи
ного обеспече
й системы
ения сетя
метода ис
ого иерарх
анализа
сетью Петр
ных систе
— унифи
ющим раз
й. Однако
диаграмма
пулезный
сключить
стемах мо
ть исправл
оделирова
тым инстр
вать и ис
ния
5
ми Пет-
следова-
ической
и
м нераз-
цирован-
работчи-
UML —
х, она не
анализ и
ошибки,
гут быть
ения та-
ние про-
ументам
правлять