Hipertensión pulmonar en perros y gatos

En áreas endémicas, la dirofilariosis cardiaca es la causa más frecuentemente descrita de hipertensión pulmonar (HP). Aunque existen características comunes a todas las formas de HP, los hallazgos clínicos y el tratamiento dependerán en gran medida de la afección subyacente. En este trabajo se realiza una revisión del conocimiento actual respecto a la fisiopatología de la enfermedad, así como de las presentaciones clínicas y pautas terapétuicas generales y en función del mecanismo fisiopatológico implicado.

An agile process for the example-driven development of modelling languages and environments

Tesis doctoral inédita leída en la Universidad Autónoma de Madrid, Escuela Politécnica Superior, Departamento de Ingeniería Informática. Fecha de lectura : 26-06-2017Los Lenguajes de Modelado de Dominio Específico (Domain-Specific Modelling Languages (DSMLs)) se utilizan con frecuencia en la Ingeniería del Software Dirigida por Modelos y en métodos de desarrollo por el usuario final. En comparación con los lenguajes de propósito general, los DSMLs presentan numerosas ventajas como la posibilidad de emplear primitivas de dominio específico, una sintaxis intuitiva para expertos en un dominio, y la posibilidad de generar código fuente complejo para dominios concretos. Algunos DSMLs tienen una sintaxis gráfica; sin embargo, construir entornos de modelado gráfico es una tarea altamente costosa a nivel técnico. Esto relega a los expertos del dominio a un rol pasivo en el desarrollo de dichos entornos, e impide una adopción más extensa de los DSML gráficos. El propósito de este trabajo de tesis es lograr un proceso sencillo para la construcción de DSMLs, en el que los expertos del dominio puedan contribuir de forma activa. Para ello, se propone un proceso basado en ejemplos para la generación automática de entornos de modelado de DSMLs gráficos. El sistema propuesto sintetiza, a partir de ejemplos del DSML esbozados por el experto del dominio en herramientas de dibujo, un entorno gráfico de modelado que emula la sintaxis de dichos ejemplos. Esto abarca un meta-modelo para la sintaxis abstracta del DSML, y una sintaxis concreta que además soporta la inclusión de relaciones espaciales. Adicionalmente, pese a tratarse de actividades esenciales en el campo del Desarrollo Dirigido por Modelos, existen muy pocas herramientas o métodos que den soporte a la Validación y Verificación (V&V) de DSMLs. Para cubrir esta necesidad se presentan tres lenguajes complementarios para la V&V de meta-modelos a través de tres métodos distintos: las pruebas unitarias, la comprobación de propiedades sobre el meta-modelo, y las pruebas inversas. Las dos contribuciones se han implementado en dos prototipos: metaBup, un sistema para construir editores de DSMLs a partir de ejemplos gráficos, y metaBest, su correspondiente entorno de pruebas. Tanto el proceso como el prototipo han sido validados mediante diversos experimentos, entre los que se incluye una validación con usuarios.Domain-Specific Modelling Languages (DSMLs) are heavily used in model-driven and enduser development approaches. Compared to general-purpose languages, DSMLs present numerous benefits like powerful domain-specific primitives, an intuitive syntax for domain experts, and the possibility of advanced code generation for narrow domains. While a graphical syntax is sometimes desired for a DSML, constructing graphical modelling environments is a costly and highly technical task. This relegates domain experts to a rather passive role in their development and hinders a wider adoption of graphical DSMLs. The aim of this dissertation is achieving a simpler DSML construction process where domain experts can contribute actively. For this purpose, an example-based process for the automatic generation of modelling environments for graphical DSMLs is proposed. This way, starting from examples of the DSML likely provided by domain experts using drawing tools, the proposed system synthesizes a graphical modelling environment that mimics the syntax of the provided examples. This includes a meta-model for the abstract syntax of the DSML, and a graphical concrete syntax supporting spatial relationships. Moreover, despite being essential activities in this field, there are scarce tools and methods supporting the Validation and Verification (V&V) of DSMLs. In order to fill this gap, three complementary meta-model V&V languages are presented. These languages provide means for testing a DSML through three V&V approches: unit testing, specification-based testing and reverse testing. These two contributions receive tool support in a prototype application comprising metaBup, a system for building DSML editors from graphical examples, and metaBest, its corresponding testing suite. The process and the prototype have been validated through several experiments, including a user study. Keywords: Model-Driven Engineering, Domain-Specific Modelling Languages, Meta-Modelling, Graphical Modelling Environments, Example-Based Meta-Modelling, Validation & Verification, Meta-Model Qualit

Combining unit and specification-based testing for meta-model validation and verification

This is the author’s version of a work that was accepted for publication in Information Systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information Systems, VOL 62, (2016)] DOI 10.1016/j.is.2016.06.008Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstract syntax of modelling languages, and so models and all sorts of model transformations depend on them. However, there are scarce tools and methods supporting their Validation and Verification (V&V), which are essential activities for the proper engineering of meta-models. In order to fill this gap, we propose two complementary meta-model V&V languages. The first one has similar philosophy to the xUnit framework, as it enables the definition of meta-model unit test suites comprising model fragments and assertions on their (in-)correctness. The second one is directed to express and verify expected properties of a meta-model, including domain and design properties, quality criteria and platform-specific requirements. As a proof of concept, we have developed tooling for both languages in the Eclipse platform, and illustrate its use within an example-driven approach for meta-model construction. The expressiveness of our languages is demonstrated by their application to build a library of meta-model quality issues, which has been evaluated over the ATL zoo of meta-models and some OMG specifications. The results show that integrated support for meta-model V&V (as the one we propose here) is urgently needed in meta-modelling environments.This work has been funded by the Spanish Ministry of Economy and Competitivity with project “Flexor” (TIN2014-52129-R), the region of Madrid with project “SICOMORO-CM” (S2013/ICE-3006), and the EU commission with project “MONDO” (FP7- ICT-2013-10, #611125)

Aportaciones a la flora vascular de la provincia de Córdoba, II (Andalucía, España)

En el presente estudio corológico se aportan 25 taxones que son raros o suponen novedad para alguna comarca o toda la provincia de Córdoba (Andalucía, España). Los taxones más interesantes son Campanula decumbens subsp. baetica Cano-Maqueda & Talavera, Narcissus × susannae Fern. Casas y Plumbago auriculata Lam., ya que son citados por primera vez para esta provincia.Twenty-five taxa are recorded as rare and new localities either in some areas or the whole province of Cordoba (Andalusia, Spain). Campanula decumbens subsp. baetica Cano-Maqueda & Talavera, Narcissus × susannae Fern. Casas and Plumbago auriculata Lam. are the most interesting taxa found, being the first record for this province

Treatment of bilateral hyperplasia of the coronoid process of the mandible : Presentation of a case and review of the literature

Bilateral hyperplasia of the coronoid process is infrequent. It consists of an elongation of the coronoid process of the mandible and is, accordingly, a mechanical problem, limiting mouth opening. This article looks at the case of a 28 year-old male with significant limitation on opening his mouth, secondary to bilateral hyperplasia of the coronoid process. We reviewed the literature and analysed the diagnostic and therapeutic procedures used, paying special attention to the surgical approaches to the coronoid process and emphasising the importance of early post-operative rehabilitation, describing our experience with the TheraBite® (Atos Medical AB, PO Box 183, 242 22 Hörby, Sweden). The satisfactory result of the procedure is marked by the stable recovery of the mouth opening, achieved by a good combination of surgical and physiotherapeutic techniques

PTL: A Model Transformation Language based on Logic Programming

In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL (Atlas Transformation Language)-style rules are combined with logic rules for defining transformations. ATL-style rules are used to define mappings from source models to target models while logic rules are used as helpers. The implementation of PTL is based on the encoding of the ATL-style rules by Prolog rules. Thus, PTL makes use of Prolog as a transformation engine. We have provided a declarative semantics to PTL and proved the semantics equivalent to the encoded program. We have studied an encoding of OCL (Object Constraint Language) with Prolog goals in order to map ATL to PTL. Thus a subset of PTL can be considered equivalent to a subset of ATL. The proposed language can be also used for model validation, that is, for checking constraints on models and transformations. We have equipped our language with debugging and tracing capabilities which help developers to detect programming errors in PTL rules. Additionally, we have developed an Eclipse plugin for editing PTL programs, as well as for debugging, tracing and validation. Finally, we have evaluated the language with several transformation examples as well as tested the performance with large models

Perceptions of Heritage among Students of Early Childhood and Primary Education

In recent decades, a growing awareness of the importance of preserving cultural heritage as a means of promoting sustainable development has been accompanied by a similar re-evaluation of the role of heritage education as a key driver of citizen engagement. The development and implementation of heritage education at all levels, particularly in the context of teacher training, is of vital importance. The aim of this study is to analyse student teachers’ understanding of heritage and its potential as an educational tool, in order to identify measures to enhance teacher training and practice with respect to heritage and heritage education. The research design consists of a comparative study of a non-random sample of 149 trainee teachers undertaking Bachelor’s degrees in Early Childhood Education and Primary Education at the University of Córdoba (Spain). The results reveal a mainly cultural conception of heritage among both groups, based on local material elements, and little sense of the link between heritage and present-day life. The students studying early childhood education were found to display a more specific knowledge of heritage in their answers, while the primary education students showed a greater awareness of identity and values as features of cultural heritage

Engaging end-users in the collaborative development of domain-specific modelling languages

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40840-3_16Proceedings of 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013Domain-Specific Modelling Languages (DSMLs) are high-level languages specially designed to perform tasks in a particular domain. When developing DSMLs, the participation of end-users is normally limited to providing domain knowledge and testing the resulting language prototypes. Language developers, which are perhaps not domain experts, are therefore in control of the language development and evolution. This may cause misinterpretations which hamper the development process and the quality of the DSML. Thus, it would be beneficial to promote a more active participation of end-users in the development process of DSMLs. While current DSML workbenches are mono-user and designed for technical experts, we present a process and tool support for the example-driven, collaborative construction of DSMLs in order to engage end-users in the creation of their own languages.This work was funded by the Spanish Ministry of Economy and Competitivity (project “Go Lite” TIN2011-24139), the R&D programme of the Madrid Region (project “e-Madrid” S2009/TIC-1650) and the European Commission under the ICT Policy Support Programme, grant no. 317859