PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C. Two standards means problems : a case study on formal protocol descriptions. In: Computer Standards & Interfaces, vol. 9 pp. 11 - 19. North Holland, 1989.
 
 
Abstract
(English)
Estelle and LOTOS Formal Description Techniques for protocol specifications are considered as a typical example of incompatibility problems which can arise when two standard are used in the same context. The aim or this paper is to indicate the sources of possible problems and to show the effects of having incompatible specifications of the same system. A brief discussion follows on some techniques and methods to verify the compatibility between Estelle and LOTOS specifications.
Subject OSI
Formal specification
Formal description
Techniques
Conformance testing
LOTOS
Estelle


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional