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

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

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