dc.contributor |
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.contributor |
Queralt Calafat, Anna |
dc.contributor.author |
Lubary Fleta, Guillermo |
dc.date |
2009-01-23 |
dc.identifier.uri |
http://hdl.handle.net/2099.1/6809 |
dc.language.iso |
spa |
dc.publisher |
Universitat Politècnica de Catalunya |
dc.rights |
Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights |
info:eu-repo/semantics/openAccess |
dc.rights |
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject |
Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Altres llenguatges de programació |
dc.subject |
Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject |
UML (Computer science) |
dc.subject |
Object-oriented programming |
dc.subject |
UML (Informàtica) |
dc.subject |
Programació orientada a l'objecte (Informàtica) |
dc.title |
Validación de esquemas conceptuales especificados en UML y OCL |
dc.type |
info:eu-repo/semantics/bachelorThesis |
dc.description.abstract |
Este proyecto se concibió como complemento y demostración empírica para las ideas expuestas por la profesora Anna Queralt en la tesis doctoral cuyo nombre ha tomado prestado este Proyecto de Fin de Carrera: “Validación de esquemas conceptuales en UML y OCL”. Dicha tesis, dirigida por Ernest Teniente, describe un método para verificar si un modelo conceptual
especificado en UML y OCL es correcto.
Podemos entender un modelo o esquema conceptual como un mapa de conceptos (clases) y sus relaciones (asociaciones) que intenta representar algo que existe en la realidad. El lenguaje UML (Universal Modeling Language) está considerado un estándar para especificar modelos conceptuales y se usa en todo el mundo. Se trata de un lenguaje gráfico que a menudo se apoya en otros lenguajes textuales, como en OCL (Object Constraint Language), para expresar información adicional.
Así pues, la motivación de este PFC es precisamente desarrollar de una herramienta software que implementa el método descrito en la tesis doctoral de Anna Queralt. Esta aplicación, que ha recibido el nombre de Aurus, se enmarca dentro del proyecto EinaGMC [1], una iniciativa del
Grupo de investigación en Modelización Conceptual de la UPC. El propósito de EinaGMC es conseguir un entorno tecnológico de desarrollo que permita trabajar con esquemas conceptuales
especificados en UML y OCL. Por lo tanto, la herramienta descrita en este PFC se nutre de este trabajo, como se explicará con detalle, y al mismo tiempo consigue aportar su grano de arena. |