A Systematic Approach to Transform UML Static Models to Object-Oriented Code

Abstract

Formal and semi-formal techniques can play complementary roles in object-oriented software development. The purpose of this chapter is to present a reuse-based rigorous method to forward engineering UML static models. This approach is based on the integration of semi-formal notations in UML with the algebraic style. The main contributions of this chapter are the definition of the GSBLoo algebraic language to cope with concepts of the UML models, the definition of the SpReIm model for the description of the structure of reusable components and the definition of a rigorous process with reuse that assists in the transformation of UML class diagrams to object-oriented code. Eiffel was the language of choice in which to demonstrate the feasibility of our approach.