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

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