Algorithms for translating interaction protocols into a formal description

The task of an interaction protocol creator encompasses several stages. Among the important ones are the design and validation of the protocol. The purpose of this article is to put forward a way to automate this second stage once the protocol design has been completed. The article advocates an approach where automating the protocol validation leads to translating the protocol into a formal description which is then given to verification tools. This article provides a whole series of translation algorithms which correspond to the various protocol aspects.