论文信息 - The PET and DINGO Tools for Deriving Distributed Implementations from Estelle

The PET and DINGO Tools for Deriving Distributed Implementations from Estelle

Abstract The combination of the Portable Estelle Translator and the Distributed ImplementatioN GeneratOr tools produces distributed implementations from Estelle specifications. The resulting implementations run as one or more operating system processes distributed over several sites of a target distributed system. In addition, the tools generate elements of an X-Window interface which allows centralized or distributed monitoring of some or all of the running modules.

Rachid Sijelmassi | Brett Strausser

[1] Murray Hill,et al. Yacc: Yet Another Compiler-Compiler , 1978 .

[2] Robin I Chan. An Estelle-C Compiler for Automatic Protocol Implementation , 1987 .

[3] Rachid Sijelmassi,et al. Formal specification of fault management system using O-Estelle , 1992, [Proceedings] Singapore ICCS/ISITA `92.

[4] David Robson,et al. Smalltalk-80: The Language and Its Implementation , 1983 .

[5] E. Schmidt,et al. Lex—a lexical analyzer generator , 1990 .