A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Musique mixte et vidéo : intégration et interaction, piste vers une nouvelle esthétique

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).

Mécanismes de plasticité synaptique dans l’amygdale lors de la réactivation de la mémoire de peur auditive chez le rat : interaction dynamique des récepteurs NMDA et AMPA

La plasticité synaptique est une propriété indispensable à l’acquisition de la mémoire chez toutes les espèces étudiées, des invertébrés aux primates. La formation d’une mémoire débute par une phase de plasticité qui inclut une restructuration synaptique ; ensuite elle se poursuit par la consolidation de ces modifications, contribuant à la mémoire à long terme. Certaines mémoires redeviennent malléables lorsqu’elles sont rappelées. La trace mnésique entre alors dans une nouvelle de phase de plasticité, au cours de laquelle certaines composantes de la mémoire peuvent être mises à jour, puis reconsolidées. L’objectif de la présente thèse est d’étudier les mécanismes cellulaires et moléculaires qui sont activés lors du rappel d’une mémoire. Nous avons utilisé un modèle de conditionnement Pavlovien, combiné à l’administration d’agents pharmacologiques et à l’analyse quantitative de marqueurs de plasticité synaptique, afin d’étudier la dynamique de la mémoire de peur auditive chez des rats Sprague Dawley. La circuiterie neuronale et les mécanismes associatifs impliqués dans la neurobiologie de cette mémoire sont bien caractérisés, en particulier le rôle des récepteurs glutamatergiques de type NMDA et AMPA dans la plasticité synaptique et la consolidation. Nos résultats démontrent que le retour de la trace mnésique à un état de labilité nécessite l’activation des récepteurs NMDA dans l’amygdale baso-latérale à l’instant même du rappel, alors que les récepteurs AMPA sont requis pour l’expression comportementale de la réponse de peur conditionnée. D’autre part, les résultats identifient le rappel comme une phase bien plus dynamique que présumée, et suggèrent que l’expression de la peur conditionnée mette en jeu la régulation du trafic des récepteurs AMPA par les récepteurs NMDA. Le présent travail espère contribuer à la compréhension de la neurobiologie fondamentale de la mémoire. De plus, il propose une intégration des résultats aux modèles animaux d’étude des troubles psychologiques conséquents aux mémoires traumatiques chez l’humain, tels que les phobies et les syndromes de stress post-traumatiques.

Rôle des Cellules Endothéliales Progénitrices dans la Régulation de la Fonction Plaquettaire

Les Cellules Endothéliales Progénitrices ("Endothelial Progenitor Cells", EPCs) sont des précurseurs endothéliaux qui jouent un rôle émergeant en biologie vasculaire. Les EPCs ont été localisées dans le cordon ombilical, la moelle osseuse, le sang périphérique et dans certains tissus régénérateurs. Les interactions des EPCs avec les cellules sanguines et vasculaires peuvent largement influencer leurs propriétés biologiques et dicter leur fonctionnement pendant la réparation endothéliale. Plus spécifiquement, les interactions des EPCs avec les plaquettes circulantes induisent leur migration, leur recrutement et leur différentiation en cellules endothéliales aux sites de lésions vasculaires. Cependant, l’impact d’une telle interaction sur la fonction plaquettaire n’a pas été recherché. Le but de mon projet était de :1) générer des EPCs à partir des cellules mononucléaires du sang humain périphérique ("Peripheral Blood Mononuclear Cells", PBMCs); 2) étudier les interactions adhésives entre les EPCs et les plaquettes; 3) déterminer leur impact sur la fonction plaquettaire et la formation du thrombus et 4) décrire le mécanisme d’action des EPCs sur les plaquettes et le thrombus. Mises en culture sur une surface de fibronectine dans un milieu conditionné, les PBMCs fraîchement isolées possédaient une morphologie ronde et une petite taille. Après cinq jours, les PBMCs adhérentes donnaient naissance à des colonies, puis formaient une monocouche de cellules aplaties caractéristiques des EPCs après dix jours de culture. Les EPCs différenciées étaient positives pour l’Ulex-lectine et l’Acétyle des lipoprotéines de faible densité ("Acetylated Low Density Lipoprotein", Ac-LDL), exprimaient les marqueurs progéniteurs (CD34, P-sélectine, VEGFR2, vWF et VE-Cadhérine) tandis que les marqueurs leucocytaires (CD14, PSGL-1 et L-sélectine) étaient absents. Ces EPCs interagissaient avec les plaquettes activées par un mécanisme dépendant de la P-sélectine plaquettaire, inhibaient l’activation et l’agrégation plaquettaire et réduisaient significativement l’adhésion plaquettaire, principalement par l’action de prostacycline (PGI2). En fait, ceci était associé avec une augmentation de l’expression de la cyclooxygénase-2 (COX-2) et du monoxyde d’azote (NO) synthéthase inductible (iNOS). Toutefois, les effets inhibiteurs des EPCs sur la fonction plaquettaire ont été renversés par une inhibition de la COX et non pas du NO. Bien que les EPCs fussent en mesure de lier les plaquettes via la P-sélectine, leurs effets prédominants étaient médiés essentiellement par une sécrétion paracrine, impliquant la PGI2. Néanmoins, un rapprochement étroit ou un bref contact entre les EPCs et les plaquettes était requis pour que cette fonction soit complètement réalisée. D’ailleurs, cet aspect a été investigué chez des souris déficientes en P-sélectine (P-sel-/-) et chez leurs congénères de phénotype sauvage (Wild Type, WT). Chez les souris WT, les EPCs inhibaient l’agrégation plaquettaire dans le sang complet de manière concentration-dépendante alors que dans les souris P-sel-/-, l’action des EPCs n’avait pas d’effet significatif. De plus, en utilisant un modèle murin de thrombose artérielle, nous avons démontré que l’infusion systémique des EPCs altéraient la formation du thrombus et réduisaient significativement sa masse chez les souris WT, mais non pas chez les souris P-sel-/-. En outre, le nombre des EPCs incorporées au niveau du thrombus et de la paroi vasculaire était visiblement réduit chez les P-sel-/- par rapport aux souris WT. Dans cette étude, nous sommes parvenus à différentier adéquatement des EPCs à partir des PBMCs, nous avons étudié les interactions adhésives entre les EPCs et les plaquettes, et nous avons décrit leur impact sur la fonction plaquettaire et la formation du thrombus. De plus, nous avons identifié la PGI2 comme étant le principal facteur soluble sécrété par les EPCs en culture et responsable de leurs effets inhibiteurs sur l’activation, l’adhésion et l’agrégation plaquettaire in vitro. De surcroît, nous avons élucidé le mécanisme d’action des EPCs sur l’agrégation plaquettaire et la formation du thrombus, in vivo, et nous avons souligné le rôle de la P-sélectine plaquettaire dans ce processus. Ces résultats ajoutent de nouvelles connaissances sur la biologie des EPCs et définissent leur rôle potentiel dans la régulation de la fonction plaquettaire et la thrombogenèse.

En marge de l'affaire Norbourg : les enjeux substantifs et punitifs suscités par le double aspect, réglementaire et criminel, de certains comportements frauduleux dans le domaine des valeurs mobilières

Article accepté pour publication dans Les Cahiers de droit 2009 dont le thème spécial est : Dérives et évolutions du droit pénal. Les auteurs ont la permission de diffuser cet article dans Papyrus jusqu’à sa parution dans Les Cahiers de droit.

Virus-Host Interaction during Therapy against Hepatitis C Virus

Le virus de l’hépatite C (VHC) est un problème mondial. La majorité des personnes infectées (70-85%) développent une infection chronique qui cause des complications hépatiques. Le seul régime thérapeutique approuvé pour le VHC est l'interféron alpha (IFN-α). Ce traitement a un taux de réussite de 50-80% selon le génotype de virus et le moment de l'initiation de la thérapie. Les facteurs régissant la réponse au traitement ne sont pas bien définis. Des études antérieures ont suggéré un rôle potentiel de la réponse immunitaire de l'hôte au succès de la thérapie, toutefois, ces résultats sont controversés. Nous avons émis l'hypothèse que la réponse immunitaire de l’hôte sera plus efficace chez les patients qui commencent la thérapie tôt pendant la phase aiguë de l'infection. En revanche, la réponse immunitaire sera épuisée lorsque le traitement est initié pendant la phase chronique. L'objectif principal de ce mémoire est d’étudier les facteurs immunologiques qui régissent la réponse à la thérapie, et de déterminer si la contribution de la réponse immunitaire de l'hôte peut être influencée par la période de l'infection. Nos résultats démontrent l'efficacité de la restauration de la réponse immunitaire spécifique au VHC lorsque la thérapie par l'interféron est initiée tôt. Ceci est démontré par le sauvetage des cellules T efficaces spécifiques au VHC efficace similaires à celles observées chez les individus qui ont résolu spontanément, suggérant ainsi qu'elles jouent un rôle actif dans la réponse au traitement. Toutefois, cette réponse n'a pas été restaurée chez les patients traités au cours de la phase chronique. Ces résultats ont des implications importantes dans la compréhension des mécanismes sous-jacents à la réponse aux traitements actuels et au développement des nouvelles thérapies.

La délocalisation et son impact sur les employés transférés: une étude de cas dans le secteur des services

Les transformations économiques visant la création d’un marché mondial unique, le progrès technologique et la disponibilité d’une main-d’œuvre qualifiée dans les pays à bas salaire amènent les dirigeants des entreprises à réexaminer l’organisation et la localisation de leurs capacités productives de façon à en accroître la flexibilité qui est, selon plusieurs, seule garante de la pérennité de l’organisation (Atkinson, 1987; Patry, 1994; Purcell et Purcell, 1998; Kennedy 2002; Kallaberg, Reynolds, Marsden, 2003; Berger, 2006). Une stratégie déployée par les entreprises pour parvenir à cette fin est la délocalisation (Kennedy, 2002; Amiti et Wei, 2004; Barthélemy, 2004; Trudeau et Martin, 2006; Olsen, 2006). La technologie, l’ouverture des marchés et l’accès à des bassins nouveaux de main-d’œuvre qualifiée rendent possible une fragmentation de la chaîne de production bien plus grande qu’auparavant, et chaque maillon de cette chaîne fait l’objet d’un choix de localisation optimale (Hertveldt et al., 2005). Dans ces conditions, toutes les activités qui ne requièrent aucune interaction complexe ou physique entre collègues ou entre un employé et un client, sont sujettes à être transférées chez un sous-traitant, ici ou à l’étranger (Farrell, 2005). La plupart des recherches traitant de l’impartition et des délocalisations se concentrent essentiellement sur les motivations patronales d’y recourir (Lauzon-Duguay, 2005) ou encore sur les cas de réussites ou d’échecs des entreprises ayant implanté une stratégie de cette nature (Logan, Faught et Ganster, 2004). Toutefois, les impacts sur les employés de telles pratiques ont rarement été considérés systématiquement dans les recherches (Benson, 1998; Kessler, Coyle-Shapiro et Purcell, 1999; Logan et al., 2004). Les aspects humains doivent pourtant être considérés sérieusement, car ils sont à même d’être une cause d’échec ou de réussite de ces processus. La gestion des facteurs humains entourant le processus de délocalisation semble jouer un rôle dans l’impact de l’impartition sur les employés. Ainsi, selon Kessler et al. (1999), la façon dont les employés perçoivent la délocalisation serait influencée par trois facteurs : la manière dont ils étaient gérés par leur ancien employeur (context), ce que leur offre leur nouvel employeur (pull factor) et la façon dont ils sont traités suite au transfert (landing). La recherche vise à comprendre l’impact de la délocalisation d’activités d’une entreprise sur les employés ayant été transférés au fournisseur. De façon plus précise, nous souhaitons comprendre les effets que peut entraîner la délocalisation d’une entreprise « source » (celle qui cède les activités et les employés) à une entreprise « destination » (celle qui reprend les activités cédées et la main-d’œuvre) sur les employés transférés lors de ce processus au niveau de leur qualité de vie au travail et de leurs conditions de travail. Plusieurs questions se posent. Qu’est-ce qu’un transfert réussi du point de vue des employés? Les conditions de travail ou la qualité de vie au travail sont-elles affectées? À quel point les aspects humains influencent-t-ils les effets de la délocalisation sur les employés? Comment gérer un tel transfert de façon optimale du point de vue du nouvel employeur? Le modèle d’analyse est composé de quatre variables. La première variable dépendante (VD1) de notre modèle correspond à la qualité de vie au travail des employés transférés. La seconde variable dépendante (VD2) correspond aux conditions de travail des employés transférés. La troisième variable, la variable indépendante (VI) renvoie à la délocalisation d’activités qui comporte deux dimensions soit (1) la décision de délocalisation et (2) le processus d’implantation. La quatrième variable, la variable modératrice (VM) est les aspects humains qui sont examinés selon trois dimensions soit (1) le contexte dans l’entreprise « source » (Context), (2) l’attrait du nouvel employeur (pull factor) et (3) la réalité chez le nouvel employeur (landing). Trois hypothèses de recherche découlent de notre modèle d’analyse. Les deux premières sont à l’effet que la délocalisation entraîne une détérioration de la qualité de vie au travail (H1) et des conditions de travail (H2). La troisième hypothèse énonce que les aspects humains ont un effet modérateur sur l’impact de la délocalisation sur les employés transférés (H3). La recherche consiste en une étude de cas auprès d’une institution financière (entreprise « source ») qui a délocalisé ses activités technologiques à une firme experte en technologies de l’information (entreprise « destination »). Onze entrevues semi-dirigées ont été réalisées avec des acteurs-clés (employés transférés et gestionnaires des deux entreprises). Les résultats de la recherche indiquent que la délocalisation a de façon générale un impact négatif sur les employés transférés. Par contre, cette affirmation n’est pas généralisable à tous les indicateurs étudiés de la qualité de vie au travail et des conditions de travail. Les résultats mettent en évidence des conséquences négatives en ce qui a trait à la motivation intrinsèque au travail, à l’engagement organisationnel ainsi qu’à la satisfaction en lien avec l’aspect relationnel du travail. La délocalisation a également entraîné une détérioration des conditions de travail des employés transférés soit au niveau de la sécurité d’emploi, du contenu et de l’évaluation des tâches, de la santé et sécurité au travail et de la durée du travail. Mais, d’après les propos des personnes interviewées, les conséquences les plus importantes sont sans aucun doute au niveau du salaire et des avantages sociaux. Les conséquences de la délocalisation s’avèrent par contre positives lorsqu’il est question de l’accomplissement professionnel et de la satisfaction de l’aspect technique du travail. Au niveau de la confiance interpersonnelle au travail, l’organisation du travail, la formation professionnelle ainsi que les conditions physiques de l’emploi, les effets ne semblent pas significatifs d’après les propos recueillis lors des entrevues. Enfin, les résultats mettent en évidence l’effet modérateur significatif des aspects humains sur les conséquences de la délocalisation pour les employés transférés. L’entreprise « source » a tenté d’amoindrir l’impact de la délocalisation, mais ce ne fut pas suffisant. Comme les employés étaient fortement attachés à l’entreprise « source » et qu’ils ne désiraient pas la quitter pour une entreprise avec une culture d’entreprise différente qui leur paraissait peu attrayante, ces dimensions des aspects humains ont en fait contribué à amplifier les impacts négatifs de la délocalisation, particulièrement sur la qualité de vie au travail des employés transférés. Mots clés : (1) délocalisation, (2) impartition, (3) transfert d’employés, (4) qualité de vie au travail, (5) conditions de travail, (6) technologies de l’information, (7) entreprise, (8) gestion des ressources humaines.

Développement durable: quelques points litigieux

Ouvrant la réflexion sur les enjeux de la perte massive de la biodiversité, l'article s'appuie sur la question élémentaire de l'importance de la diversité biologique pour l'homme, à la fois sur le plan économique, biologique et éthique. La maîtrise de la nature par l'homme se révèle être une illusion. La réalité étant celle de l'interaction, il est permis de dire que les sociétés humaines agissent sur leurs propres conditions en modifiant les équilibres biologiques pour satisfaire leurs besoins, sans pour autant intégrer cette interaction fondamentale dans l'équation d'un rapport viable entre l'homme et la nature. L'approche récente par le biais des analyses des services écologiques constitue à cet égard un progrès sensible. Il aboutit néanmoins au constat de l'impossibilité pour l'humanité de se substituer aux mécanismes naturels permettant de tirer les services de la nature nécessaires à sa survie. Plutôt que de prétendre contrôler et maîtriser la nature à tout prix, l’homme devrait apprendre à se reconnaître comme une partie consciente de la nature et à vivre avec la vie qui l’entoure. Cet apprentissage soulève des défis scientifiques, humains et de gouvernance. L'article prône la nécessité d'une science de la biodiversité intégrée et non plus éclatée, condition essentielle pour l'élaboration de politiques économiques et sociales qui intègrent la viabilité de l'utilisation des ressources naturelles et des services qu'elles procurent.

Interaction de Tau avec la petite GTPase Rab5

La protéine Tau joue un rôle essentiel dans les neurones, notamment par ses interactions avec les éléments du cytosquelette. Des études récentes ont également montré que Tau était impliquée dans la motilité des organelles le long des microtubules axonaux. Dans ce mémoire de Maîtrise, nous avons démontré par recouvrement sur gel une nouvelle interaction in vitro pour Tau avec la petite GTPase Rab5, qui est impliquée dans l’endocytose précoce. De plus, nous avons montré que Tau et Rab5 immuno-précipitaient sur une même population de vésicules in vivo. La sur-expression de Tau dans des neurones primaires de l’hippocampe nous a permis de montrer que Tau et Rab5 avaient une distribution similaire dans l’axone des neurones, suggérant un rôle de Tau dans l’ancrage des endosomes précoces sur les microtubules. Par contre, à la différence de ce qui a pu être observé dans certaines études, la sur-expression de Tau n’a pas inhibé le transport axonal des endosomes précoces. Enfin, nous avons montré que Tau interagissait préférentiellement avec la Rab5 active liée au GTP et des résultats préliminaires nous laissent penser que Tau serait un effecteur ou une GAP pour Rab5. Dans les tauopathies, la Tau devient hyperphosphorylée, décroche des microtubules axonaux et forme des agrégats dans le corps cellulaire du neurone. Ces modifications biochimiques et de localisation de la protéine Tau pourraient être la source d’une perte d’interaction de la Tau avec Rab5 et être responsable de certaines atteintes neurologiques observées dans les tauopathies.