Многоуровневые мультиагентные системы (MAC) с динамической структурой широко используются при решении важных прикладных задач в телекоммуникационных, транспортных, социальных и других системах. Поэтому обеспечение корректности таких систем является актуальной и значимой задачей. Одним из самых уязвимых для ошибок этапов разработки системы в рамках модельно- ориентированного подхода является этап реализации, на котором по разработанной модели строится программный код. В данной работе представлен алгоритм автоматической трансляции моделей MAC в виде вложенных сетей Петри в системы распределенных компонентов. Вложенные сети Петри являются расширением сетей Петри в рамках подхода "сети внутри сетей", когда фишки в сети Петри сами могут являться сетями Петри, обладать автономным поведением и взаимодействовать с другими фишками сети. Это позволяет естественным образом моделировать MAC с динамической структурой. Представленная в работе трансляция сохраняет уровень распределенности и важные поведенческие свойства исходной модели (безопасность, живость, условная живость), а также обеспечивает справедливость исполнения целевой системы. Использование такой трансляции позволяет автоматизировать построение распределенных MAC по моделям вложенных сетей Петри. В качестве апробации трансляция вложенных сетей Петри в системы распределенных компонентов была реализована на основе компонентной технологии EJB.
展开▼
