Непомнящий В.А., Попова Н.С., Чурина Т.Г. "МОДЕЛИРОВАНИЕ СПЕЦИФИКАЦИЙ РАСПРЕДЕЛЕННЫХ СИСТЕМ НА ЯЗЫКЕ Dynamic-REAL СЕТЯМИ ПЕТРИ ВЫСОКОГО УРОВНЯ"

МОДЕЛИРОВАНИЕ СПЕЦИФИКАЦИЙ РАСПРЕДЕЛЕННЫХ СИСТЕМ НА ЯЗЫКЕ Dynamic-REAL СЕТЯМИ ПЕТРИ ВЫСОКОГО УРОВНЯ

Рассматриваются спецификации распределенных систем на языке Dynamic-REAL (dREAL) с динамическим порождением и уничтожением экземпляров процессов.
В качестве сетевой модели выбраны модифицированные раскрашенные сети Петри – иерархические временные типизированные сети (ИВТ-сети), в которых используются приоритеты, специальные места, представляющие очереди фишек, и концепция интервального времени. Предложен метод трансляции языка dREAL в ИВТ-сети. На основе этого метода реализован транслятор из языка dREAL в эту сетевую модель.

Ключевые слова: распределенные системы, язык Dynamic-REAL, раскрашенные сети Петри, иерархические временные типизированные сети, метод трансляции.

Modeling Dynamic-REAL Specified Distributed Systems by High Level Petri Nets

We consider distributed systems specified on the language Dynamic-REAL (dREAL) that includes dynamic constructs for generating and removing process instances. Modified coloured Petri nets called hierarchical timed typed nets (HTT-nets) are used as a net model for dREAL- specifications. The nets use priorities, the interval time concept and special places representing queues of tokens. A method for translation from the language dREAL into HTT-nets is described. Based on the method, a translator from the language dREAL into the net model has been implemented.

Keywords: distributed systems, language Dynamic-REAL, coloured Petri nets, hierarchical timed typed nets, translation method.

Страницы 25 - 34

Прикрепленный файлРазмер
03.pdf295.75 кб