Title :
Specification refinement using transformation-based tools
Author :
Hsu, Yung-Kao ; LeBlanc, Richard, Jr.
Author_Institution :
Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
Abstract :
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
Keywords :
formal specification; formal method; generic design concept; integrated tools; program construction; specification notation; specification refinement; transformation-based tools; Concrete; Data models; Data structures; Marine vehicles; Optimizing compilers; Relational databases; Software systems; Specification languages; Terminology;
Conference_Titel :
Computers and Communications, 1991. Conference Proceedings., Tenth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-2133-8
DOI :
10.1109/PCCC.1991.113831