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 specification
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11583/2500380
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo