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

Simple item page
dc.creatorArango Isaza, Fernando
dc.creatorÁlvarez Eraso, Danny Alejandro
dc.creatorMoreno Arboleda, Francisco Javier
dc.date2016-12-30
dc.date.accessioned2023-06-29T13:33:36Z
dc.date.available2023-06-29T13:33:36Z
dc.descriptionThe 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.en-US
dc.descriptionEl 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.es-ES
dc.formattext/html
dc.formatapplication/pdf
dc.formatapplication/xml
dc.identifierhttps://revistas.elpoli.edu.co/index.php/pol/article/view/897
dc.identifier.urihttps://repositorio.elpoli.edu.co/handle/123456789/971
dc.languagespa
dc.publisherPolitécnico Colombiano Jaime Isaza Cadavides-ES
dc.relationhttps://revistas.elpoli.edu.co/index.php/pol/article/view/897/1505
dc.relationhttps://revistas.elpoli.edu.co/index.php/pol/article/view/897/765
dc.relationhttps://revistas.elpoli.edu.co/index.php/pol/article/view/897/1328
dc.sourceRevista Politécnica; Vol. 12 No. 23: July-December; 39-50en-US
dc.sourceRevista Politécnica; Vol. 12 Núm. 23: Julio-Diciembre, 2016; 39-50es-ES
dc.sourceRevista Politécnica; v. 12 n. 23: July-December; 39-50pt-BR
dc.source2256-5353
dc.source1900-2351
dc.subjectDiagrama de claseses-ES
dc.subjectespecificación formales-ES
dc.subjectlenguaje Maudees-ES
dc.subjectingeniería de softwarees-ES
dc.subjectClass diagramen-US
dc.subjectformal specificationen-US
dc.subjectMaude languageen-US
dc.subjectsoftware engineeringen-US
dc.titleA proposal for the formalization of the class diagram in Maude Languageen-US
dc.titleUna propuesta para la formalización del diagrama de clases en el lenguaje Maudees-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
Files
Collections
Revista Politécnica