• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Автоматическое построение распределенных систем компонентов по моделям вложенных сетей Петри

Программирование. 2016. № 5. С. 49-67.

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