Diseño de protocolostécnicas de especificación y descripción formal
- Pavón Mestras, Juan Luis
- Pereda Soriano, Orlando
- García Tomás, Jesús
ISSN: 0210-8712
Year of publication: 1988
Year: 21
Issue: 1
Pages: 28-37
Type: Article
More publications in: Revista de informática y automática
Abstract
In this paper, the design process and the specification of a communication protocol is shown. The necessity to use some tools that allows to realize the different steps with some formalisme, in order to assure, its correction, is justified. For determining such tools, the different levels of specification, that must satisfy, are studied: services, protocols and interfases. From this point several ways of formal description are commented, identifying two tendencies, one based on the finite automates an the other one based on the algebra of communicating processes