Transforming UML static models into object-oriented code

The authors propose a reuse based rigorous method using UML and algebraic specifications. Our contribution is towards an embedding of the object oriented code generation within a rigorous process that facilitates reuse, evolution and maintenance of the software. In previous work we described the GSBL/sup OO/ language (L. Fevre and S. Clerici, 1999) to cope with the formalization of UML static models, and the SpReIm model for the definition of the structure of reusable components. Our current goal is to map design artifacts to object oriented code. We describe a rigorous process to forward engineer UML static models. The emphasis is given to the transformation of UML class diagrams into object oriented code. In particular, we describe how to transform OCL specifications into GSBL/sup 00/.