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



Document title: Una propuesta para la formalización del diagrama de clases en el lenguaje Maude
Journal: Revista politécnica
Database: PERIÓDICA
System number: 000435440
ISSN: 1900-2351
Authors: 1
1
1
Institutions: 1Universidad Nacional de Colombia, Medellín, Antioquia. Colombia
Year:
Season: Jul-Dic
Volumen: 12
Number: 23
Pages: 39-50
Country: Colombia
Language: Español
Document type: Artículo
Approach: Aplicado, descriptivo
Spanish abstract 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
English abstract 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
Disciplines: Ciencias de la computación
Keyword: 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
Full text: http://biblat.unam.mx/hevila/Revistapolitecnica/2016/vol12/no23/4.pdf