On the Quality Properties of Model Transformations: Performance and Correctness

The increasing complexity of software due to continuous technological advances has motivated the use of models in the software development process. Initially, models were mainly used as drafts to help developers understand their programs. Later they were used extensively and a new discipline called Model-Driven Engineering (MDE) was born. In the MDE paradigm, aside from the models themselves, model transformations (MT) are garnering interest as they allow the analysis and manipulation of models. Therefore, the performance, scalability and correctness of model transformations have become critical issues and thus they deserve a thorough study. Existing model transformation engines are principally based on sequential and in-memory execution strategies, and hence their capabilities to transform very large models in parallel and in distributed environments are limited. Current tools and languages are not able to cope with models that are not located in a single machine and, even worse, most of them require the model to be in a single file. Moreover, once a model transformation has been written and executed-either sequentially or in parallel-it is necessary to rely on methods, mechanisms, and tools for checking its correctness. In this dissertation, our contribution is twofold. Firstly, we introduce a novel execution platform that permits the parallel execution of both out-place and in-place model transformations, regardless of whether the models fit into a single machine memory or not. This platform can be used as a target for high-level transformation language compilers, so that existing model transformations do not need to be rewritten in another language but only have to be executed more efficiently. Another advantage is that a developer who is familiar with an existing model transformation language does not need to learn a new one. In addition to performance, the correctness of model transformations is an essential aspect that needs to be addressed if MTs are going to be used in realistic industrial settings. Due to the fact that the most popular model transformation languages are rule-based, i.e., the transformations written in those languages comprise rules that define how the model elements are transformed, the second contribution of this thesis is a static approach for locating faulty rules in model transformations. Current approaches able to fully prove correctness-such as model checking techniques-require an unacceptable amount of time and memory. Our approach cannot fully prove correctness but can be very useful for identifying bugs at an early development stage, quickly and cost effectively

Analysis on Hamlet

En este artículo analizamos el popular personaje de Shakespeare, Hamlet. La obra en general cuenta la historia de la Familia Real Danesa, cuya imagen se marca por el asesinato del padre de Hamlet por su propio hermano, quien después se casa con la madre de Hamlet. Hamlet finge que está loco para vengar la muerte de su padre. A través de la obra, podemos analizar dos temas principales: la venganza de Hamlet y la determinación de Hamlet para vengar la muerte de su padre en las manos de Hamlet. Todos estos aspectos serán apoyados por medio de citas del texto.In this article we will focus on analysing Shakespeare's Hamlet. The play tells the tale of the Danish Royal family, marked by the murder of Hamlet's father by his own brother, who then marries Hamlet's mother. Hamlet feigns madness to avenge his father's death. Through the play we can see two principal topics: Hamlet's revenge and Laertes' determination to avenge his father's death at Hamlet's hands. All this aspects will be supported by means of quotations from the text

Attention to Diversity

En cada clase hay estudiantes con diferentes ritmos de aprendizaje y niveles de motivación. Nuestro objetivo como profesores es que cada estudiante participe en el proceso de aprendizaje con plena satisfacción para lograr el éxito de acuerdo a su nivel de habilidad e interés. Para lograrlo, es necesario seguir una metodología dinámica y activa basada en el trabajo en parejas, grupal e individual para detectar diferencias y resolverlas mediante actividades de extensión o refuerzo.In every class, there are students with different rhythms of learning and levels of motivation. Our goal as teachers is that every student participates in the learning process with full satisfaction in order to achieve success according to their level of ability and interest. To achieve this, it is necessary to follow a dynamic and active methodology based on group and individual work in order to detect differences and to solve them by means of extension or reinforcement activities

Generic and Stylistic Contrast between The Knight’s Tale and The Miller’S Tale

La distincióm más ramarcable entre las obras de Chaucer es la presente entre El cuento del Caballero y El cuento del Molinero. En primer lugar, ambos cuentos difieren en género. La segunda diferencia se presenta en términos de narración e imagénes. Las variaciones entre los dos cuentos prevalecen en género y estilo. Como Benson indica en su libro, Derek Brewer considera que "el contraste entre los dos cuentos es muy refrescante muy típico de Chaucer".The most remarkable literary distinction in Chaucer’s Canterbury Tales is that between the Knight’s Tale and the Miller’s Tale. First of all, both tales diverge in genre. The second difference is in terms of narration and images. Variations between the two tales prevail in genre and style. As Benson states in his work, Derek Brewer considers that “the contrast between the two tales is very refreshing, and very typical of Chaucer”

Doctor Faustus

En esta obra de Marlowe, Doctor Fausto es el protagonista. Desde un primer análisis observamos que es un personaje antagonista y ciertamente ambicioso. La primera vez que Fausto aparece, se esta preparando para iniciar su carrera como mago. Fausto representa el espirítu del Renacimiento, con su rechazo de Dios. Habiendo decidido que el pacto con el diablo es la única manera de cumplir sus ambiciones, Fausto se ciega felizmente con dicho pacto.Faustus is the protagonist and tragic hero of Marlowe’s play. We can tell he is a contradictory character who possesses ambition. The first time that Faustus appears, he is just preparing to start his career as a magician. He represents the spirit of the Renaissance, with its rejection of God. Having decided that a pact with the devil is the only way to fulfill his ambitions, Faustus blinds himself happily to what such a pact means

Teaching Programme: Cinema and TV

En este trabajo, se presenta una programación didáctica centrada en el curso de tercero de Educación Secundaria. Haremos un análisis de objetivos, contenidos y competencias que se centran en el tema del cine y la televisión, que es la unidad didáctica dónde nos vamos a centrar. Además se incluyen los instrumentos y criterios de evaluación y una secuencia de actividades tipo, centrada en la enseñanza dinámica y por un enfoque basado en tareas.In this work, a didactic program is presented focused on the third course of Secondary Education. We will do an analysis of objectives, contents and skills that focus on the theme of film and television, which is the didactic unit in which we are going to focus. In addition to including evaluation tools and criteria and a sequence of type of activities, focused on dynamic teaching and a task-based approach

Adolescents and youths’ opinions about the factors associated with cannabis use: a qualitative study based on the I-Change model

Background To learn about the experiences and opinions of adolescent non-consumers and regular cannabis users about cannabis use and the factors that determine its use, using the I-Change explanatory model as a basis. Methods Qualitative methodology with a content analysis was used. Focus groups were conducted with adolescents who were non-regular cannabis users (those who had not tried cannabis or had only experimented with it before) and semi-structured interviews were conducted with adolescent and young adult in recovery who were in a detoxification program. A deductive analysis of the audio-recorded and transcribed interviews was performed, using the domains of the I-Change Model as a reference. Results Personal problems, social problems or family problems can lead to cannabis use. There was a lack of knowledge and low risk perception about consumption of this drug. There are other factors that influence consumption, the perception of advantages, such as the feeling of freedom and the influence of the peer group. The consumption of this substance in girls is changing, becoming more and more equal to that of boys. The family has an important role to play in preventing drug use. Conclusion Knowledge of these factors is of vital importance as a prior step to the development of efficient intervention measures adjusted to the needs identified and the characteristics of the population. Keywords I-Change model, Nursing, Cannabis, Qualitative researc

Las necesidades de información de los técnicos en construcción. La experiencia de la Biblioteca del IETcc-CSIC

Peer Reviewe

The present projects past behavior into the future while the past projects attitudes into the future: how verb tense moderates predictors of drinking intentions

Three studies examined how the use of the present versus the past tense in recalling a past experience influences behavioral intentions. Experiment 1 revealed a stronger influence of past behaviors on drinking intentionswhen participants self-reported an episode of excessive drinking using the present tense. Correspondingly, therewas a stronger influence of attitudes towards excessive drinking when participants self-reported the episode in the past tense. Experiments 2 and 3 liked this effect to changes in construal level (Liberman, Trope, & Stephan, 2007; Trope & Liberman, 2003), with the present tense being similar to a concrete construal level and the past tense being similar to an abstract construal level.This research was supported by grants from Ministerio de Ciencia e Innovación PSI2008-04849 and Ministerio de Economía y Competitividad PSI2011-28720 and by grants from the National Institutes of Health (K02-MH01861 and R01-NR08325)

Emotional Ambivalence in Risk Behaviors: The Case of Occasional Excessive Use of Alcohol

The purpose of this paper is to study the differential and complementary role played by the theory of planned behavior (TPB) variables and by participants’ emotions when recalling and describing previous experiences of such risk behavior in the prediction of the intention to repeat a risk behavior in the immediate future. We chose the behavior of occasional excessive drinking, a risk behaviour characterized by evoking attitudinal ambivalence and eliciting mixed emotions, joy and sadness. The results show that emotional ambivalence is not equivalent to attitudinal ambivalence (whose indexes include that of the affective component), and that this emotional information is relevant for predicting the intention to repeat the risk behavior in the near future, enhancing the prediction of the TPB model.En este trabajo estudiamos el papel diferencial y complementario que juegan las emociones sentidas cuando se recuerda y describe una experiencia personal pasada en la conducta de riesgo junto con las variables clásicas de la teoría de la conducta planificada en la predicción de la intención de repetir dicha conducta de riesgo en un futuro cercano. Hemos elegido la conducta de beber puntualmente alcohol en exceso, una conducta caracterizada por evocar actitudes ambivalentes y emociones mixtas (alegría y tristeza). Los resultados muestran que la ambivalencia emocional no es equivalente a la ambivalencia actitudinal (cuyos índices incluyen la ambivalencia del componente afectivo de las actitudes), y que esta información emocional es un factor relevante para predecir mejor la intención de repetir la conducta de riesgo en el futuro cercano