Mapping a functional specification to an object-oriented specification in software re-engineering
Kasilingam Periyasamy, C. Mathew · 1996
Re-engineering of a software consists of three main phasesreverse engineering the code into an abstraction, modifying the abstraction for better maintenance and future enhancements, and re-implementing the modified abstraction.This paper is a contribution to the second phase of a re-engineering process.It is assumed that the first phase reverses the code and develops a functional abstraction in the Z specification language.This paper describes a methodology to transform the Z specification into an Object-Z specification.Implementation derived from the latter is easier to maintain and to enhance because of the advantages ofthe object-oriented approach.A second phase of the transformation process describes optimization techniques to improve the Object-Z specification, taking into account the additional features in Object-Z The transformation has been successfully applied to a large case study comparable to industrial-size problems.