Specification refinement using transformation-based tools

The transformational approach is a formal method for program construction that allows refinement to be carried out using mechanical manipulations. The authors describe an alternative idea for supporting transformations that emphasizes the use of integrated tools instead of individual rules. These tools provide the mechanism for coordinating a generic design concept with the use of transformation rules. In particular, they allow the user to combine the formulation of a design and its application during the refinement process. The authors describe the tools and give examples illustrating their application. A brief description of the methodology and specification notation is also provided