Favre, Liliana M.Evans, AndyFrance, Robert B.Moreira, Ana M. D.Rumpe, Bernhard2020-01-072020-01-0720013-88579-335-0https://dl.gi.de/handle/20.500.12116/30870There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system properties. In this paper we propose a systematic approach to transform UML static models into algebraic specifications. We define the GSBLoo algebraic language to cope with concepts of UML. Firstly, we give a formal description for UML static models using GSBLoo. Then, we describe how to translate UML constructs to GSBLoo constructs. In particular, we show how to transform UML relations into GSBLoo . We propose a system of transformation rules to translate OCL constraints to GSBLoo.enText/Conference Paper1617-5468