Conference on Software Maintenance and Reengineering
Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes
Zurich, Switzerland
February 29-March 03
ISBN: 0-7695-0546-5
In this paper we propose a re-engineering tool for Estelle specifications. The tool performs the conversion from a textual representation of an Estelle specification into a graphical one. It allows 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.