Global Internet governance and the public interest in communication

Élaborée à partir d’une étude de cas extensive focalisant sur les perspectives multiples et concurrentes ayant émergé lors des négociations sur la gouvernance de l’Internet, thématique ayant dominé l’agenda politique du Sommet mondial sur la société de l’information (SMSI), cette thèse examine les manières avec lesquelles les débats mondiaux sur la gouvernance de l’Internet influencent la notion d’intérêt public en communication. Établie sur la base d’une observation participante extensive, d’entrevues semi-structurées et de l’analyse d’une documentation formelle et informelle associée au SMSI, cette thèse fait état de l’émergence des enjeux associés à la gouvernance de l’Internet au SMSI et présente une analyse approfondie des négociations ayant porté sur cet enjeu. Le cadre théorique développé par Lawrence Lessig au travers duquel « le code est la loi » est appliqué afin d’expliquer comment les différents acteurs ont débattu et ultimement atteint un consensus sur les frontières venant séparer les enjeux normatifs de politique publique et les questions techniques de régulation et de gestion du réseau. Cette thèse discute également de l’évolution des débats autour de la gouvernance mondiale de l’Internet ayant pris place à la suite de la conclusion du SMSI. Sur la base de cette étude de cas, un ensemble de conclusions sont formulées sur les acteurs et les caractéristiques institutionnelles ayant influencé les négociations sur la gouvernance de l’internet. Il est également suggéré que le SMSI a redéfini une discussion étroite sur la gestion d’un ensemble de fonctions techniques de l’Internet en un domaine de politique publique plus large de gouvernance mondiale de l’Internet. Il est également défendu que la notion d’intérêt public dans la gouvernance mondiale de l’Internet est conceptualisée autour des processus de participation et d’intégration des différentes parties prenantes au processus politique. Les implications directes et indirectes qui découlent de ce constat pour comprendre plus largement la notion d’intérêt public dans le domaine de la communication sont également présentées et discutées. En conclusion, cette thèse s’interroge sur les implications programmatiques des éléments ayant été précédemment soulevées pour la recherche médiatique et communicationnelle.

The great asymmetry : America's closest allies in times of war

This dissertation focuses on military cooperation between the United States and its special allies. It argues that alliance expectations determine the level of military cooperation, while two intervening variables - the level of government cohesion and military capabilities - determine its implementation. This study also shows how secondary states deploy strategies to overcome power asymmetries through bilateral concessions, international organizations and by appealing to principle. The focus of the research is on special allies, as they have the most to gain or lose by going along with American plans. My contention is that secondary allies can rarely influence the dominant ally decisively, but they can act autonomously and resist to pressures exerted by the stronger alliance partner. The argument builds on three central claims. First, power asymmetries between allies translate into different assessments of international threats. Second, when disagreements over threats arise, the outcome of intra-alliance bargaining is not necessarily dictated by the preferences of the stronger power. Third, secondary states, as opposed to the dominant partner, face unique constraints when facing major foreign policy decisions, i.e. they face a trade-off between establishing a credible reputation as an alliance partner in a politically feasible way while minimizing domestic audience costs. To examine the theoretical puzzle presented by asymmetric military cooperation, I introduce a causal explanation that builds on neoclassical realism, to zone in on the interaction between systemic and domestic variables. My research makes a contribution to alliance theory and foreign policy decision-making by studying how special allies respond to American decisions in times of threat and how systemic constraints are channeled through state-level variables. To investigate the causal link between threat perception, alliance expectations and domestic constraints, this study relies on the method of structured focused comparison with three detailed case studies. The focus is on the initial decision made by special allies regarding whether or not to participle in joint mobilization with the United States. The decision-making process is presented from the perspective of secondary allied states and measures the explanatory factors that motivated the decision on military cooperation. The case studies are the UK, Canada and Australia’s response to the war in Afghanistan and the war in Iraq during the period of 2001 to 2003.

Efficient estimation using the characteristic function : theory and applications with high frequency data

The attached file is created with Scientific Workplace Latex

L’influence de la gouvernance sur la capacité de changement du système de soins : l’exemple de l’implantation des groupes de médecine de famille

Cette thèse s’intéresse à la gouvernance de changements en contextes pluralistes. Nous souhaitons mieux comprendre l’exercice de gouvernance déployé pour développer et implanter un changement par le biais d’une politique publique visant la transformation d’organisations pluralistes. Pour ce faire, nous étudions l’émergence et l’implantation de la politique encadrant la création de groupes de médecine de famille (GMF) à l’aide d’études de cas correspondant à cinq GMF. Les cas sont informés par plus de cents entrevues réalisées en deux vagues ainsi que par une analyse documentaire et des questionnaires portant sur l’organisation du GMF. Trois articles constituent le cœur de la thèse. Dans le premier article, nous proposons une analyse de l’émergence et de l’implantation de la politique GMF à l’aide d’une perspective processuelle et contextuelle développée à partir du champ du changement organisationnel, tel qu’étudié en théorie des organisations. Les résultats démontrent que la gestion du changement en contexte pluraliste est liée à de multiples processus prescrits et construits. Nous avons qualifié ce phénomène de régulation de l’action social (regulation of collective action). La conceptualisation développée et les résultats de l’analyse permettent de mieux comprendre les interactions entre les processus, le contexte et la nature du changement. Le deuxième article propose une conceptualisation de la gouvernance permettant l’étude de la gouvernance en contextes pluralistes. La conceptualisation de la gouvernance proposée tire profit de plusieurs courants des sciences politiques et de l’administration publique. Elle considère la gouvernance comme un ensemble de processus auxquels participent plusieurs acteurs détenant des capacités variables de gouvernance. Ces processus émergent des actions des acteurs et des instruments qu’ils mobilisent. Ils permettent la réalisation des fonctions de la gouvernance (la prospective, la prise de décisions ainsi que la régulation) assurant la coordination de l’action collective. Le troisième article propose, comme le premier, une analyse de l’émergence et de l’implantation de la politique mais cette fois à l’aide de la conceptualisation de la gouvernance développée dans l’article précédent. Nos résultats permettent des apprentissages particuliers concernant les différentes fonctions de la gouvernance et les processus permettant leur réalisation. Ils révèlent l’influence du pluralisme sur les différentes fonctions de gouvernance. Dans un tel contexte, la fonction de régulation s’exerce de façon indirecte et est étroitement liée aux fonctions de prospective et de prise de décisions. Ces fonctions rendent possibles les apprentissages et le développement de consensus nécessaires à l’action collective. L’analyse des actions et des instruments a permis de mieux comprendre les multiples formes qu’ils prennent, en lien avec les contextes dans lesquels ils sont mobilisés. Les instruments indirects permettent les interactions (p. ex. commission d’étude, comité ou réunion) et la formalisation d’ententes entre acteurs (p. ex. des contrats ou des protocoles de soins). Ils se sont révélés fondamentaux pour coordonner les différents acteurs participant à la gouvernance, et ce tant aux niveaux organisationnel qu’inter organisationnel. Les résultats démontrent que les deux conceptualisations contribuent à l’étude de la gouvernance du changement. Nous avons développé deux perspectives inspirées par les sciences politiques, l’administration publique et la théorie des organisations et les analyses qu’elles ont permises ont révélé leur complémentarité. Les résultats permettent de mieux comprendre les processus impliqués dans un tel changement ainsi que leur lien avec les efforts déployés aux différents niveaux par les acteurs mobilisant leurs capacités de gouvernance pour influencer et construire la politique GMF.

Allergies and asthma: employing principles of social justice as a guide in public health policy development

This article is an excellent example of applied ethics in public health policy development.

Allergies And Asthma : Employing Principles Of Social Justice As A Guide In Public Health Policy Development

The growing epidemic of allergy and allergy-induced asthma poses a significant challenge to population health. This article, written for a target audience of policy-makers in public health, aims to contribute to the development of policies to counter allergy morbidities by demonstrating how principles of social justice can guide public health initiatives in reducing allergy and asthma triggers. Following a discussion of why theories of social justice have utility in analyzing allergy, a step-wise policy assessment protocol formulated on Rawlsian principles of social justice is presented. This protocol can serve as a tool to aid in prioritizing public health initiatives and identifying ethically problematic policies that necessitate reform. Criteria for policy assessment include: 1) whether a tentative public health intervention would provide equal health benefit to a range of allergy and asthma sufferers, 2) whether targeting initiatives towards particu- lar societal groups is merited based on the notion of ‘worst-off status’ of certain population segments, and 3) whether targeted policies have the potential for stigmatization. The article concludes by analyzing three examples of policies used in reducing allergy and asthma triggers in order to convey the general thought process underlying the use of the assessment protocol, which public health officials could replicate as a guide in actual, region-specific policy development.

Managing Antimicrobial Resistance In Food Production : Conflicts Of Interest And Politics In The Development Of Public Health Policy

Antimicrobial resistance is a growing public health concern and is associated with the over or inappropriate use of antimicrobials in both humans and agriculture. While there has been recognition of this problem on the part of agricultural and public health authorities, there has nonetheless been significant difficulty in translating policy recommendations into practical guidelines. In this paper, we examine the process of public health policy development in Quebec agriculture, with a focus on the case of pork production and the role of food animal veterinarians in policy making. We argue that a tendency to employ strictly techno-scientific risk analyses of antimicrobial use ignores the fundamental social, economic and political realities of key stakeholders and so limits the applicability of policy recommendations developed by government advisory groups. In particular, we suggest that veterinarians’ personal and professional interests, and their ethical norms of practice, are key factors to both the problem of and the solution to the current over-reliance on antimicrobials in food production.

Towards a communicative understanding of organizational change : Koumbit's change process

Comment comprendre les dynamiques qui sous-tendent les changements des organisations? Le changement organisationnel fait partie de la réalité quotidienne des organisations et, comme en témoigne une vaste littérature, le sujet a été abordé à partir de diverses perspectives conceptuelles. Toutefois, plusieurs questions fondamentales demeurent quant à la façon dont le changement organisationnel est accompli (Tsoukas & Chia, 2002; Chia, 1999). Je suggère que la clé pour répondre à ces questions se trouve dans l’étude de la communication. Cependant, le rôle de la communication dans la production du changement reste peu exploré dans les conceptualisations actuelles sur le sujet. Ainsi, l’objectif principal de cette thèse est de décrire la façon dont le changement émerge dans la communication, en d’autres termes, comment il est accompli à partir des interactions. Dans cette recherche, je propose que la compréhension du changement passe par une vision de la communication comme un processus constant dans lequel les réalités sont créées, négociées et transformées de manière interactive. Cette conception est fondée sur a plurified view of interactions (Cooren, Fox, Robichaud & Talih, 2005; Cooren 2010) qui prend en considération la contribution d’êtres appartenant à diverses ontologies (e.g., ordinateurs, règlements, principes, émotions, règles, c.) dans l’action. En mobilisant cette vision de la communication, j’ai étudié les changements qui ont eu lieu à Koumbit — une organisation à but non lucratif basée à Montréal qui œuvre dans le domaine des technologies de l’information. L’observation, les entrevues ainsi que la révision de documents officiels ont été les techniques choisies pour cueillir les données. Ma recherche m’a permis de déterminer que le changement organisationnel est un processus progressif qui se matérialise d’interaction en interaction. C’est en composant et en recomposant des ensembles d’associations que se crée une différence dans l’état des choses. Si bien les interactions sont accomplies dans le ici et le maintenant, leur caractère hybride leur permet de rendre compte de ce que l’organisation a été et de ce qu’elle sera. Cette étude suggère que, d’un point de vue communicationnel, les mécanismes à partir desquels le changement organisationnel est accompli n sont pas aussi différents de ceux qui produisent les processus organisants (organizing).

What are the components of humanized childbirth in a highly specialized hospital? : an organizational case study

Many studies have focused on the concept of humanization of birth in normal pregnancy cases or at low obstetric risk, but no studies, at our knowledge, have so far specifically focused on the humanization of birth in both high-risk, and low risk pregnancies, in a highly specialized hospital setting. The present study thus aims to: 1) define the specific components of the humanized birth care model which bring satisfaction to women who seek obstetrical care in highly specialized hospitals; and 2) explore the organizational and cultural dimensions which act as barriers or facilitators for the implementation of humanized birth care practices in a highly specialized, university affiliated hospital in Quebec. A single case study design was chosen for this thesis. The data were collected through semi-structured interviews, field notes, participant observations, selfadministered questionnaire, relevant documents, and archives. The samples comprised: 11 professionals from different disciplines, 6 administrators from different hierarchical levels within the hospital, and 157 women who had given birth at the hospital during the study. The performed analysis covered both quantitative descriptive and qualitative deductive and inductive content analyses. The thesis comprises three articles. In the first article, we proposed a conceptual framework, based on Allaire and Firsirotu’s (1984) organizational culture theory. It attempts to examine childbirth patterns as an organizational cultural phenomenon. In our second article, we answered the following specific question: according to the managers and multidisciplinary professionals practicing in a highly specialized hospital as well as the women seeking perinatal care in this hospital setting, what is the definition of humanized care? Analysis of the data collected uncovered the following themes which explained the perceptions of what humanized birth was: personalized care, recognition of women’s rights, humanly care for women, family-centered care,women’s advocacy and companionship, compromise of security, comfort and humanity, and non-stereotyped pregnancies. Both high and low risk women felt more satisfied with the care they received if they were provided with informed choices, were given the right to participate in the decision-making process and were surrounded by competent care providers. These care providers who humanly cared for them were also able to provide relevant medical intervention. The professionals and administrators’ perceptions of humanized birth, on the other hand, mostly focused on personalized and family-centered care. In the third article of the thesis, we covered the dimensions of the internal and external components of an institution which can act as factors that facilitate or barriers that prevent, a specialized and university affiliated hospital in Quebec from adopting a humanized child birthing care. The findings revealed that both the external dimensions of a highly specialized hospital -including its history, society, and contingency-; and its internal dimensions -including culture, structure, and the individuals present in the hospital-, can all affect the humanization of birth care in such an institution, whether separately, simultaneously or in interaction. We thus hereby conclude that the humanization of birth care in a highly specialized hospital setting, should aim to meet all the physiological, as well as psychological aspects of birth care, including respect of the fears, beliefs, values, and needs of women and their families. Integration of competent and caring professionals and the use of obstetric technology to enhance the level of certainty and assurance in both high-risk and low risk women are both positive factors for the implementation of humanized care in a highly specialized hospital. Finally, the humanization of birth care approach in a highly specialized and university affiliated hospital setting demands a new healthcare policy. Such policy must offer a guarantee for women to have the place of birth, and the health care professional of their choice as well as those, which will enable women to make informed choices from the beginning of their pregnancy.

Le processus d’élaboration des politiques publiques de retraite au Canada et au Québec de 2003 à 2008

Les recherches en relations industrielles portent rarement sur les politiques publiques du marché du travail. Lorsqu’elles existent, ces recherches s’intéressent généralement à l’efficacité de ces politiques. Or, cette thèse illustre l’importance de comprendre comment se forment les lois et les règlements. Afin de mieux comprendre le processus d’élaboration des politiques publiques, une étude de cas a été réalisée dans le domaine des retraites au Québec et au Canada entre 2003 et 2008. Les retraites ont été ciblées en raison des bouleversements socio-économiques que connaissait le Canada à l’époque, notamment le vieillissement de la population et les fluctuations des rendements des fonds de retraite. Ce sujet a également été retenu car il s’agit d’une compétence partagée entre les paliers gouvernementaux fédéral et provinciaux ainsi que partagée entre le secteur public et privé.Afin d’étudier la question, des théories en relations industrielles et en sciences économiques ont été considérées. C’est toutefois la théorie des courants multiples du politologue américain John Kingdon qui a été retenu comme fondement théorique de cette thèse. Cette théorie, qui postulait que les acteurs voulant influencer les politiques publiques devaient attirer l’attention sur des problèmes, contrôler le débat sur les politiques considérées et se faire des appuis, a été confirmée. La contribution majeure de cette thèse a été d’identifier les différents types d’acteurs impliqués dans le processus d’élaboration de politiques publiques de retraite, les stratégies qu’ils ont employées pour y parvenir et les résultats de leurs efforts.

La gouvernance des réseaux de politique publique : le cas du programme VIH en Haïti

Cette thèse concerne la gouvernance des réseaux de politique publique. Elle cherche à mieux comprendre le phénomène par l’analyse des caractéristiques du réseau d’acteurs impliqués, les défis qui se posent relativement au processus de gouverne, et l’influence qui en résulte pour les interventions. Le cadre d’analyse s’appuie essentiellement sur deux théories de la sociologie des organisations, en l’occurrence la théorie de l’acteur stratégique (Crozier et Friedberg 1977), et la théorie des réseaux de politique publique (Rhodes 1997). Il s’agit d’une étude de cas portant sur le programme VIH/Sida en Haïti, celui-ci étant documenté à partir de données d’entretiens, d’observations et de groupes de discussion. Les résultats de la recherche sont structurés en quatre articles. Le premier article rend compte de l’étape préliminaire, mais non moins importante, de la recherche, c’est-à-dire le travail de terrain. Il présente les défis méthodologiques et éthiques inhérents à la rencontre entre chercheur et participants pour la coconstruction des savoirs, notamment dans le contexte de la recherche en santé mondiale. Le deuxième article analyse les caractéristiques du réseau d’acteurs et montre la nécessité de prendre en compte les attributs propres des acteurs en plus de la structure de leurs interactions pour comprendre la gouvernance des réseaux de politique publique. La plupart des analyses, surtout celles s’appuyant sur l’approche réseau, cherchent à comprendre comment la structure des relations entre les acteurs influence la gouverne, le contenu ou les résultats de politiques. Or, dans le cas du programme VIH en Haïti, il apparaît que ce sont en réalité les attributs des acteurs en termes de ressources et de pouvoir, qui orientent leurs interactions avec les autres acteurs. Le troisième article présente un cadre d’analyse et illustre, à partir de celui-ci, l’influence des outils et des structures, ainsi que du contexte sociopolitique et économique sur la gouvernance du programme VIH/Sida en Haïti. Il argumente ensuite sur les défis que cela pose à la coordination des interventions et à la mise en place des relations de partenariat au sein du réseau d’acteurs. Le quatrième article se penche sur l’émergence de besoins nouveaux chez les personnes vivant avec le VIH (PVVIH) et met en lumière la faiblesse des processus de planification à les cibler. Il renouvelle l’intérêt de l’approche participative, notamment dans le contexte des pays en développement, où il devient crucial d’adapter les interventions au contexte local en utilisant le potentiel et les ressources des communautés. L’étude a donc permis de montrer : 1) les liens qui existent entre les attributs des acteurs, la configuration particulière de leurs interactions et le processus de gouverne; 2) les défis qui résultent de l’influence des outils et structures mis en place, ainsi que des facteurs socioéconomiques et politiques sur le processus de gouverne, et enfin; 3) le lien qui existe entre le mode de gouvernance – via la participation - et la prise en compte des besoins émergents des PVVIH.

Health promotion program implementation, a socio-technical networking process : a case study of a school-based nutrition intervention

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Bootstrap for panel data models with an application to the evaluation of public policies

Le but de cette thèse est d étendre la théorie du bootstrap aux modèles de données de panel. Les données de panel s obtiennent en observant plusieurs unités statistiques sur plusieurs périodes de temps. Leur double dimension individuelle et temporelle permet de contrôler l 'hétérogénéité non observable entre individus et entre les périodes de temps et donc de faire des études plus riches que les séries chronologiques ou les données en coupe instantanée. L 'avantage du bootstrap est de permettre d obtenir une inférence plus précise que celle avec la théorie asymptotique classique ou une inférence impossible en cas de paramètre de nuisance. La méthode consiste à tirer des échantillons aléatoires qui ressemblent le plus possible à l échantillon d analyse. L 'objet statitstique d intérêt est estimé sur chacun de ses échantillons aléatoires et on utilise l ensemble des valeurs estimées pour faire de l inférence. Il existe dans la littérature certaines application du bootstrap aux données de panels sans justi cation théorique rigoureuse ou sous de fortes hypothèses. Cette thèse propose une méthode de bootstrap plus appropriée aux données de panels. Les trois chapitres analysent sa validité et son application. Le premier chapitre postule un modèle simple avec un seul paramètre et s 'attaque aux propriétés théoriques de l estimateur de la moyenne. Nous montrons que le double rééchantillonnage que nous proposons et qui tient compte à la fois de la dimension individuelle et la dimension temporelle est valide avec ces modèles. Le rééchantillonnage seulement dans la dimension individuelle n est pas valide en présence d hétérogénéité temporelle. Le ré-échantillonnage dans la dimension temporelle n est pas valide en présence d'hétérogénéité individuelle. Le deuxième chapitre étend le précédent au modèle panel de régression. linéaire. Trois types de régresseurs sont considérés : les caractéristiques individuelles, les caractéristiques temporelles et les régresseurs qui évoluent dans le temps et par individu. En utilisant un modèle à erreurs composées doubles, l'estimateur des moindres carrés ordinaires et la méthode de bootstrap des résidus, on montre que le rééchantillonnage dans la seule dimension individuelle est valide pour l'inférence sur les coe¢ cients associés aux régresseurs qui changent uniquement par individu. Le rééchantillonnage dans la dimen- sion temporelle est valide seulement pour le sous vecteur des paramètres associés aux régresseurs qui évoluent uniquement dans le temps. Le double rééchantillonnage est quand à lui est valide pour faire de l inférence pour tout le vecteur des paramètres. Le troisième chapitre re-examine l exercice de l estimateur de différence en di¤érence de Bertrand, Duflo et Mullainathan (2004). Cet estimateur est couramment utilisé dans la littérature pour évaluer l impact de certaines poli- tiques publiques. L exercice empirique utilise des données de panel provenant du Current Population Survey sur le salaire des femmes dans les 50 états des Etats-Unis d Amérique de 1979 à 1999. Des variables de pseudo-interventions publiques au niveau des états sont générées et on s attend à ce que les tests arrivent à la conclusion qu il n y a pas d e¤et de ces politiques placebos sur le salaire des femmes. Bertrand, Du o et Mullainathan (2004) montre que la non-prise en compte de l hétérogénéité et de la dépendance temporelle entraîne d importantes distorsions de niveau de test lorsqu'on évalue l'impact de politiques publiques en utilisant des données de panel. Une des solutions préconisées est d utiliser la méthode de bootstrap. La méthode de double ré-échantillonnage développée dans cette thèse permet de corriger le problème de niveau de test et donc d'évaluer correctement l'impact des politiques publiques.

L'État et la gouverne des services de santé : étude du secteur de la génétique au Québec

La reconnaissance du pluralisme du système de santé, et donc des interdépendances unissant l’État aux acteurs participant à l’offre des services de santé, pose non seulement la question de la capacité de l’État à gouverner selon ses objectifs, mais aussi celle de la forme des interventions entreprises à cette fin. Cette thèse vise à comprendre comment se développe la participation de l’État à la gouverne d’un secteur de services de santé, et plus particulièrement comment ses interactions avec les acteurs impliqués dans l’offre des services affectent, au fil du temps, les possibilités d’actions étatiques sous-jacentes à la sélection d’instruments de gouverne spécifiques. Elle propose pour ce faire un modèle théorique qui s’inspire de la littérature traitant des instruments de gouverne ainsi que de la théorie de la pratique (Bourdieu). La participation de l’État à la gouverne y est conçue comme le résultat d’un processus historique évolutif, marqué alternativement par des périodes de stabilité et de changement en regard des instruments mobilisés, qui se succèdent selon l’articulation des interactions et des contextes affectant les possibilités d’action que les acteurs perçoivent avoir. Ce modèle a été appliqué dans le cadre d’une étude de cas portant sur le secteur génétique québécois (1969-2010). Cette étude a impliqué l’analyse processuelle et interprétative de données provenant de sources documentaires et d’entrevues réalisées auprès de représentants du ministère de la Santé et des Services sociaux ainsi que de médecins et chercheurs œuvrant dans le secteur de la génétique. Ces analyses font émerger quatre périodes de stabilité en regard des instruments de gouverne mobilisés, entrecoupées de périodes de transition au cours desquelles le Ministère opère une hybridation entre les instruments jusque là employés et les nouvelles modalités d’intervention envisagées. Ces résultats révèlent également que l’efficacité de ces instruments - c’est-à-dire la convergence entre les résultats attendus et produits par ceux-ci - perçue par le Ministère constitue un facteur de première importance au regard de la stabilisation et du changement des modalités de sa participation à la gouverne de ce secteur. En effet, lorsque les instruments mobilisés conduisent les médecins et chercheurs composant le secteur de la génétique à agir et interagir de manière à répondre aux attentes du Ministère, les interventions ministérielles tendent à se stabiliser autour de certains patterns de gouverne. À l’inverse, le Ministère tend à modifier ses modes d’intervention lorsque ses interactions avec ces médecins et chercheurs le conduisent à remettre en cause l’efficacité de ces patterns. On note cependant que ces changements sont étroitement liés à une évolution particulière du contexte, amenant une modification des possibilités d’action dont disposent les acteurs. Ces résultats révèlent enfin certaines conditions permettant au Ministère de rencontrer ses objectifs concernant la gouverne du secteur de la génétique. Les instruments qui impliquent fortement les médecins et chercheurs et qui s’appuient sur des expertises qu’ils considèrent légitimes semblent plus susceptibles d’amener ces derniers à agir dans le sens des objectifs ministériels. L’utilisation de tels instruments suppose néanmoins que le Ministère reconnaisse sa propre dépendance vis-à-vis de ces médecins et chercheurs.

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.