Объектом исследования являются мультиагентная система, рассматриваемая как композиция агентов, взаимодействующих асинхронно и параллельно и связанных каналами передачи данных. Рассматриваются модели поведения и логической структуры взаимодействия агентов в мультиагентной
(распределенной) системе логического типа, а также методология использования автоматных языков
(конечных, обобщенных и параллельных автоматов) и языков описания протоколов с «истинным»
параллелизмом (сетей Петри, алгоритмов логического управления) в качестве языков описания протоколов взаимодействия в мультиагентных системах. Проведен сравнительный анализ возможностей этих языков для представления последовательностей состояний диалога, приема и отправки сообщений, а также для описания поведения всей мультиагентной системы как единого целого.