- -

A formal framework for model management

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A formal framework for model management

Show simple item record

Files in this item

dc.contributor.advisor Carsí Cubel, José Ángel es_ES
dc.contributor.advisor Meseguer Guaita, Jose es_ES
dc.contributor.advisor Ramos Salavert, Isidro es_ES
dc.contributor.author Boronat Moll, Arturo es_ES
dc.date.accessioned 2008-05-07T07:36:14Z
dc.date.available 2008-05-07T07:36:14Z
dc.date.created 2007-12-21T09:00:00Z es_ES
dc.date.issued 2008-05-07T07:36:10Z es_ES
dc.identifier.uri http://hdl.handle.net/10251/1964
dc.description.abstract El Desarrollo de Software Dirigido por Modelos es una rama de la Ingeniería del Software en la que los artefactos software se representan como modelos para incrementar la productividad, calidady eficiencia económica en el proceso de desarrollo de software, donde un modelo proporciona una representación abstracta del código final de una aplicación. En este campo, la iniciativa Model-Driven Architecture (MDA), patrocinada por la OMG, está constituida por una familia de estándares industriales, entre los que se destacan: Meta-Object Facility (MOF), Unified Modeling Language (UML), Object Constraint Language (OCL), XML Metadata Interchange (XMI), y Query/Views/Transformations (QVT). Estos estándares proporcionan unas directrices comunes para herramientas basadas en modelos y para procesos de desarrollo de software dirigidos por modelos. Su objetivo consiste en mejorar la interoperabilidad entre marcos de trabajo ejecutables, en automatizar el proceso desarrollo de software de software y en proporcionar técnicas que eviten errores durante ese proceso. El estándar MOF describe un marco de trabajo genérico que permite definir la sintaxis abstracta de lenguajes de modelado. Este estándar persigue la definición de los conceptos básicos que son utilizados en procesos de desarrollo de software dirigidos por modelos: que es un modelo, que es un metamodelo, qué es reflexión en un marco de trabajo basado en MOF, etc. Sin embargo, la mayoría de estos conceptos carecen de una semántica formal en la versión actual del estándar MOF. Además, OCL se utiliza como un lenguage de definición de restricciones que permite añadir semántica a un metamodelo MOF. Desafortunadamente, la relación entre un metamodelo y sus restricciones OCL también carece de una semántica formal. Este hecho es debido, en parte, a que los metamodelos solo pueden ser definidos como dato en un marco de trabajo basado en MOF. El estándar MOF también proporciona las llamadas facilidades de reflexión de MOF (MOF Reflecti es_ES
dc.language Inglés es_ES
dc.rights Reserva de todos los derechos es_ES
dc.source Riunet
dc.subject Structural reflection es_ES
dc.subject Membership equational logic es_ES
dc.subject Mof es_ES
dc.subject Model-driven development es_ES
dc.subject Ocl es_ES
dc.subject Model management es_ES
dc.subject Mathematical metamodeling es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title A formal framework for model management
dc.type Tesis doctoral es_ES
dc.subject.unesco 120323 - Lenguajes de programación es_ES
dc.subject.unesco 120318 - Sistemas de información, diseño y componentes es_ES
dc.subject.unesco 120312 - Bancos de datos es_ES
dc.identifier.doi 10.4995/Thesis/10251/1964 es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Boronat Moll, A. (2007). A formal framework for model management [Tesis doctoral no publicada]. Universitat Politècnica de València. doi:10.4995/Thesis/10251/1964. es_ES
dc.type.version info:eu repo/semantics/acceptedVersion es_ES
dc.subject.asignatura GESTIÓN DE MODELOS 32573 / X-Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información es_ES
dc.relation.tesis 2716 es_ES


This item appears in the following Collection(s)

Show simple item record