Сабжевая задача: есть некоторое множество агентов, обменивающихся сообщениями по некоторому протоколу. Необходимо придумать грамматику для описания возможных последовательностей сообщений (те А послал Б Сообщение1, Б ответил Сообщение2 и тд). Русский язык и тд не предлагать я пока надумал только представление потока сообщений деревом (на xml — нечто похожее на xml-схему — узел сообщение, дочерние узлы — возможные ответы) очень хочу прочесть какие есть ещё подходы к решению задачи (возможно есть какой-то общепринятый язык деклараций протоколов\цепочек сообщений)
ПС Возможно я ошибся форумом, так что прошу ногами больно не пинать.

Кстати, агенты не расслылают многоадресных\широковещательных сообщений, и мой вариант (с деревом) предполагает что взаимодействует только пара агентов (те агентов много но взаимодействуют они только парами)было бы наверное неплохо снять ограничение на парное взаимодействие. Надеюсь доходчиво передал смысл задачи.

Здравствуйте, LeaZzID, Вы писали:

LZI>Сабжевая задача: есть некоторое множество агентов, обменивающихся сообщениями по некоторому протоколу. Необходимо придумать грамматику для описания возможных последовательностей сообщений (те А послал Б Сообщение1, Б ответил Сообщение2 и тд). Русский язык и тд не предлагать

Есть языки для описания протоколов взаимодействия. Эти описания можно потом компилировать и гонять на эмуляторах.

Promela

http://www.spinroot.com/spin/Man/promela.html
http://www.dai-arc.polito.it/dai-arc/manual/tools/jcat/main/node168.html

PROMELA programs consist of processes, message channels, and variables. Processes are global objects that represent the concurrent entities of the distributed system. Message channels and variables can be declared either globally or locally within a process. Processes specify behavior, channels and global variables define the environment in which the processes run.

http://cnx.org/content/m12318/latest/

SPIN is a tool for analyzing the logical consistency of distributed systems, specifically of data communication protocols. The system is described in a modeling language called Promela (Process or Protocol Meta Language). The language allows for the dynamic creation of concurrent processes. Communication via message channels can be defined to be synchronous (i.e., rendez-vous), or asynchronous (i.e., buffered). *Xspin* is a graphical front-end to drive SPIN (written in Tcl/Tk).

Здравствуйте, ch00k, Вы писали:

C>Есть языки для описания протоколов взаимодействия. Эти описания можно потом компилировать и гонять на эмуляторах.

Большое спасибо, ознакомлюсь.

Здравствуйте, LeaZzID, Вы писали:

LZI>Сабжевая задача: есть некоторое множество агентов, обменивающихся сообщениями по некоторому протоколу. Необходимо придумать грамматику для описания возможных последовательностей сообщений (те А послал Б Сообщение1, Б ответил Сообщение2 и тд). Русский язык и тд не предлагать я пока надумал только представление потока сообщений деревом (на xml — нечто похожее на xml-схему — узел сообщение, дочерние узлы — возможные ответы) очень хочу прочесть какие есть ещё подходы к решению задачи (возможно есть какой-то общепринятый язык деклараций протоколов\цепочек сообщений)
LZI>ПС Возможно я ошибся форумом, так что прошу ногами больно не пинать.

Язык MSC (Message Sequence Charts) как раз для этого и предназначен. Инфу по нему можно найти на сайте ITU (International Telecommunication Union: http://www.itu.int/home/index.html)

Здравствуйте, _Obelisk_, Вы писали:

_O_>Язык MSC (Message Sequence Charts) как раз для этого и предназначен. Инфу по нему можно найти на сайте ITU (International Telecommunication Union: http://www.itu.int/home/index.html)

Спасибо за ссылку. Уже читаю рекомендацию.