Una propuesta para la formalización del diagrama de clases en el lenguaje Maude



Título del documento: Una propuesta para la formalización del diagrama de clases en el lenguaje Maude
Revista: Revista politécnica
Base de datos: PERIÓDICA
Número de sistema: 000435440
ISSN: 1900-2351
Autores: 1
1
1
Instituciones: 1Universidad Nacional de Colombia, Medellín, Antioquia. Colombia
Año:
Periodo: Jul-Dic
Volumen: 12
Número: 23
Paginación: 39-50
País: Colombia
Idioma: Español
Tipo de documento: Artículo
Enfoque: Aplicado, descriptivo
Resumen en español El diagrama de clases es una herramienta para el desarrollo de software orientado por objetos. Es esencial que su interpretación por parte de cualquier analista carezca de ambigüedades. En este artículo se propone una interpretación del diagrama de clases desde la óptica de una lógica ecuacional mediante una descomposición sistemática de cada uno sus elementos. El objetivo es ofrecer una especificación formal para el diagrama de clases susceptible de ser a su vez procesada y convertida en código ejecutable. Para la formalización se usó el lenguaje Maude, ya que este permite crear especificaciones formales algebraicas para tipos abstractos de datos
Resumen en inglés The class diagram is a tool for developing object-oriented software. It is essential that its interpretation by any analyst lacks ambiguity. In this paper, we present an interpretation of the class diagram from the perspective of an equational logic through a systematic breakdown of each of its elements. Our aim is to provide a formal specification for the class diagram susceptible of being processed and executed. For our formalization, we used the Maude language, because it allows us to define formal algebraic specifications for abstract data types
Disciplinas: Ciencias de la computación
Palabras clave: Software,
Ingeniería de software,
Software orientado a objetos,
Diagrama de clases,
Especificación formal,
Lenguaje Maude
Keyword: Software,
Software engineering,
Object oriented software,
Class diagram,
Formal specification,
Maude language
Texto completo: http://biblat.unam.mx/hevila/Revistapolitecnica/2016/vol12/no23/4.pdf