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 / Boronat Moll, A. (2007). A formal framework for model management [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1964 / Palancia

La dinámica y el uso cada vez más generalizado de las tecnologías de información y comunicaciones (TIC), ha llevado a que el uso de las mismas se convierta en una necesidad competitiva para empresas de diferentes tamaños y sectores industriales, los cuales tienen que asumir el reto de integrarlas en su práctica cotidiana y en sus actividades comerciales y utilizarlas para competir. Si bien las empresas en general, y las españolas en particular, comprenden la importancia de adoptar TIC para soportar sus procesos de negocio, y más específicamente las actividades de aprovisionamiento, las decisiones de inversión en innovaciones de TIC están condicionadas por la necesidad de obtener beneficios tangibles, lo cual es especialmente inquietante en pequeñas y medianas empresas (pymes) en las que la disponibilidad de recursos usualmente es más limitada. Este fenómeno de adopción TIC ha sido ampliamente estudiado desde diversas perspectivas, contextos y modelos teóricos, permitiendo identificar aspectos comunes que influyen en la toma de decisiones en relación a la adopción de innovaciones de TIC. Sin embargo, pese a las ventajas del aprovisionamiento electrónico, la dinámica evolutiva de las TIC y las cada vez mayores posibilidades ofrecidas por las TIC y en especial por Internet, el aprovisionamiento electrónico no ha sido igualmente asumido por todas las empresas, lo que conlleva a plantear la pregunta: ¿Cuáles son los aspectos que influyen en el proceso de adopción de tecnologías de información y comunicaciones en actividades de aprovisionamiento empresarial en pequeñas y medianas empresas de fabricación de muebles en España? En este orden de ideas, el presente trabajo exploratorio pretende identificar, a nivel teórico y con ayuda de fuentes de información secundarias, como lo es la encuesta sobre negocio electrónico e-business W@tch 2007, los aspectos que inciden en el proceso de adopción de TIC en actividades de aprovisionamiento empresarial, en pequeñas y medianasempresas del sector de fabricación del mueble en España. Para alcanzar este objetivo, se desarrolla un modelo conceptual sobre el aprovisionamiento electrónico empresarial, basado en teorías conocidas y validadas en el campo de las TIC, como la teoría de difusión de innovaciones, la teoría de etapas de crecimiento, la teoría de recursos y capacidades y el marco teórico TOE (Tecnología, Organización y Entorno), modelo que está compuesto por dos elementos fundamentales que son: el proceso de adopción de innovaciones de TIC y los aspectos que influyen en este proceso. Este modelo fue comprobado empíricamente en una muestra de 120 pymes del sector del mueble en España, y los resultados muestran en primer lugar que la adopción de innovaciones de TIC para soportar actividades de aprovisionamiento empresarial no puede entenderse de manera puntual sino como proceso. / Aguilar Jiménez, AS. (2010). Análisis del proceso de adopción de tecnologías de información y comunicaciones en actividades de aprovisionamiento empresarial en pequeñas y medianas empresas manufactureras. Una aplicación al sector del mueble en España [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8935 / Palancia

The increasing complexity of software systems has led to the development of sophisticated formal Methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly w.r.t. the original programmer s intention or checking the consistency and the correctness of a large set of data are not trivial tasks as witnessed by many case studies which occur in the literature. In this dissertation, we face two challenging problems of verification and correction. Specifically, verification and correction of declarative programs, and the verification and correction of Web sites (i.e. large collections of semistructured data). Firstly, we propose a general correction scheme for automatically correcting declarative, rule-based programs which exploits a combination of bottom-up as well as topdown inductive learning techniques. Our hybrid hodology is able to infer program corrections that are hard, or even impossible, to obtain with a simpler,automatic top-down or bottom-up learner. Moreover, the scheme will be also particularized to some well-known declarative programming paradigm: that is, the functional logic and the functional programming paradigm. Secondly, we formalize a framework for the automated verification of Web sites which can be used to specify integrity conditions for a given Web site, and then automatically check whether these conditions are fulfilled. We provide a rule-based, formal specification language which allows us to define syntactic as well as semantic properties of the Web site. Then, we formalize a verification technique which detects both incorrect/forbidden patterns as well as lack of information, that is, incomplete/missing Web pages. Useful information is gathered during the verification process which can be used to repair the Web site. So, after a verification phase, one can also infer semi-automatically some possible corrections in order to fix theWeb site. The methodology is based on a novel rewrit / Ballis, D. (2005). Rule-Based Software Verification and Correction [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1948 / Palancia