RECERCAT Principal
>
Universitat Politècnica de Catalunya
>
Tesines i projectes i treballs de final de carrera
>
Visualizar documento
Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/6809
| Título: | Validación de esquemas conceptuales especificados en UML y OCL |
|---|---|
| Autor/a: | Lubary Fleta, Guillermo |
| Otros autores: | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Queralt Calafat, Anna |
| 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. |
| Materia(s): | -Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Altres llenguatges de programació -Àrees temàtiques de la UPC::Informàtica::Programació -UML (Computer science) -Object-oriented programming -UML (Informàtica) -Programació orientada a l'objecte (Informàtica) |
| Derechos: | Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
| Tipo de documento: | Trabajo/Proyecto fin de carrera |
| Editor: | Universitat Politècnica de Catalunya |
| Compartir: |
|