Show simple item record

dc.contributorQueralt Calafat, Anna
dc.contributor.authorLubary Fleta, Guillermo
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2009-04-23T15:12:48Z
dc.date.available2009-04-23T15:12:48Z
dc.date.issued2009-01-23
dc.identifier.urihttp://hdl.handle.net/2099.1/6809
dc.description.abstractEste 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.
dc.language.isospa
dc.publisherUniversitat Politècnica de Catalunya
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://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.lcshUML (Computer science)
dc.subject.lcshObject-oriented programming
dc.titleValidación de esquemas conceptuales especificados en UML y OCL
dc.typeMaster thesis (pre-Bologna period)
dc.subject.lemacUML (Informàtica)
dc.subject.lemacProgramació orientada a l'objecte (Informàtica)
dc.rights.accessOpen Access
dc.audience.educationlevelEstudis de primer/segon cicle
dc.audience.mediatorFacultat d'Informàtica de Barcelona


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Except where otherwise noted, content on this work is licensed under a Creative Commons license: Attribution-NonCommercial-NoDerivs 3.0 Spain