Resumen:
Las definiciones más habituales de operaciones de refactorización se centran en un lenguaje particular. Sin embargo, una de las líneas de investigacíon en refactorizacíon en los últimos años aborda la independencia del lenguaje en la definicíon de refactorizaciones, que posteriormente deberá ser implementada para lenguajes particulares. Se han aportado diferentes soluciones para representar el código con cierta independencia del lenguaje, sin embargo la definicíon e implementacíon de refactorizaciones continúa siendo mayoritariamente dependiente del lenguaje. En cuanto a esta definicíon e implementacíon de refactorizaciones, se aprecia un importante salto bien sea desde las definiciones de refactorizaciones en forma de recetas, bien sea desde las definiciones formales utilizando lógica de predicados o reescritura de grafos, a la implementacíon real de la refactorizacíon. En este trabajo, tomando como base un metamodelo UML definido para la representacíon de código de forma independiente del lenguaje, se valida la aplicacíon del lenguaje de acciones Alf como lenguaje para la definicíon de refactorizaciones. El uso de Alf tiene una doble implicacíon. Por una parte se consigue acercar la definicíon de refactorizaciones a su posterior implementacíon, dado que se produce una traduccíon con menor esfuerzo desde el lenguaje de acciones al lenguaje de implementacíon elegido. Por otra parte, el uso de Alf y los parsers asociados, permiten validar que el metamodelo contiene la informacíon suficiente para definir refactorizaciones.