6. Conclusion

Algorithms designed for communication protocols progress at an indescribable speed. As a result, protocol stability is limited. However, knowledge and understanding of a protocol takes time, which can be estimated at around ten years (time between basic ideas and complete understanding of the protocol, as was the case with the X.25 protocol or the X.400 e-mail protocols).

To shorten this period, it is necessary to use formalization techniques, both qualitative and quantitative. For this purpose, specification languages such as Lotos, Estelle or SDL have been standardized. For accurate parameter sizing, modeling techniques based on stochastic tools are available, such as analytical methods, in particular queuing theory, and simulation.

In conclusion, by using these qualitative and quantitative tools, it is possible to architect protocols...