Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

"I like my beer cold, my TV loud, and my homosexuals flaming!" : preference for stereotype consistency as a function of a person x situation interaction /

The study centers on the power of Right-Wing Authoritarianism (RWA) and Social Dominance Orientation (SDO) as predictors of prejudice against stereotypical and nonstereotypical homosexuals under the threat of death and the threat of uncertainty. Right-wing authoritarianism (RWA) is an individual difference variable that measures the tendency for individuals to unquestionably follow those perceived to be authorities. Social Dominance Orientation (SDO) is an individual difference variable that measures the degree to which an individual prefers inequality among social groups. The RWA and SDO Scales are considered to be two of the strongest predictors of prejudice, such as prejudice against homosexuals. The study focuses on the unique predictive power of these two variables in predicting prejudice against homosexuals. The study also examines the role of situational threat in prejudice, specifically the threat of death (mortality salience) and the threat of uncertainty (uncertainty salience). Competing predictions from theories involving the threat of death (Terror Management Theory) and the threat of uncertainty (Uncertainty Management Theory) are also tested. The preference for expected information in the form of stereotypes concerning male homosexuals (that is, a stereotypical or non-stereotypical homosexual) were tested. The difference between the predictive power ofRWA and SDO was examined by measuring how these variables predict liking of a stereotypical or non-stereotypical homosexual under the threat of death, the threat of uncertainty, or a control condition. Along with completing a measure for RWA and a measure for SDO, participants were asked to think of their own death, of their being uncertain or about watching television then were asked to read about a week in the life of either a stereotypical or non-stereotypical male homosexual. Participants were then asked to evaluate the individual and his essay. Based on the participants' evaluations, results from 180 heterosexual university students show that RWA and SDO are strong predictors for disliking of a stereotypical homosexual under the threat of uncertainty and disliking of a non-stereotypical homosexual under the threat of death. Furthermore, however, results show that RWA is a particularly strong predictor of disliking of a stereotypical homosexual under the threat of uncertainty, whereas SDO is an exceptionally strong predictor of disliking of the non-stereotypical homosexual under the threat of death. This further adds to the notion that RWA and SDO are indeed unique predictors of prejudice. Implications are also explored, including the fact that the study simuhaneously examined the role of individual difference variables and situational threat variables, as well as exploratory analysis on Dominating Authoritarians.

The effects of consistency and inconsistency between attentional focus and task objective in learning a golf putting task

Converging evidence has demonstrated learning advantages when an individual is instructed to focus their attention externally. However, many of the motor tasks utilized in past research had clear external objectives (i.e., putting accuracy), creating a compatible relationship between an external focus of attention (i.e., outcome) and an external task objective (i.e., putting accuracy). The present study examined whether or not the consistency of instructions and task objective would differentially impact the acquisition of a golf putting task. Participants performed a putting task in a control condition or in one of four experimental conditions resulting from the factorial interaction of task instructions (internal or external) and task objective (internal or external). The retention and transfer data revealed that participants who received an external task objective demonstrated superior outcome scores. Participants who received technique information paired with outcome information demonstrated superior technique scores.

Externalities, Potential, Value and Consistency

We provide new characterization results for the value of games in partition function form. In particular, we use the potential of a game to define the value. We also provide a characterization of the class of values which satisfies one form of reduced game consistency.

Mealtime experiences of hospitalized older patients requiring a puree consistency diet

Le concept d’Hôpital Promoteur de Santé (HPS) a pris beaucoup d’importance depuis son élaboration vers la fin des années quatre-vingt. Dans le contexte de la dernière réforme, le réseau montréalais des HPS et CSSS a été créé. Le Centre Universitaire de Santé McGill (CUSM) fait partie de ce réseau depuis 2007. Cette étude vise la création d’un milieu hospitalier promoteur de la santé pour les patients et s’adresse à l’expérience d’un repas pour les personnes âgées nécessitant une diète purée. Une étude de cas qualitative a été utilisée pour explorer la perception de patients vis-à-vis les aspects relatifs à leur cabaret, l’assistance qu’ils recevaient et le contexte social de leur repas. Les impressions des professionnels de la santé quant à l’expérience des patients ont aussi été obtenues. Les résultats indiquent que l’identification difficile des aliments en purée, la saveur, l’apparence et la variété sont tous des éléments qui affectent négativement leur expérience repas. Des sentiments d’impuissance ont aussi été rapportés par les patients et les professionnels de la santé. Le contexte social du repas a été souligné comme étant un aspect à cibler pour améliorer l’expérience des patients. Un programme utilisant des purées formées pourrait contrecarrer les effets négatifs de la prescription d’une diète purée. Des changements dans les pratiques infirmières, à savoir la création d’une ambiance sociale agréable au moment des repas, semble être une option peu couteuse qui pourrait améliorer l’expérience repas des patients et diminuer les sentiments d’impuissance relevés par les professionnels de la santé à l’égard de cet aspect de soin.

Product Filters, Acyclicity and Suzumura Consistency

In a seminal contribution, Hansson (1976) demonstrates that the collection of decisive coalitions associated with an Arrovian social welfare function forms an ultrafilter. He goes on to show that if transitivity is weakened to quasi-transitivity as the coherence property imposed on a social relation, the set of decisive coalitions is a filter. We examine the notion of decisiveness with acyclical or Suzumura consistent social preferences and without assuming that the social relation is complete. This leads to a new set-theoretic concept applied to product spaces.

Robust fault detection using consistency techniques for uncertainty handling

Often practical performance of analytical redundancy for fault detection and diagnosis is decreased by uncertainties prevailing not only in the system model, but also in the measurements. In this paper, the problem of fault detection is stated as a constraint satisfaction problem over continuous domains with a big number of variables and constraints. This problem can be solved using modal interval analysis and consistency techniques. Consistency techniques are then shown to be particularly efficient to check the consistency of the analytical redundancy relations (ARRs), dealing with uncertain measurements and parameters. Through the work presented in this paper, it can be observed that consistency techniques can be used to increase the performance of a robust fault detection tool, which is based on interval arithmetic. The proposed method is illustrated using a nonlinear dynamic model of a hydraulic system

Stability and consistency of coping in adolescence : A longitudinal study

Resumen tomado de la publicaci??n

Análisis del voto obligatorio en Chile como referencia para una eventual aplicación en Colombia

La siguiente monografía es un análisis del voto obligatorio en Chile como referencia para una eventual aplicación en Colombia. A través de ella se busca identificar las características esenciales – recomendaciones- para la implementación de un voto obligatorio en Colombia que contribuya al fortalecimiento del sistema electoral colombiano a partir de un aumento de la participación política electoral colombiana (sin que con ello se pretenda desconocer otros mecanismos de participación política ni mucho menos reducirla al ejercicio del voto), tomando como punto de referencia el análisis de la implementación del voto obligatorio en Chile.

El post-conflicto salvadoreño como experiencia para un eventual post-conflicto en Colombia

Escenario desde el cual se adelantarán las reflexiones posteriores sobre el postconflicto. Este escenario hipotético se enmarca dentro de una solución negociada, que lleva a los actores a la adopción de un acuerdo de paz, bajo condiciones especificas

Impacto de un eventual ALCA en la industria papelera de la región Bogotá-Cundinamarca

El propósito es establecer los mecanismos que debe implementar la industria papelera bogotana para mantener su supremacía dentro del mercado colombiano en marco del ALCA y para alcanzarlo, se hace necesario un análisis de competitividad de la industria papelera bogotana,

Beneficios y desventajas para la industria textil colombiana, específicamente en el sub sector de algodón, ante la eventual firma y ratificación de un tratado de libre comercio entre Colombia e India

Este proyecto realiza un estudio sobre las principales características de los sub sectores de producción de algodón en India y en Colombia. Ello, debido a que a pesar de no existir ningún acuerdo comercial en la materia entre ambos países, la hipótesis de que este llegase a presentarse resulta atractiva. En este sentido, las características del cultivo, producción y comercialización tanto de India como de Colombia, ofrecen un panorama que invita a reflexionar sobre los beneficios y desventajas para el sub sector de algodón, frente a la eventual firma de un Tratado de Libre Comercio. En este orden de ideas, en este trabajo se observan elementos tales como los distintos pormenores de cada proceso de producción, además de las estrategias de comercialización y las políticas gubernamentales de cada país con relación al cultivo de algodón. Asimismo, se da una mirada a la actualidad del sub sector de algodón en Colombia e India a través la balanza comercial de estos países. De este modo, se proponen una serie de estrategias para contrarrestar las desventajas que podrían presentarse, como a su vez plantear los beneficios que también tendrían lugar y las políticas a implementar.

Consistency errors in p-values reported in Spanish psychology journals

Resumen tomado de la publicación

Analysis of the consistency of alphabet symbol/speech sound correspondence in three basal reader series

This paper reviews a study to analyze the number of times alphabet symbols occur in three commonly used basal reader series.