A proposal for the formalization of the class diagram in Maude Language

El diagrama de clases es una herramienta para el desarrollo de software orientado por objetos. Es esencial que su interpretacion por parte de cualquier analista carezca de ambiguedades. En este articulo se propone una interpretacion del diagrama de clases desde la optica de una logica ecuacional mediante una descomposicion sistematica de cada uno sus elementos. El objetivo es ofrecer una especificacion formal para el diagrama de clases susceptible de ser a su vez procesada y convertida en codigo ejecutable. Para la formalizacion se uso el lenguaje Maude, ya que este permite crear especificaciones formales algebraicas para tipos abstractos de datos.