Diagnostic des protocoles de communication fondé sur les automates à états finis étendus

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal

Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects

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

Vers un profil UML pour la conception de composants multivues

International audienceThis paper aims to present an UML profile based on multiviews components. A multiviews component allows to encapsulate and deliver information according to the user's point of view and offers mechanisms to manage the dynamic evolution of viewpoints and consistency among views. In this paper, we first present the notion of multiviews component and its integration into a UML profile, and thus detail an object-oriented multiviews modelling applied to a concrete example. The transition to the coding stage is described through a generic implementation pattern.L' objectif de cet article est de présenter un profil UML permettant la construction de composants logiciels multivues. Un composant multivues est une extension de la notion de composant UML permettant de stocker et restituer de l' information en fonction du profil de l' utilisateur (point de vue), et offrant la possibilité de changement dynamique de point de vue. Dans cet article, nous présentons tout d' abord la notion de classe multivues, puis le composant multivues et son intégration dans un profil UML. Nous illustrons à l' aide d' un exemple concret la mise en oeuvre d' une modélisation objet multivues. La transition vers la phase de codage est présentée à travers un patron d'implémentation générique

Vers une nouvelle approche de la modernisation des systèmes légataires à travers la migration vers un environnement dirigé par les modèles

Les organisations sont fortement dépendantes de leurs logiciels dans l'exercice de leurs activités quotidiennes. Malheureusement, les changements répétés qui sont appliqués à ces systèmes rendent leur évolution difficile. Cette évolution peut être rendue nécessaire afin de maintenir le logiciel, de le remplacer ou de le moderniser. Dans le cas de systèmes légataires complexes et mal documentés, la modernisation est la seule solution réalisable afin d'atteindre les objectifs d'évolution, le but de la modernisation étant de faire évoluer un système lorsque les pratiques conventionnelles ne le permettent plus. Mais, il s'agit d'une tâche complexe. Notamment, la prévision des risques et des coûts est difficile. Afin de faire face aux difficultés de la modernisation, l'OMG a créé l'initiative « Architecture-Driven Modernization » ADM qui propose entre autres de réaliser la modernisation par l'ingénierie dirigée par les modèles (IDM). Dans ce contexte, la modernisation d'un système légataire, non développé dans un environnement IDM, débute par sa migration vers ce type d'environnement. Ce qui pose la problématique de la découverte des modèles nécessaires à l'utilisation d'IDM représentant ce système. Une seconde problématique est que le processus IDM manque de précision au sujet des modèles à employer et de l'application des transformations pour passer d'un à l'autre. Dans cette thèse, nous présentons une nouvelle approche de modernisation ADM afin d'utiliser l'IDM pour moderniser un système légataire non IDM. Nous y définissons les modèles nécessaires et les transformations à réaliser pour passer d'un à l'autre. La plate-forme d'implémentation y est représentée par deux modèles. Le premier est un profil UML décrivant ses concepts et le second est un ensemble de modèles de transformations paramétrés capturant son code d'infrastructure. Le modèle représentant les éléments du domaine du problème prend la forme d'un diagramme de classes UML. Aussi, nous proposons des algorithmes pour la découverte de ces modèles en analysant le code source du système légataire. Notre approche a été validée sur plusieurs systèmes écrits en Java et a donné de bons résultats pour les systèmes bien structurés avec un bon style de programmation.\ud _____________________________________________________________________________

Communication pour le développement en Afrique de l'Ouest et du centre : vers un agenda d'intervention et de recherche

Version anglaise disponible dans la Bibliothèque numérique du CRDI: Development communication in West and central Africa : toward a research and intervention agend

Quelle est la mobilité quotidienne des personnes dans les agglomérations ? Approche de la question et propositions d'indicateurs

La nécessité de mieux comprendre les liens entre urbanisme et déplacements est au cœur des préoccupations actuelles en matière de planification et d’aménagement du territoire. Le présent rapport a pour objectif de développer la connaissance de la structure des déplacements, de leur évolution récente et de leurs déterminants. Au-delà, il vise à mieux appréhender les besoins de la population en matière de mobilité quotidienne, en fonction notamment des localisations des populations, des entreprises et des équipements sur le territoire des agglomérations, de l’évolution des modes de vie… L’observation de la mobilité quotidienne devient de ce fait l’une des clés de la compréhension du fonctionnement territorial. Elle traduit en effet la structuration de l’espace urbain, ainsi que la recomposition de l’occupation du sol. L’analyse de cette mobilité trouve donc pleinement sa place dans le programme dédié à l’observation des mutations urbaines. Dans ce dossier, elle a été segmentée en deux parties : d’une part, la qualification globale de la mobilité quotidienne, d’autre part, sa relation avec l’organisation territoriale. Cet ouvrage propose donc une approche pour appréhender la mobilité quotidienne des personnes (motifs, modes, pôles attractifs…) et présente de façon détaillée les indicateurs qu’il est possible d’utiliser pour cela. Chacun d’eux est documenté de façon très précise : liens entretenus avec la question posée, modes de calcul, sources utilisables, illustrations issues de tests réalisés sur cinq sites expérimentaux, extensions possibles ainsi que limites et précautions à prendre en compte pour leur utilisation. Les professionnels de l’observation y trouveront tous les éléments leur permettant de mettre en œuvre les indicateurs proposés sur leur territoire pour procéder à leurs propres analyses, dès lors qu’ils possèdent localement les données nécessaires