40 нимают атрибуты используемых сущностей [38]. С использованием динамической модели подобного типа можно описать и проанализировать: • механизмы взаимодействия процессов (последовательность, параллелизм, альтернатива); • временные отношения между выполнениями процессов (одновременность, наложение, поглощение, одинаковое время запуска / завершения и т.п.); • абсолютные времена (длительность процесса, время запуска, зависимости от времени выполнения процесса и др.); • управление исключительными ситуациями, определяемое нарушениями. Построенные динамические модели позволяют осуществлять следующие операции: • статический анализ системы (компоненты сети, иерархия сети, соответствие типов); • динамический анализ системы для конкретного маркирования сети; • имитационное моделирование системы с построением графиков движения маркеров относительно позиций сети в системном времени, определяемом моментами срабатывания переходов, и в реальном времени путем задания для переходов задержек времени, отображающих продолжительность реальных операций. Рассмотренные идеи получили серьезное развитие в имитационносхемном подходе к динамическому моделированию [61], в основе которого лежит иерархия моделей (имитационных схем), достоинство которой заключается в возможности исследования динамики работы каждой схемы независимо от других схем. Имитационная схема развивает аппарат сетей Петри и содержит в себе |
DFD) осуществляют автоматическое преобразование функциональных моделей в прообразы сетей Петри, которые затем дорабатываются вручную. Такое преобразование базируется на том, что маркер моделирует порцию потока данных, а позиция накопление и хранение таких порций. Каждая из диаграмм функциональной модели трансформируется в соответствующую компоненту (подсеть) иерархической сети Петри. При этом процессы и потоки DFD-диаграммы (активности и потоки SADT-диаграммы) отображаются, соответственно, переходами и позициями. Хранилища данных и внешние сущности также преобразуются в позиции для каждого входящего/исходящего потока (при этом для внешних сущностей маркируются позиции, соответствующие исходящим из них потокам). На основе информационной модели определяются правила срабатывания переходов в зависимости от значений, которые принимают атрибуты используемых сущностей. С использованием динамической модели подобного типа можно описать и проанализировать [168,169]: • механизмы взаимодействия процессов (последовательность, параллелизм, альтернатива); • временные отношения между выполнениями процессов (одновременность, наложение, поглощение, одинаковое время запуска/завершения и т.п.); • абсолютные времена (длительность процесса, время запуска, зависимости от времени выполнения процесса и др.); • управление исключительными ситуациями, определяемое нарушениями. Построенные динамические модели позволяют осуществлять следующие операции: • статический анализ системы (компоненты сети, иерархия сети, соответствие типов); • динамический анализ системы для конкретного маркирования сети; • имитационное моделирование системы с построением графиков движения маркеров относительно позиций сети в системном времени, 50 определяемом моментами срабатывания переходов, и в реальном времени путем задания для переходов задержек времени, отображающих продолжительность реальных операций. Рассмотренные идеи получили серьезное развитие в работах [186, 187]. Авторы предлагают имитационно-схемный подход к динамическому моделированию, в основе которого лежит иерархия моделей (имитационных схем), достоинство которой заключается в возможности исследования динамики работы каждой схемы независимо от других схем. Имитационная схема развивает аппарат сетей Петри и содержит в себе три взаимоувязанные компоненты, получившие название исполнительной структуры, сценария и режиссера. Исполнительная структура представляет собой графическую модель (процессо-ресурсно-объектный граф програф [187]), описывающую потенциально возможные взаимодействия процессов, объектов и ресурсов. Сценарий работы схемы определяет порядок следования процессов (фактически ограничивая их потенциально возможные последовательности). Назначение режиссера схемы заключается в управлении исполнительной структурой в соответствии со сценарием, оценке ситуации, а также принятии решений по корректировке сценария и/или исполнительной структуры схемы. Разработка модели исполнительной структуры осуществляется в следующей последовательности [187]: • строится каркас модели в виде прографа, вершины которого соответствуют процессам и накопителям, содержащим ресурсы и объекты; • вводятся атрибуты ресурсов и объектов, при этом соответствующие накопители преобразуются в таблицы, строки которых сопоставлены атрибутам, а столбцы экземплярам объектов (значениям ресурсов); • выполняемые процессами преобразования задаются в виде процедур над таблицами. Построенная модель является объектом имитационного эксперимента на временной шкале (шкале тактности). Результаты эксперимента 51 |