Mecanismo genérico para la definición de transformaciones de modelos en el marco de un enfoque multivistas para la generación de aplicaciones con base en la ingeniería dirigida por modelos

La ingeniera de software se enfoca en el desarrollo de aplicaciones desde diferentes puntos de vista usando diversos enfoques, uno de ellos es el Desarrollo de Software Dirigido por Modelos (MDSD, por sus siglas en inglés); al desarrollar soluciones bajo esta propuesta se han visualizado grandes ventajas como velocidad, bajos costos y calidad en los desarrollos, sin embargo también algunas desventajas como la dificultad de intervenir las transformaciones, falta expresividad en los modelos y la generación hacia múltiples plataformas; este último debido a que no es posible delimitar con claridad las características de la plataforma destino al especificar los modelos y las transformaciones que constituyen el proceso de desarrollo. Durante el progreso del presente trabajo se trata de mitigar las tres dificultades antes mencionadas por medio de la construcción de un Lenguaje de Dominio Específico (DSL, por sus siglas en inglés) con toda la información funcional de la aplicación, usando diagramas de paquetes y de clases en UML y diagramas de procesos de negocio en BPMN. Este trabajo hace parte de la macro propuesta Metáfora donde se desarrolló un plugin de Eclipse que está basado en el framework de modelado de eclipse (EMF, por sus siglas en inglés). El plugin tiene las funciones de asistente guiando al usuario a través del proceso iterativo de transformaciones hasta llegar al código fuente. El software que fue desarrollado para que el proceso de generación se pueda parametrizar de acuerdo a los modelos y transformaciones realizadas por el analista de desarrollo con ayuda del analista de negocio. Se tiene la total libertad para configurar las secuencias de transformación y aplicarlas en un orden determinado a un conjunto de modelos específicos con el fin de generar parte de una aplicación.

Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations

Secure Multi-party Computation (MPC) enables a set of parties to collaboratively compute, using cryptographic protocols, a function over their private data in a way that the participants do not see each other's data, they only see the final output. Typical MPC examples include statistical computations over joint private data, private set intersection, and auctions. While these applications are examples of monolithic MPC, richer MPC applications move between "normal" (i.e., per-party local) and "secure" (i.e., joint, multi-party secure) modes repeatedly, resulting overall in mixed-mode computations. For example, we might use MPC to implement the role of the dealer in a game of mental poker -- the game will be divided into rounds of local decision-making (e.g. bidding) and joint interaction (e.g. dealing). Mixed-mode computations are also used to improve performance over monolithic secure computations. Starting with the Fairplay project, several MPC frameworks have been proposed in the last decade to help programmers write MPC applications in a high-level language, while the toolchain manages the low-level details. However, these frameworks are either not expressive enough to allow writing mixed-mode applications or lack formal specification, and reasoning capabilities, thereby diminishing the parties' trust in such tools, and the programs written using them. Furthermore, none of the frameworks provides a verified toolchain to run the MPC programs, leaving the potential of security holes that can compromise the privacy of parties' data. This dissertation presents language-based techniques to make MPC more practical and trustworthy. First, it presents the design and implementation of a new MPC Domain Specific Language, called Wysteria, for writing rich mixed-mode MPC applications. Wysteria provides several benefits over previous languages, including a conceptual single thread of control, generic support for more than two parties, high-level abstractions for secret shares, and a fully formalized type system and operational semantics. Using Wysteria, we have implemented several MPC applications, including, for the first time, a card dealing application. The dissertation next presents Wys*, an embedding of Wysteria in F*, a full-featured verification oriented programming language. Wys* improves on Wysteria along three lines: (a) It enables programmers to formally verify the correctness and security properties of their programs. As far as we know, Wys* is the first language to provide verification capabilities for MPC programs. (b) It provides a partially verified toolchain to run MPC programs, and finally (c) It enables the MPC programs to use, with no extra effort, standard language constructs from the host language F*, thereby making it more usable and scalable. Finally, the dissertation develops static analyses that help optimize monolithic MPC programs into mixed-mode MPC programs, while providing similar privacy guarantees as the monolithic versions.

Salivary cortisol level and uncooperative behavior in pediatric dental practice

Aim: To investigate the relation between uncooperative behavior and salivary cortisol level in children who underwent preventive dental care. Methods: The sample was composed by 10 children of both sexes aged 40 to 52 months, presenting uncooperative behavior during dental preventive treatments. The saliva collection was performed using a cotton wheel and an Eppendorf tube (Sarstedt Salivete®) in 3 different moments: a) at home, on a day without dental treatment and at the same time on the day of the sessions treatment; b) 30 min after the end of the session, when there was manifestation of uncooperative behavior; c) 30 min after the end of the session, when there was a cooperative behavior of the child. A sample of saliva was centrifuged for 5 minutes at 2400 rpm, 1 of mL of saliva was pipetted in an Eppendorf tube and stored in a freezer at -20 ° C. For the determination of the levels of salivary cortisol was used an Active® kit for cortisol enzyme immunoassay (EIA) DSL-10-67100, composed of specific rabbit antibody anti-cortisol. Data were analyzed statistically for the uncooperative behavior issued in the beginning and at the end of sessions, using the paired t test (p<0.05) and for cortisol levels in saliva samples at home, after the beginning and at the end of sessions, using repeated-measures ANOVA and Tukey’s test (p<0.05). Results: During expression of uncooperative behavior in preventive dental care sessions the salivary cortisol level was significantly higher (0.65 ± 0.25 μg/dL) compared with expression of collaborative behavior (0.24 ± 0.10 μg/dL). Conclusions: It is possible to conclude that, even under preventive intervention, the stress must be controlled in order to reduce dental anxiety and fear.

MobiMed: Framework for Rapid Application Development of Medical Mobile Apps

In the medical field images obtained from high definition cameras and other medical imaging systems are an integral part of medical diagnosis. The analysis of these images are usually performed by the physicians who sometimes need to spend long hours reviewing the images before they are able to come up with a diagnosis and then decide on the course of action. In this dissertation we present a framework for a computer-aided analysis of medical imagery via the use of an expert system. While this problem has been discussed before, we will consider a system based on mobile devices. Since the release of the iPhone on April 2003, the popularity of mobile devices has increased rapidly and our lives have become more reliant on them. This popularity and the ease of development of mobile applications has now made it possible to perform on these devices many of the image analyses that previously required a personal computer. All of this has opened the door to a whole new set of possibilities and freed the physicians from their reliance on their desktop machines. The approach proposed in this dissertation aims to capitalize on these new found opportunities by providing a framework for analysis of medical images that physicians can utilize from their mobile devices thus remove their reliance on desktop computers. We also provide an expert system to aid in the analysis and advice on the selection of medical procedure. Finally, we also allow for other mobile applications to be developed by providing a generic mobile application development framework that allows for access of other applications into the mobile domain. In this dissertation we outline our work leading towards development of the proposed methodology and the remaining work needed to find a solution to the problem. In order to make this difficult problem tractable, we divide the problem into three parts: the development user interface modeling language and tooling, the creation of a game development modeling language and tooling, and the development of a generic mobile application framework. In order to make this problem more manageable, we will narrow down the initial scope to the hair transplant, and glaucoma domains.

Design and implementation of an enterprise application integration solution for science and research outcomes information management using guaraná technology

This document presents an Enterprise Application Integration based proposal for research outcomes and technological information management. The proposal addresses national and international science and research outcomes information management, and corresponding information systems. Information systems interoperability problems, approaches, technologies and integration tools are presented and applied to the research outcomes information management case. A business and technological perspective is provided, including the conceptual analysis and modelling, an integration solution based in a Domain-Specific Language (DSL) and the integration platform to execute the proposed solution. For illustrative purposes, the role and information system needs of a research unit is assumed as the representative case.

On The Use of Genetic Algorithms for Parameter Identification in Anaerobic Digestion Modelling

Anaerobic digestion (AD) of wastewater is a very interesting option for waste valorization, energy production and environment protection. It is a complex, naturally occurring process that can take place inside bioreactors. The capability of predicting the operation of such bioreactors is important to optimize the design and the operation conditions of the reactors, which, in part, justifies the numerous AD models presently available. The existing AD models are not universal, have to be inferred from prior knowledge and rely on existing experimental data. Among the tasks involved in the process of developing a dynamical model for AD, the estimation of parameters is one of the most challenging. This paper presents the identifiability analysis of a nonlinear dynamical model for a batch reactor. Particular attention is given to the structural identifiability of the model, which considers the uniqueness of the estimated parameters. To perform this analysis, the GenSSI toolbox was used. The estimation of the model parameters is achieved with genetic algorithms (GA) which have already been used in the context of AD modelling, although not commonly. The paper discusses its advantages and disadvantages.