Formal description techniques and automated protocol synthesis

The paper deals with the problem of communication software design carried out by a synthesis approach. After a discussion of design methodologies, a survey is done of the major approaches to automated protocol design, focusing on their features and on the adequacy of the adopted formal description techniques. A new approach, based on a multilanguage framework and leading to easier and more effective automation of protocol design, is presented.