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.

The Social Power of Bodin's 'Sovereignty' and International Law

The word ‘sovereignty’ provides a forceful example of the social power of language as an organic instrument playing a leading role in the continuous and continuing process of creating and transforming human reality. The paper examines a pivotal episode in the history of the word ‘sovereignty’ — its formal introduction in the 16th century by Jean Bodin in his Six Livres de la Republique. It focuses on the social effects ‘sovereignty’ has had on the shared consciousness of humanity, including that of the international community. The proposed metalogical inquiry adopts a method that draws from the hermeneutic school of historical knowledge. The argument is that Bodin used ‘sovereignty’ for the purpose of attributing to the ruler (the French king) supreme power in the hierarchical organisational structure of society. This idea of a pyramid of authority is found in different elements of the discourse in Six Livres de la Republique, which is examined in the immediate context of Bodin’s personal background as well as the extended social, political and intellectual context of 16th century France. The conclusion shows that Bodin’s work was the first seminal step in the development of contemporary ideas of ‘internal sovereignty’ and ‘external sovereignty’. It is thus part of the history of the true power that the word at hand has exercised in framing the international state system and hence the international legal system.

The process of minoritisation of the Franco-Ontarian identity and its numerous articulations : a Montfort Hospital case study

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

La collaboration interprofessionnelle au sein de communautés de pratique œuvrant auprès de patients atteints de maladies chroniques : synthèse des expériences rapportées dans la littérature

Le système de santé est aujourd’hui marqué d’une complexité attribuable aux maladies chroniques, dont la hausse anticipée de la prévalence génère l’urgence d’une organisation et d’une approche différentes des services dispensés. Ce réaménagement des soins de santé fait appel à un changement de paradigme basé sur la collaboration interprofessionnelle et l’ouverture à l’incertitude, aptes à favoriser une mise en commun des connaissances. Dans cette perspective, les communautés de pratique (CdeP) semblent un moyen qui favorise le développement de la collaboration interprofessionnelle et le partage des connaissances. Elles apparaissent donc comme une formule qui mérite une investigation, à savoir si elles peuvent favoriser une telle collaboration et faciliter la co-construction de connaissances permettant une pratique évolutive, centrée sur le patient. Notre recherche s’inscrit dans cette optique et s’intéresse aux expériences, rapportées dans la littérature, de collaboration interprofessionnelle au sein de communautés de pratique centrées sur le patient atteint de maladie chronique. Pour ce faire, nous avons d’abord développé un cadre conceptuel visant à identifier les fondements théoriques et conceptuels de la notion de communauté de pratique. Ceci nous a amené à : 1) analyser l’évolution du concept de CdeP dans les principales œuvres de Wenger et de ses collaborateurs; 2) positionner les CdeP eu égard à d’autres formules de travail collaboratif (communauté, communauté d’apprentissage, communauté apprenante, organisation apprenante, communauté épistémique); 3) comparer le concept de collaboration avec d’autres s’en rapprochant (coopération notamment), de même que les notions d’interdisciplinarité et d’interprofessionnalité souvent associées à celle de CdeP; 4) étayer les dimensions cognitive et collaborative inhérentes aux expériences de CdeP; et 5) identifier les avancées et les limites attribuées à la mise en application du concept de CdeP dans le domaine de la santé. La métasynthèse (Beaucher et Jutras, 2007) dans une approche « compréhensive interprétative », s’est imposée comme méthode appropriée à notre intention de mieux saisir les expériences de collaboration interprofessionnelle menées dans le cadre des CdeP dans le domaine de la santé. La métasynthèse nous a ainsi permis d’obtenir une vue d’ensemble de la littérature portant sur les CdeP dans le domaine de la santé et de catégoriser les 194 articles rassemblés, pour ensuite retenir 13 articles traitant d’une réelle expérience de CdeP. Ainsi, dans une perspective contributoire, basée sur notre cadre conceptuel, l’analyse des principaux résultats de la métasynthèse, nous a permis 1) d’identifier les flous conceptuels liés aux expériences de CdeP rapportées, ainsi que 2) de dégager les retombées et les difficultés de leur mise en application dans le domaine de la santé et, enfin, 3) de démontrer la nécessité de mener des recherches visant l’étude du processus de développement de CdeP sur le terrain de la pratique de soins, notamment mais non exclusivement, lorsqu’il s’agit de maladies chroniques.