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/.
Index Terms:
object-oriented programming; specification languages; software reusability; algebraic specification; program compilers; software maintenance; object-oriented languages; UML static models; reuse based rigorous method; algebraic specifications; object oriented code generation; rigorous process; software maintenance; GSBL/sup OO/ language; SpReIm model; reusable components; design artifacts; forward engineering; UML class diagrams; OCL specifications
Citation:
L. Favre, L. Martinez, C. Pereira, "Transforming UML Static Models into Object-Oriented Code," tools, pp.170, 37th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-37'00), 2000
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb