Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.advisorZapata Jaramillo, Carlos Mario (Thesis advisor)
dc.contributor.authorManjarrés Betancur, Roberto Antonio
dc.date.accessioned2019-06-24T13:18:13Z
dc.date.available2019-06-24T13:18:13Z
dc.date.issued2010
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/3389
dc.description.abstractLos metamodelos son útiles para crear los elementos básicos que permiten modelar una realidad, mediante el uso de diagramas. Para la creación de metamodelos, se suelen emplear herramientas MetaCASE, que son evoluciones de las herramientas CASE convencionales y en las cuales se pueden definir los elementos de un metamodelo. Para esa definición, las herramientas MetaCASE se valen de dos tipos de especificaciones: una gráfica, que permite la interacción con el creador del metamodelo (en adelante denominado “analista”), y una declarativa, que define la lógica con la cual se implementa el metamodelo. Por lo general, las herramientas MetaCASE combinan los dos tipos de especificaciones, lo cual requiere que el analista domine la sintaxis de ambas. Además, no se puede separar la información de los dos tipos de especificaciones, por lo cual, si se cambia la especificación gráfica de un metamodelo, indisolublemente hay que cambiar su especificación declarativa. Para solucionar parcialmente estos problemas, se creó el lenguaje UN-LEND, que permite expresar especificación declarativa de los metamodelos sin incluir una especificación gráfica asociada con ella. Sin embargo, el UN-LEND requiere entrenamiento y conocimientos técnicos de su sintaxis para definir un metamodelo. Por lo general, los analistas no disponen de ese conocimiento y los metamodelos son más comprensibles cuando se elaboran de forma gráfica. Además, dentro de la especificación declarativa se suelen emplear expresiones que no son fácilmente representables mediante elementos gráficos. Por ello, en esta Tesis de Maestría se propone un método para obtener la especificación declarativa de un metamodelo a partir de una especificación gráfica basada en los denominados esquemas preconceptuales. Para ello, se requiere la ampliación de la sintaxis de dichos esquemas, pues, en la actualidad, se generan inconvenientes cuando se definen en ellos restricciones y operaciones aritméticas. Además, es necesario establecer los lineamientos para la construcción de metamodelos con dichos esquemas y se requiere la definición de las reglas heurísticas que posibiliten la transformación de la especificación gráfica en la especificación declarativa representada en UN-LEND. / Abstract. Meta-models are useful tools for creating basic modeling elements. Diagrams use these elements in order to model reality. CASE (Computer-Aided Software Engineering) tools evolved in MetaCASE tools, when they need to create metamodels (or define metamodel elements). For completing this task, MetaCASE tools employ two kind of specs: graphical specs, for interacting with analysts (whom create the metamodel), and declarative specs, for defining the metamodel logic. Commonly, specs are mixed by MetaCASE tools, and analysts must “master” the syntax of both kinds of specs. Furthermore, specs cannot be separated, so we must change the declarative specs if we need to make a change in graphical specs. UN-LEND was created as a partial solution to these problems, because it can express meta-model declarative specs without including the implied graphical ones. However, defining a meta-model by using UN-LEND requires training and syntax technical knowledge, usually absent in analysts. Also, meta-models are more understandable when they are made in a graphical manner. Beside this, declarative specs use to employ some expressions hardly represented by graphical elements. The above reasons lead me to propose, in this Master Thesis, a method for obtaining the declarative specs of a metamodel from the graphical pre-conceptual-schema-based specs. To achieve this goal, I suggest adding new elements to pre-conceptual schemas, because currently some problems arise when they are used to represent constraints and arithmetical operations. Also, I define the guidelines for making meta-models with preconceptual schemas, and I define heuristic rules for easily transform graphical specs into declarative UN-LEND-based specs.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.relation.ispartofUniversidad Nacional de Colombia Sede Medellín Facultad de Minas Escuela de Sistemas
dc.relation.ispartofEscuela de Sistemas
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.subject.ddc0 Generalidades / Computer science, information and general works
dc.titleGeneración de la especificación declarativa a partir de la especificación gráfica de un metamodelo
dc.typeTrabajo de grado - Maestría
dc.type.driverinfo:eu-repo/semantics/masterThesis
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/1885/
dc.description.degreelevelMaestría
dc.relation.referencesManjarrés Betancur, Roberto Antonio (2010) Generación de la especificación declarativa a partir de la especificación gráfica de un metamodelo. Maestría thesis, Universidad Nacional de Colombia.
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalIngeniería de software realizada por computador
dc.subject.proposalDiagramas
dc.subject.proposalIngeniería de software
dc.subject.proposalDesarrollo del software
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/TM
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit