A new tool is described which enables the user to develop a protocol specification in the formal description technique. Estelle by working on graphical representations of Estelle constructs and objects. Only some parts of the specifications are handled in textual form (e.g., Pascal code), since they are of an intrinsically textual nature. The problems of combining graphical abstractions with pure textual information have been addressed and solved by designing an appropriate database structure and by enabling the user to access files containing the most extensive parts of text via an editor. The tool automatically produces a complete textual Estelle code which is syntactically correct. Moreover, the total can be interfaced with a simulator, so as to animate a specification
A Graphical Tool for Protocol Design with Estelle / Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1991), pp. 552-556. (Intervento presentato al convegno CompEuro '91. 5th Annual European Computer Conference tenutosi a Bologna, Italy nel 13-16 May 1991) [10.1109/CMPEUR.1991.257446].
A Graphical Tool for Protocol Design with Estelle
CIMINIERA, Luigi;SISTO, Riccardo;VALENZANO, ADRIANO
1991
Abstract
A new tool is described which enables the user to develop a protocol specification in the formal description technique. Estelle by working on graphical representations of Estelle constructs and objects. Only some parts of the specifications are handled in textual form (e.g., Pascal code), since they are of an intrinsically textual nature. The problems of combining graphical abstractions with pure textual information have been addressed and solved by designing an appropriate database structure and by enabling the user to access files containing the most extensive parts of text via an editor. The tool automatically produces a complete textual Estelle code which is syntactically correct. Moreover, the total can be interfaced with a simulator, so as to animate a specificationPubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/2500380
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo