A formal framework for model management

• Autores: Arturo Boronat Moll
• Directores de la Tesis: José Angel Carsí Cubel (dir. tes.) , José Meseguer Guaita (dir. tes.) , Isidro Ramos Salavert (dir. tes.)
• Lectura: En la Universitat Politècnica de València ( España ) en 2007
• Idioma: inglés
• Tribunal Calificador de la Tesis: José Ambrosio Toval Álvarez (presid.) , César Emilio Insfrán Pelozo (secret.) , Reiko Heckel (voc.) , Juan de Lara Jaramillo (voc.) , Antonio Vallecillo Moreno (voc.)
• Enlaces
  • Tesis en acceso abierto en: RiuNet
• Resumen

  • 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