| Revista: | Revista politécnica |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000435440 |
| ISSN: | 1900-2351 |
| Autores: | Arango Isaza, Fernando1 Alvarez Eraso, Danny Alejandro1 Moreno Arboleda, Francisco Javier1 |
| Instituciones: | 1Universidad Nacional de Colombia, Medellín, Antioquia. Colombia |
| Año: | 2016 |
| 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 |
