Associação entre níveis de ferritina e peroxidação lipídica em pacientes em hemodiálise

ResumoIntrodução:A suplementação de ferro é uma das importantes recomendações em pacientes com doença renal crônica (DRC), contudo, uma sobrecarga desse mineral pode contribuir para o estresse oxidativo, condição essa bastante relacionada com o risco cardiovascular nesses pacientes.Objetivo:O objetivo desse trabalho foi investigar se os níveis de ferritina estão associados ao estresse oxidativo avaliado pelo malondialdeído (MDA) em pacientes em hemodiálise (HD).Métodos:Vinte pacientes em tratamento de HD (55,0 ± 15,2 anos, tempo de diálise de 76,5 ± 46,3 meses, IMC 23,6 ± 3,0 kg/m2) foram comparados com 11 indivíduos saudáveis (50,9 ± 8,0 anos, IMC 23,8 ± 1,9 kg/m2). O nível de MDA foi medido pela reação com o ácido tiobarbitúrico e os dados bioquímicos de rotina foram obtidos por meio do prontuário médico.Resultados:Os pacientes em HD apresentaram elevados níveis de MDA (13,2 ± 5,3 nmol/mL) quando comparados aos indivíduos saudáveis (5,1 ± 2,7 nmol/mL; p < 0,01). Doze pacientes (60%) apresentaram valores de ferritina superiores a 500 ng/mL e houve correlação positiva entre ferritina e MDA nos pacientes HD (r = 0,66; p = 0,005; n = 17).Conclusão:O excesso dos estoques de ferro em pacientes em HD resulta em um aumento da peroxidação lipídica e, consequentemente, contribui para um maior estresse oxidativo nesses pacientes.

Développement logiciel par transformation de modèles

La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut identifier deux approches majeures pour caractériser le processus. La première approche, dite transformationnelle, perçoit le processus comme une séquence de transformations préservant certaines propriétés des données à l’entrée. Cette idée a été récemment reprise par l’architecture dirigée par les modèles de l’OMG. La deuxième approche consiste à répertorier et à codifier des solutions éprouvées à des problèmes récurrents. Les recherches sur les styles architecturaux, les patrons de conception, ou les cadres d’applications s’inscrivent dans cette approche. Notre travail de recherche reconnaît la complémentarité des deux approches, notamment pour l’étape de conception: dans le cadre du développement dirigé par les modèles, nous percevons l’étape de conception comme l’application de patrons de solutions aux modèles reçus en entrée. Il est coutume de définir l’étape de conception en termes de conception architecturale, et conception détaillée. La conception architecturale se préoccupe d’organiser un logiciel en composants répondant à un ensemble d’exigences non-fonctionnelles, alors que la conception détaillée se préoccupe, en quelque sorte, du contenu de ces composants. La conception architecturale s’appuie sur des styles architecturaux qui sont des principes d’organisation permettant d’optimiser certaines qualités, alors que la conception détaillée s’appuie sur des patrons de conception pour attribuer les responsabilités aux classes. Les styles architecturaux et les patrons de conception sont des artefacts qui codifient des solutions éprouvées à des problèmes récurrents de conception. Alors que ces artefacts sont bien documentés, la décision de les appliquer reste essentiellement manuelle. De plus, les outils proposés n’offrent pas un support adéquat pour les appliquer à des modèles existants. Dans cette thèse, nous nous attaquons à la conception détaillée, et plus particulièrement, à la transformation de modèles par application de patrons de conception, en partie parce que les patrons de conception sont moins complexes, et en partie parce que l’implémentation des styles architecturaux passe souvent par les patrons de conception. Ainsi, nous proposons une approche pour représenter et appliquer les patrons de conception. Notre approche se base sur la représentation explicite des problèmes résolus par ces patrons. En effet, la représentation explicite du problème résolu par un patron permet : (1) de mieux comprendre le patron, (2) de reconnaître l’opportunité d’appliquer le patron en détectant une instance de la représentation du problème dans les modèles du système considéré, et (3) d’automatiser l’application du patron en la représentant, de façon déclarative, par une transformation d’une instance du problème en une instance de la solution. Pour vérifier et valider notre approche, nous l’avons utilisée pour représenter et appliquer différents patrons de conception et nous avons effectué des tests pratiques sur des modèles générés à partir de logiciels libres.

Gestion adaptative des ressources dans les réseaux maillés sans fil à multiples-radios multiples-canaux

Depuis quelques années, la recherche dans le domaine des réseaux maillés sans fil ("Wireless Mesh Network (WMN)" en anglais) suscite un grand intérêt auprès de la communauté des chercheurs en télécommunications. Ceci est dû aux nombreux avantages que la technologie WMN offre, telles que l'installation facile et peu coûteuse, la connectivité fiable et l'interopérabilité flexible avec d'autres réseaux existants (réseaux Wi-Fi, réseaux WiMax, réseaux cellulaires, réseaux de capteurs, etc.). Cependant, plusieurs problèmes restent encore à résoudre comme le passage à l'échelle, la sécurité, la qualité de service (QdS), la gestion des ressources, etc. Ces problèmes persistent pour les WMNs, d'autant plus que le nombre des utilisateurs va en se multipliant. Il faut donc penser à améliorer les protocoles existants ou à en concevoir de nouveaux. L'objectif de notre recherche est de résoudre certaines des limitations rencontrées à l'heure actuelle dans les WMNs et d'améliorer la QdS des applications multimédia temps-réel (par exemple, la voix). Le travail de recherche de cette thèse sera divisé essentiellement en trois principaux volets: le contrôle d‟admission du trafic, la différentiation du trafic et la réaffectation adaptative des canaux lors de la présence du trafic en relève ("handoff" en anglais). Dans le premier volet, nous proposons un mécanisme distribué de contrôle d'admission se basant sur le concept des cliques (une clique correspond à un sous-ensemble de liens logiques qui interfèrent les uns avec les autres) dans un réseau à multiples-sauts, multiples-radios et multiples-canaux, appelé RCAC. Nous proposons en particulier un modèle analytique qui calcule le ratio approprié d'admission du trafic et qui garantit une probabilité de perte de paquets dans le réseau n'excédant pas un seuil prédéfini. Le mécanisme RCAC permet d‟assurer la QdS requise pour les flux entrants, sans dégrader la QdS des flux existants. Il permet aussi d‟assurer la QdS en termes de longueur du délai de bout en bout pour les divers flux. Le deuxième volet traite de la différentiation de services dans le protocole IEEE 802.11s afin de permettre une meilleure QdS, notamment pour les applications avec des contraintes temporelles (par exemple, voix, visioconférence). À cet égard, nous proposons un mécanisme d'ajustement de tranches de temps ("time-slots"), selon la classe de service, ED-MDA (Enhanced Differentiated-Mesh Deterministic Access), combiné à un algorithme efficace de contrôle d'admission EAC (Efficient Admission Control), afin de permettre une utilisation élevée et efficace des ressources. Le mécanisme EAC prend en compte le trafic en relève et lui attribue une priorité supérieure par rapport au nouveau trafic pour minimiser les interruptions de communications en cours. Dans le troisième volet, nous nous intéressons à minimiser le surcoût et le délai de re-routage des utilisateurs mobiles et/ou des applications multimédia en réaffectant les canaux dans les WMNs à Multiples-Radios (MR-WMNs). En premier lieu, nous proposons un modèle d'optimisation qui maximise le débit, améliore l'équité entre utilisateurs et minimise le surcoût dû à la relève des appels. Ce modèle a été résolu par le logiciel CPLEX pour un nombre limité de noeuds. En second lieu, nous élaborons des heuristiques/méta-heuristiques centralisées pour permettre de résoudre ce modèle pour des réseaux de taille réelle. Finalement, nous proposons un algorithme pour réaffecter en temps-réel et de façon prudente les canaux aux interfaces. Cet algorithme a pour objectif de minimiser le surcoût et le délai du re-routage spécialement du trafic dynamique généré par les appels en relève. Ensuite, ce mécanisme est amélioré en prenant en compte l‟équilibrage de la charge entre cliques.

Rôle du stress oxydant en période néonatale dans l'hypertension artérielle et la dysfonction vasculaire et métabolique de l'adulte

Thèse réalisée dans le cadre d'une cotutelle entre l'Université de Montréal et l'Université d'Auvergne en France

Facteurs influençant la réponse immunitaire humorale suite à la vaccination avec un vaccin vivant contre la maladie de Gumboro chez le poulet de chair

Au Québec, l’abattage des poulets se fait entre 33 et 40 jours. Pour permettre cet abattage, les poulets devront être vaccinés en présence d’anticorps maternels puisque la période d’attente après la vaccination est de 21 jours. L’objectif de cette étude a été de déterminer l’efficacité d’une forte dose de vaccin et de vitamine E à contourner les anticorps maternels et à vacciner par contact les poulets non vaccinés. Des vaccins à dose normale de 104,35 TCID50/ml/oiseau et à forte dose de 105,35 TCID50/ml/oiseau ont été utilisées sur 1200 poulets repartis en 4 groupes; (1) FD100%, groupe dans lequel tous les oiseaux ont été vaccinés, (2) FD10%, groupe dans lequel 10% des oiseaux ont été vacciné à forte dose, (3) DN100%, groupe dans lequel tous les oiseaux ont été vacciné à dose normale et (4) Contrôle, groupe dans lequel aucun oiseau n’a été vacciné. Chaque groupe a été divisé en 2 sous-groupes ; un a été supplémenté en vitamine E de 50 à 100UI/kg d’aliment et l’autre de 20 à 27 UI/kg. Les résultats de la présente étude ont montré que le virus vaccinal est capable de surmonter les anticorps maternels, qui ont persisté jusqu’à 20 jours d’âge, et à provoquer une réponse immunitaire humorale. Cette étude a aussi montré que le virus est capable de se transmettre par contact direct dans un même parquet et par contact indirect d’un parquet à l’autre. Aucun retour à la virulence ni une mutation du nucléotide VP2 n’a été observé au niveau des oiseaux vaccinés par contact. Cette étude a aussi montré qu’une amélioration de l’apport de vitamine E augmente la réponse humorale après vaccination avec un vaccin vivant contre la maladie de Gumboro.

L’étude du rôle d’ARF1 dans la migration et la prolifération des cellules du cancer du sein

Les facteurs d’ADP-ribosylation (ARFs) sont des petites GTPases impliquées dans le transport vésiculaire, la synthèse des lipides membranaires et la réorganisation du cytosquelette d’actine. Les isoformes 1 (ARF1) et 6 (ARF6) sont les plus étudiées. ARF1 est connue pour être distribuée à l’appareil de Golgi, alors qu’ARF6 est confinée principalement à la membrane plasmique. Récemment, il a été démontré qu’ARF6 est hautement exprimée et activée dans plusieurs cellules de cancer du sein invasif et que celle-ci contrôle les processus de migration et d’invasion. Cependant, le rôle d’ARF1 dans ces processus biologiques impliqués dans la formation de métastases du cancer du sein demeure méconnu. Dans la présente étude, nous avons utilisé comme modèle d’étude pour ARF1 les MDA-MB-231, une lignée de cellules invasives du cancer du sein exprimant de haut niveau de récepteurs au facteur de croissance épidermique (EGFR). Afin d’évaluer le rôle d’ARF1 dans la migration, dans la transition épithéliale mésenchymateuse (EMT) et dans la prolifération cellulaire, nous avons procédé à deux types d’approches expérimentales, soit l’inhibition de l’expression endogène d’ARF1 par l’interférence à l’ARN de même que la surexpression de formes mutantes dominante négative (ARF1T31N) et constitutivement active d’ARF1 (ARF1Q71L), qui miment les formes inactive et active de la GTPase, respectivement. De manière intéressante, la suppression d’ARF1 et la surexpression de la forme inactive d’ARF1 induisent l’arrêt de la migration et de la prolifération des MDA-MB-231 de manière dépendante à l’activation de l’EGFR et ce, en bloquant l’activation de la voie PI3Kinase. De plus, nous démontrons qu’ARF1, de même que les ARF GEFs Cytohésine-1 et Cytohésine-2, contribuent au phénotype invasif des cellules tumorales de cancer du sein. Dans les mêmes approches expérimentales, nous montrons que l’inactivation d’ARF1 dans les MDA-MB-231 déclenche un arrêt de croissance irréversible associé à l’induction de la sénescence et ce, en régulant la fonction de la protéine du rétinoblastome pRb. Enfin, cette étude a permis de mettre en évidence le rôle physiologique d’ARF1 dans les processus de migration et de prolifération cellulaire, deux événements biologiques responsables de la progression du cancer du sein.

Stress oxydatif, fonction mitochondriale et maladie inflammatoire de l'intestin

CONTEXTE: Bien que la dysfunction mitochondriale et le stress oxydant jouent des rôles prépondérants dans plusieurs conditions pathologiques, ils n’ont pas été étudiés de façon extensive au niveau du tube digestif qui est constamment exposé aux oxydants (provenant de l’alimentation) et à divers agents pathogènes. L’ingestion simultanée de sels ferreux et d’acide ascorbique peut causer le dommage des macromolécules par oxydation. Le ‘’Nuclear factor erythroid 2 related factor’’ (Nrf2) est un important facteur de transcription sensible au potentiel redox et qui protège contre le stress oxydant en induisant des gènes anti-oxydants et de detoxification par sa liaison à l’élément de réponse antioxydante (ARE). Les fonctions anti-oxydantes et anti-inflammatoires de Nrf2 ont été décrites dans une variété de types cellulaires et de tissus. Cependant son rôle est très peu connu au niveau du tube digestif. OBJECTIFS: Les objectifs sont d’évaluer comment la peroxydation lipidique médiée par le fer/ascorbate (FE/ASC) affecte les fonctions mitochondriales dans les cellules Caco-2/15, et de déterminer l’ampleur de l’implication de Nrf2. MÉTHODES: Le stress oxydant a été induit dans les cellules Caco2/15 en les traitant avec 0.2mm/2mm de FE/ASC. L’augmentation de l’expression de Nrf2 a été obtenue suite au prétraitement des cellules Caco2/15 avec 50 μM d’Olitpraz (OPZ), un puissant activateur. L’invalidation du gène de Nrf2 a été réalisée dans les cellules par transfection avec un vecteur lentiviral contenant un shRNA contre Nrf2. RÉSULTATS: Nos résultats montrent que le traitement des cellules Caco-2/15 avec du FE/ASC (0.2 mm/2 mm) augmente les niveaux du malondialdehyde (MDA), réduit la production d’ATP, entraîne une surcharge mitochondriale de calcium, active l’expression protéique du cytochrome C et de l’AIF (apoptotic inducing factor), réduit l’activité des complexes I, II, 2 III et IV de la chaîne respiratoire mitochondriale, augmente les niveaux de 8-OHdG, un marqueur des dommages à l’ADN mitochondrial, diminue la DNA glycosylase, et altère les expressions génique et protéique des facteurs de transcription mitochondriaux (mtTFA, mtTFB1, mtTFB2). De plus, nos observations montrent que l’induction et l’activation de Nrf2 dans les cellules Caco-2/15 résultent en: une augmentation des enzymes anti-oxydantes endogènes (catalase, glutathion peroxydase, et superoxyde dismutase), une réduction du facteur nucléaire NFκβ et de TNF-α, une augmentation de la production d’ ATP et de l’activité des complexes respiratoires (I, II, III, IV) et de PGC-1α, et une régulation des niveaux de la prohibitine mitochondriale, du Bcl-2 anti-apoptotique et de l’occludine. CONCLUSION: Dans l’ensemble, nos résultats montrent que l’exposition aigüe des cellules Caco-2/15 à la peroxydation par le FE/ASC entraîne des effets pathologiques sur les fonctions mitochondriales et l’intégrité de l’ADN, qui sont abolis par l’induction de Nrf2. Il en ressort que Nrf2 joue un rôle majeur dans la protection de l’épithélium intestinal contre le stress oxydant.

ARF1 contrôle la migration des cellules hautement invasives du cancer du sein via Rac1

Dans un contexte où la forte prévalence du cancer du sein chez les femmes demeure depuis plusieurs années un enjeu de société majeur, les nouvelles stratégies visant à réduire la mortalité associée à cette maladie sont le sujet de nombreuses recherches scientifiques. Les facteurs d’ADP-ribosylation sont des petites protéines G monomériques importantes pour la réorganisation du cytosquelette d’actine, le remodelage des lipides membranaires et la formation de vésicules. Notre laboratoire a précédemment montré qu’ARF1 est surexprimée dans les cellules hautement invasives du cancer du sein et contribue à leur phénotype migratoire accru. Dans le cadre de ce mémoire, nous avons défini le rôle de cette GTPase dans la migration de telles lignées cellulaires. Pour ce faire, nous avons étudié le rôle d’ARF1 dans l’activation de Rac1, un membre de la famille des GTPases Rho connu pour son implication dans la formation de lamellipodes ainsi que dans la migration cellulaire. Globalement, nous avons déterminé que l’activation d’ARF1 permet l’activation subséquente de Rac1 ainsi que de la voie de signalisation nécessaire au processus de migration. Par une approche d’interférence à l’ARN dans les cellules MDA-MB-231, nous avons d’abord montré la contribution essentielle de Rac1 la migration dépendante d’ARF1. Puis, de façon à établir le mécanisme derrière cette régulation, nous avons montré que l’inhibition de l’expression endogène d’ARF1 altère l’activation de Rac1 dépendante de l’EGF. Nous avons ensuite examiné les conséquences d’une telle inhibition sur les partenaires d’interaction de Rac1. Nous avons découvert qu’ARF1 et Rac1 forment un complexe constitutif, puis qu’ARF1est nécessaire à l’association de Rac1 à IRSp53, une protéine importante dans la formation de lamellipodes. La translocation dépendante de l’EGF du complexe Rac1/IRSp53 à la membrane plasmique est également sous le contrôle d’ARF1. En conclusion, cette étude fournit un nouveau mécanisme par lequel ARF1 régule la migration cellulaire et identifie cette GTPase en tant que cible pharmacologique prometteuse pour freiner le développement des métastases chez les patients atteints du cancer du sein.

Développement de nouveaux polymères amphiphiles comme floculants versatiles pour le traitement de l’eau issue de l’industrie pétrolière

Les polymères hydrosolubles sont utilisés dans diverses industries pour permettre la floculation, soit une séparation solide-liquide de particules présentes en suspension colloïdale. Afin de réduire les impacts environnementaux de l’exploitation des sables bitumineux en Alberta, l’industrie est à la recherche de nouveaux moyens et procédés pour traiter les résidus miniers permettant de séparer les matières solides et de récupérer l’eau. L’objectif des travaux présentés est d’améliorer la floculation, la densification et la déshydratation de ces résidus miniers aqueux par de nouveaux polymères synthétiques. Des homopolymères d’acrylamide de différentes masses molaires ont été synthétisés pour étudier l’influence de la masse molaire sur l’efficacité de floculation. Le taux initial de sédimentation (TIS) est le paramètre qui fut utilisé afin de comparer l’efficacité de floculation des différents polymères. Il a été possible de confirmer l’importance de la masse molaire sur l’efficacité de floculation et de déterminer une masse molaire minimale d’environ 6 MDa pour des polyacrylamides, afin d’obtenir l’efficacité de floculation maximale de suspensions colloïdales principalement composées de kaolin. Afin d’étudier l’effet des charges sur l’efficacité de floculation, des polymères anioniques et cationiques ont été synthétisés. Une série de copolymères d’acrylamide et d’acide acrylique ont été synthétisés comme polymères anioniques et deux séries de copolymères ont été synthétisés comme polymères cationiques, soit des copolymères d’acrylamide et de chlorure de diallyldiméthylammonium et des copolymères de 4-vinyl pyridine et de 1-méthyl-4-vinyl pyridinium. Il a été démontré que les charges anioniques des polymères avaient peu d’influence sur l’efficacité de floculation et que leur comportement en présence de sels était différent de ce que prévoyait la littérature. Il a aussi été démontré que les charges cationiques des polymères n’améliorent pas l’efficacité de floculation. Par la suite, des séries de copolymères amphiphiles, avec des monomères d’acrylamide, de N-alkylacrylamides et d’acrylonitrile, ont été synthétisés, pour étudier l’effet du caractère amphiphile sur la déshydratation des résidus miniers. Le pourcentage de déshydratation nette est le paramètre qui fut utilisé afin de comparer l’efficacité de déshydratation des différents polymères. Il a été possible de développer des copolymères amphiphiles qui améliorent l’efficacité de déshydratation par rapport à des homopolymères d’acrylamide. Il ne fut pas possible de déterminer une tendance entre la balance hydrophile/hydrophobe des copolymères amphiphiles et l’efficacité de déshydratation.

Modellbasiertes Service Level Management verteilter Anwendungssysteme

Zur Senkung von Kosten werden in vielen Unternehmen Dienstleistungen, die nicht zur Kernkompetenz gehören, an externe Dienstleister ausgelagert. Dieser Prozess wird auch als Outsourcing bezeichnet. Die dadurch entstehenden Abhängigkeiten zu den externen Dienstleistern werden mit Hilfe von Service Level Agreements (SLAs) vertraglich geregelt. Die Aufgabe des Service Level Managements (SLM) ist es, die Einhaltung der vertraglich fixierten Dienstgüteparameter zu überwachen bzw. sicherzustellen. Für eine automatische Bearbeitung ist daher eine formale Spezifikation von SLAs notwendig. Da der Markt eine Vielzahl von unterschiedlichen SLM-Werkzeugen hervorgebracht hat, entstehen in der Praxis Probleme durch proprietäre SLA-Formate und fehlende Spezifikationsmethoden. Daraus resultiert eine Werkzeugabhängigkeit und eine limitierte Wiederverwendbarkeit bereits spezifizierter SLAs. In der vorliegenden Arbeit wird ein Ansatz für ein plattformunabhängiges Service Level Management entwickelt. Ziel ist eine Vereinheitlichung der Modellierung, so dass unterschiedliche Managementansätze integriert und eine Trennung zwischen Problem- und Technologiedomäne erreicht wird. Zudem wird durch die Plattformunabhängigkeit eine hohe zeitliche Stabilität erstellter Modelle erreicht. Weiteres Ziel der Arbeit ist, die Wiederverwendbarkeit modellierter SLAs zu gewährleisten und eine prozessorientierte Modellierungsmethodik bereitzustellen. Eine automatisierte Etablierung modellierter SLAs ist für eine praktische Nutzung von entscheidender Relevanz. Zur Erreichung dieser Ziele werden die Prinzipien der Model Driven Architecture (MDA) auf die Problemdomäne des Service Level Managements angewandt. Zentrale Idee der Arbeit ist die Definition von SLA-Mustern, die konfigurationsunabhängige Abstraktionen von Service Level Agreements darstellen. Diese SLA-Muster entsprechen dem Plattformunabhängigen Modell (PIM) der MDA. Durch eine geeignete Modelltransformation wird aus einem SLA-Muster eine SLA-Instanz generiert, die alle notwendigen Konfigurationsinformationen beinhaltet und bereits im Format der Zielplattform vorliegt. Eine SLA-Instanz entspricht damit dem Plattformspezifischen Modell (PSM) der MDA. Die Etablierung der SLA-Instanzen und die daraus resultierende Konfiguration des Managementsystems entspricht dem Plattformspezifischen Code (PSC) der MDA. Nach diesem Schritt ist das Managementsystem in der Lage, die im SLA vereinbarten Dienstgüteparameter eigenständig zu überwachen. Im Rahmen der Arbeit wurde eine UML-Erweiterung definiert, die eine Modellierung von SLA-Mustern mit Hilfe eines UML-Werkzeugs ermöglicht. Hierbei kann die Modellierung rein graphisch als auch unter Einbeziehung der Object Constraint Language (OCL) erfolgen. Für die praktische Realisierung des Ansatzes wurde eine Managementarchitektur entwickelt, die im Rahmen eines Prototypen realisiert wurde. Der Gesamtansatz wurde anhand einer Fallstudie evaluiert.

Genetic Programming meets Model-Driven Development

Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hardwired module of a design framework that assists the engineer to optimize specific aspects of the system to be developed. It provides its results in a fixed format through an internal interface. In this paper we show how the utility of genetic programming can be increased remarkably by isolating it as a component and integrating it into the model-driven software development process. Our genetic programming framework produces XMI-encoded UML models that can easily be loaded into widely available modeling tools which in turn posses code generation as well as additional analysis and test capabilities. We use the evolution of a distributed election algorithm as an example to illustrate how genetic programming can be combined with model-driven development. This example clearly illustrates the advantages of our approach – the generation of source code in different programming languages.

Fehlersuche im Modell - Modellbasiertes Testen und Debuggen

Kern der vorliegenden Arbeit ist die Erforschung von Methoden, Techniken und Werkzeugen zur Fehlersuche in modellbasierten Softwareentwicklungsprozessen. Hierzu wird zuerst ein von mir mitentwickelter, neuartiger und modellbasierter Softwareentwicklungsprozess, der sogenannte Fujaba Process, vorgestellt. Dieser Prozess wird von Usecase Szenarien getrieben, die durch spezielle Kollaborationsdiagramme formalisiert werden. Auch die weiteren Artefakte des Prozess bishin zur fertigen Applikation werden durch UML Diagrammarten modelliert. Es ist keine Programmierung im Quelltext nötig. Werkzeugunterstützung für den vorgestellte Prozess wird von dem Fujaba CASE Tool bereitgestellt. Große Teile der Werkzeugunterstützung für den Fujaba Process, darunter die Toolunterstützung für das Testen und Debuggen, wurden im Rahmen dieser Arbeit entwickelt. Im ersten Teil der Arbeit wird der Fujaba Process im Detail erklärt und unsere Erfahrungen mit dem Einsatz des Prozesses in Industrieprojekten sowie in der Lehre dargestellt. Der zweite Teil beschreibt die im Rahmen dieser Arbeit entwickelte Testgenerierung, die zu einem wichtigen Teil des Fujaba Process geworden ist. Hierbei werden aus den formalisierten Usecase Szenarien ausführbare Testfälle generiert. Es wird das zugrunde liegende Konzept, die konkrete technische Umsetzung und die Erfahrungen aus der Praxis mit der entwickelten Testgenerierung dargestellt. Der letzte Teil beschäftigt sich mit dem Debuggen im Fujaba Process. Es werden verschiedene im Rahmen dieser Arbeit entwickelte Konzepte und Techniken vorgestellt, die die Fehlersuche während der Applikationsentwicklung vereinfachen. Hierbei wurde darauf geachtet, dass das Debuggen, wie alle anderen Schritte im Fujaba Process, ausschließlich auf Modellebene passiert. Unter anderem werden Techniken zur schrittweisen Ausführung von Modellen, ein Objekt Browser und ein Debugger, der die rückwärtige Ausführung von Programmen erlaubt (back-in-time debugging), vorgestellt. Alle beschriebenen Konzepte wurden in dieser Arbeit als Plugins für die Eclipse Version von Fujaba, Fujaba4Eclipse, implementiert und erprobt. Bei der Implementierung der Plugins wurde auf eine enge Integration mit Fujaba zum einen und mit Eclipse auf der anderen Seite geachtet. Zusammenfassend wird also ein Entwicklungsprozess vorgestellt, die Möglichkeit in diesem mit automatischen Tests Fehler zu identifizieren und diese Fehler dann mittels spezieller Debuggingtechniken im Programm zu lokalisieren und schließlich zu beheben. Dabei läuft der komplette Prozess auf Modellebene ab. Für die Test- und Debuggingtechniken wurden in dieser Arbeit Plugins für Fujaba4Eclipse entwickelt, die den Entwickler bestmöglich bei der zugehörigen Tätigkeit unterstützen.

Fujaba Days 2011

Fujaba is an Open Source UML CASE tool project started at the software engineering group of Paderborn University in 1997. In 2002 Fujaba has been redesigned and became the Fujaba Tool Suite with a plug-in architecture allowing developers to add functionality easily while retaining full control over their contributions. Multiple Application Domains Fujaba followed the model-driven development philosophy right from its beginning in 1997. At the early days, Fujaba had a special focus on code generation from UML diagrams resulting in a visual programming language with a special emphasis on object structure manipulating rules. Today, at least six rather independent tool versions are under development in Paderborn, Kassel, and Darmstadt for supporting (1) reengineering, (2) embedded real-time systems, (3) education, (4) specification of distributed control systems, (5) integration with the ECLIPSE platform, and (6) MOF-based integration of system (re-) engineering tools. International Community According to our knowledge, quite a number of research groups have also chosen Fujaba as a platform for UML and MDA related research activities. In addition, quite a number of Fujaba users send requests for more functionality and extensions. Therefore, the 8th International Fujaba Days aimed at bringing together Fujaba develop- ers and Fujaba users from all over the world to present their ideas and projects and to discuss them with each other and with the Fujaba core development team.

Prevalencia de obesidad y factores de riesgo cardiovascular en estudiantes de ciencias de la salud - universidad del Quindío - 2013

ANTECEDENTES: En Colombia, reportes del año 2010 de la Encuesta Nacional de la Situación en Nutrición ENSIN 2010(2), muestran uno de cada dos colombianos, presentan un índice de masa corporal mayor al esperado (3) METODO: El presente estudio de corte transversal, determino la prevalencia de obesidad y otros factores de riesgo cardiovascular en una población de estudiantes de Ciencias de la Salud de una Universidad regional en el primer periodo académico del año 2013. El tamaño de muestra fue n=113 sujetos que corresponden 60,5% a la carrera de medicina y 39,95% a enfermería. Con el fin de conocer su comportamiento con respecto a hábitos y estilos de vida específicos como el consumo de alcohol, el consumo de tabaco y el sedentarismo, así como su asociación a eventos inflamatorios relacionados con la fisiopatología de los procesos de salud asociados al peso, por medio de instrumentos de medición clínica, antropométrica y sérica, determino un modelo estadístico propicio para entender el comportamiento de la obesidad y la enfermedad Cardiovascular RESULTADOS: La prevalencia estimada de sobrepeso y obesidad por Índice de Masa Corporal (IMC), fue del 27,7% (IC 95%: 19.9%,37.2%); por el perímetro abdominal (OBPABD) se encontró una prevalencia estimada del 27,4% (IC 95%: 19,9% – 36,4%), y la prevalencia con el Índice Cintura Cadera (OBICC) fue de 3,5% (IC 95%:1,3% – 9,3%). CONCLUSIONES: La presencia de hábitos no saludables y la presencia de sobrepeso y obesidad se considera que es necesario en primera instancia una valoración general de estado nutricional de los universitarios de las diferentes facultados y plantear estrategias preventivas ya que la literatura documenta los efectos de los hábitos no saludables sino además documenta los efectos de la prevención de la misma ya que en si se ha encontrado asociación para enfermedades cardiovasculares. Se propone que para obtener mayor información del comportamiento de los factores de riesgo cardiovasculares se deberían realizar estudios retrospectivos en el que intervengan las demás carreras de la universidad y poder evaluar la totalidad de población universitaria