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

6
Для
нить пят
Шаг
диаграмм
Шаг
отражающ
при его с
Шаг
следоват
Шаг
преобраз
Для прео
необходи
Шаг
зываются
На о
ется выв
наружен
Петри и
Одни
мости [1
вершина
шины ис
кий путь
преобразов
ь шагов [3]
1. С испо
а классов
2. Для каж
ая послед
оздании, уд
3. Взаимо
ельности (
4. Каждая
уется в ст
бразовани
мо обозна
5. Все пол
в единую
Рис. 4.
сновании п
од о прави
ия ошибок
UML-диаг
м из мето
], являюще
представл
ходят дуги
в дереве,
И.В. Руд
ания диаг
.
льзование
(class diagr
дого класса
овательнос
алении и вы
действие
sequence d
диаграмм
раницу рас
я диаграмм
чить прави
ученные с
сеть на осн
Соответств
констру
роведения
льности фу
и неточно
рамм.
дов анализ
е собой м
яет первон
, соответс
начинающ
аков, А.В. Па
рамм в се
м результ
am).
системы с
ти состоян
зове его м
классов фи
iagram).
а состояни
крашенно
состояни
ла перево
траницы и
овании ди
ие элемент
кциям сети
анализа
нкционир
стей прои
а сети Пет
ножество д
ачальную
твующие р
ийся в кор
щенкова
ть Петри н
атов этапа
оздается ди
ий, в кото
етодов (sta
ксируется
й с помощ
й иерархи
й и активн
да (рис. 4).
ерархическ
аграммы п
ов UML-ди
Петри
полученно
ования мо
зводится к
ри являет
остижимо
маркиров
азрешенны
не, соответ
еобходим
анализа с
аграмма со
рые попад
techart diagr
на диагра
ью набор
ческой сет
остей в се
ой сети П
оследовате
аграмм
й сети Пет
дели, а в сл
орректиро
ся дерево д
сти сети. К
ку. Из каж
м переход
ствует доп
о выпол-
оздается
стояний,
ает класс
am).
мме по-
а правил
и Петри.
ть Петри
етри свя-
льности.
ри дела-
учае об-
вка сети
остижи-
орневая
дой вер-
ам. Вся-
устимой