Re-engineering of Estelle specifications for maintenance and evolution purposes

We propose a reengineering tool for Estelle specifications. The tool performs the conversion from a textual representation of an Estelle specification into a graphical one. It allows us to realize automatic transition transformations during this conversion. Moreover, changes can be directly made on this graphical representation and the result converted back to the textual form. These features make this tool essential for maintenance, reuse and evolution of Estelle specifications