Code Synthesis based on Object-Oriented Design models and Formal Specifications

This paper presents an approach to synthesizing functional and robust code from object-oriented design models and Z data and operation speci cations. The approach used here is based on an integrated notation of the Unified Modeling Language and a slightly extended Z notation to include object-oriented concepts and structures. Our approach generates fully functional code which can be compiled and executed without modifications. The information from object-oriented analysis and design models along with the formal specifications are combined, analyzed, and translated into an intermediate representation from which code can be generated. A research prototype has been developed to demonstrate the feasibility and the effectiveness of our approach