Implementação Automática, Orientada a Objetos,
de Especificações Estelle na Linguagem C++
Wanderley Lopes de Souza
Antônio Francisco do Prado
Antônio Carlos Lima de Santana
UFSCAR
Extended State Transition Language (Estelle) is a Formal Description
Technique (FDT) standardized by International Organization for Standardization
(ISO) that was developed for the formal specification of distributed systems
and communication protocols.
A system implementation can be obtained automatically from its Estelle
specification using appropriated tools.
The main goal of this paper is to show how system object oriented
implementations in the c++ language can be generated from their Estelle
specificiations using the software transformation environment Draco.
.