Notre étude porte sur les monuments publics réalisés en Asie Mineure sous les Flaviens (69/96 ap. J.-C.). Nos recherches ont permis de réfléchir sur le rôle des différents intervenants impliqués dans les projets et à mettre en lumière les traces de leur activité. Bien que rares, les sources textuelles, comme les dédicaces, apportent de nombreuses informations sur les évèrgètes et nous offrent parfois certains détails sur les coopérations entre les commanditaires, les épimélètes et l’administration impériale. L’étude détaillée des éléments architectoniques,en révélant des tours de mains, nous a permis d’aborder la question des structures des ateliers micrasiatiques et de proposer, pour certains, leur parcours sur les différents chantiers du dernier quart du 1e s. ap. J.-C. Cette étude s’est associée à celle des techniques de réalisation des blocs, mettant en évidence l’effort conséquent de standardisation mis en place en Asie Mineure, et plus particulièrement à Ephèse sous Domitien. Nous nous sommes également penché sur la question de la réception et de la diffusion des modèles de décor et avons mis en évidence l’influence contrastée de Rome sur les créations flaviennes micrasiatiques, en raison de la présence de traditions culturelles fortes dans cette région. Ainsi, des créations endogènes, certes limitées, montrent que des artisans locaux ont été capables d’innover, bien souvent en reformulant d’anciens modèles hellénistiques.Enfin nos recherches ont conduit à mettre en évidence l’attrait tout particulier des monuments des eaux en Asie Mineure, à travers les nombreuses réalisations balnéaires sous Vespasien en Lycie ou l’élaboration de fontaines monumentales dans la province d’Asie sous Domitien. / Our study handles the question of public buildings built in Asia Minor during the flavian Period (69/96 A.D.).Our researches led us to have a reflection about the different people intervening in the projects and to showsome traces of their activity. Even if they are rare, the textual sources, such as dedications, bring manyinformations about the evergetes, and offer some details on the cooperation between the patrons, the curatorsand the imperial administration. The detailed study of the architectural elements, revealing some productionskills, allowed us to have a reflection about the structure of workshops in Asia Minor and led us to offer, insome case, a view of their course between different buildings sites of the end of the first century A.D. Thisstudy naturally got associated with others handling the question of block construction, showing the importanteffort developed to achieve standardisation in Asia Minor, and more specifically at Ephesus under Domitian.We also studied the reception and spreading of setting models and showed the contrasted influence of Rome onthe flavian creations in Anatolia, because of the presence of strong cultural traditions in this country. Thus,limited endogenous creations show that local craftsmen were able to innovate, often using basis of ancienthellenistics models. Finally our study lead us to enhance the particular attraction for water buildings in AsiaMinor, through the many bathing facilities built under Vespasian in Lycia or the development of monumentalfountains in Asia under Domitian.

Les architectures de systèmes à logiciel posent des défis pour les experts de sécurité. nombreux travaux ont eu pour objectif d’élaborer des solutions théoriques, des guides méthodologiques et des recommandations, pour renforcer la sécurité et protéger ces systèmes.Une solution proposée est d’intégrer des patrons de sécurité comme solutions méthodologiques à adapter aux spécificités des architectures considérées. Une telle solution est considérée fiable si elle résout un problème de sécurité sans affecter les exigences du système.Une fois un modèle d’architecture implante les patrons de sécurisé, il est nécessaire de valider formellement ce nouveau modèle au regard des exigences attendues. Les techniques de model checking permettent cette validation en vérifiant, d’une part, que les propriétés des patrons de sécurité sont respectées et, d’autre part, que les propriétés du modèle initial sont préservées.Dans ce travail de thèse, nous étudions les méthodes et les concepts pour générer des modèles architecturaux respectant des exigences de sécurité spécifiques. Àpartir d’un modèle d’architecture logicielle, d’une politique de sécurité et d’une librairie des patrons de sécurité, nous souhaitons générer une architecture sécurisée. Chaque patron de sécurité est décrit par une description formelle de sa structure et de son comportement, ainsi qu’une description formelle des propriétés de sécurité associées à ce patron.Cette thèse rend compte des travaux sur l’exploitation de techniques de vérification formelle des propriétés, par model-checking. L’idée poursuivie est de pouvoir générer un modèle d’architecture qui implante des patrons de sécurité, et de vérifier que les propriétés de sécurité, comme les exigences de modèle, sont respectées dans l’architecture résultante.En perspective, les résultats de notre travail pourraient s'appliquer à définir une méthodologie pour une meilleure validation de la sécurité des systèmes industriels comme les SCADA. / Software-based architectures pose challenges for security experts. Many studieshave aimed to develop theoretical solutions, methodological guides and recommendations to enhance security and protect these systems.One solution proposed is to integrate security patterns as methodological solutions to adapt to the specificities of the considered architectures. Such a solution is considered reliable if it solves a security problem without affecting systemrequirements. Once an architecture model implements the security patterns, it is necessary to formally validate this new model against the expected requirements. Model checking techniques allow this validation by verifying, on one hand, that theproperties of the security patterns are respected and, on the other hand, that the properties of the initial model are preserved.In this thesis work, we study the methods and concepts to generate architectural models that meet specific security requirements. Starting with a software architecture model, a security policy and a library of security patterns, we want to generate a secure architecture. Each security pattern is described by aformal description of its structure and behavior, as well as a formal description of the security properties associated with that pattern.This thesis reports work on the technical exploitation of formal verification of properties, using model-checking.The idea is to be able to generate an architecture model that implements security patterns, and to verify that the security properties, as well as the model requirements, are respected in the resulting architecture.In perspective, the results of our work could be applied to define a methodology for a better validation of the security of industrial systems like SCADA.

Les travaux de recherche développés dans cette thèse, définissent une approche d'évolution d'ontologie Onto-Evoal (Ontology Evolution-Evaluation) qui s'appuie sur une modélisation de patrons de gestion de changement CMP (Change Management Patterns). Ces patrons spécifient des classes de changements, des classes d'incohérences et des classes d'alternatives de résolution. Sur la base de ces patrons et des relations sémantiques entre eux, un processus automatisé permettant de conduire l'application des changements tout en maintenant la cohérence de l'ontologie évoluée a été développé. L'approche intègre également une activité d'évaluation basée sur un modèle de qualité d'ontologie qui a été défini. Ce modèle est employé pour guider la gestion des incohérences en évaluant l'impact des résolutions proposées sur le contenu et l'usage de l'ontologie à travers un ensemble de métriques quantitatives et ce, afin de choisir une résolution qui préserve la qualité de l'ontologie évoluée. La gestion des changements étant fortement liée au modèle dans lequel est représentée l'ontologie, nous nous sommes focalisés sur le langage OWL en tenant compte de l'impact des changements sur la cohérence logique de l'ontologie telle que spécifiée dans la couche OWL DL. Les principales contributions de l'approche résident dans la modélisation des patrons de gestion de changement guidant le processus d'évolution, l'intégration de l'évaluation de la qualité pour optimiser la résolution des changements et la modélisation formelle et explicite du journal d'évolution.

Ce travail de recherche concerne l'apport de l'approche Aspect à l'ingénierie des systèmes d'information (SI) en général et aux patrons de conception en particulier. L'objectif principal de ce travail est de développer des patrons à base d'aspects afin de faciliter et de guider l'ingénierie de SI par réutilisation de patrons.<br />Les patrons de conception par objets améliorent et accélèrent le développement en favorisant l'évolution, l'adaptation et la réutilisation de SI. Leur utilisation dans une approche strictement Objet pose cependant plusieurs problèmes et limites qui sont principalement liés à la dispersion et à l'enchevêtrement du code de leurs imitations dans l'implémentation des applications. L'approche Aspect permet de nouvelles solutions pour ces patrons contribuant à garder visible et isolée l'imitation de chaque patron dans le code des applications, afin de pallier à leurs problèmes d'utilisation et d'améliorer leur traçabilité et leur réutilisation.<br />Toutefois, un manque de consensus sur les concepts et mécanismes fondamentaux de l'approche Aspect et la diversité des modèles et langages de programmation proposés dans ce courant de recherche rendent difficile l'expression de structures par aspects de patrons indépendamment d'une technique de programmation par aspects particulière. Pour aborder cette difficulté, nous avons adopté une approche par métamodélisation et transformation de modèles. Nous avons basé cette approche sur un métamodèle général intégrant les particularités de l'approche Aspect et deux métamodèles spécifiques à AspectJ et Hyper/J. Les trois métamodèles proposés sont définis comme étant des extensions du métamodèle d'UML. Des règles de transformation sont également proposées.<br />Nous avons utilisé le métamodèle général pour l'expression de nouvelles solutions par aspects des patrons de conception par objets que nous considérons. Cette étude nous a permis de définir un système de huit nouveaux patrons originaux capitalisant des expertises en matière de conception par aspects. Les patrons proposés sont coordonnés et hiérarchisés ce qui permet d'offrir un cadre pour une démarche pour réaliser une conception et une programmation par aspects de qualité.

Les défauts de code et de conception sont des problèmes d'implémentation et de conception qui proviennent de ''mauvais'' choix conceptuels récurrents. Ces défauts ont pour conséquence de freiner le développement et la maintenance des systèmes en les rendant plus difficiles à maintenir et évoluer. Une détection et une correction semi-automatiques sont donc des facteurs clefs pour faciliter les phases de maintenance et d'évolution.<br /><br />Des techniques et outils ont été proposés dans la littérature à la fois pour la détection et la correction des défauts. Les techniques de détection proposées consistent principalement à définir des règles pour détecter les défauts et à les appliquer sur le code source d'un système. Quant aux techniques de correction, elles consistent à appliquer de façon automatique des refactorisations dans le code source du système analysé afin de le restructurer de manière à corriger les défauts. Cependant, la phase qui consiste à identifier les restructurations est réalisée manuellement par les<br />ingénieurs logiciels. Ainsi, il n'est pas possible de corriger<br />directement et automatiquement les défauts détectés. Ce problème est dû au fait que la détection et la correction des défauts sont traitées de façon isolée.<br /><br />Ainsi, nous proposons DECOR, une méthode qui englobe et définit toutes les étapes nécessaires pour la détection et la correction des défauts de code et de conception. Cette méthode permet de spécifier des règles de détection à un haut niveau d'abstraction et de suggérer des restructurations de code afin d'automatiser la correction des défauts.<br /><br />Nous appliquons et validons notre méthode sur des systèmes libres orientés objet afin de montrer que notre méthode permet une détection précise et une correction adaptée des défauts.

La mesura del patró d'activitat física de la població ha esdevingut un factor fonamental en l'epidemiologia del comportament, per entendre la relació que existeix entre aquesta variable i la prevenció de nombroses malalties cròniques, de gran prevalença en la societat. No existeix un mètode únic, vàlid i fiable que sigui aplicable a tota la població. Això dificulta la comparació entre països, el seguiment de les dades, i la determinació de la relació causa - efecte, entre activitat física i salut. L'objectiu d'aquesta tesi ha estat aportar més informació sobre el patró d'activitat física de la població infantil, juvenil, i adulta espanyola, i validar el Qüestionari Internacional d'Activitat Física en la població adulta. Aquest qüestionari ha estat desenvolupat per a la seva aplicació a nivell internacional, permetent la comparació de les dades obtingudes sobre patró d'activitat física a la població. Els objectius s'han anat assolint a través de cinc publicacions. Tres publicacions es basen en dades de l'estudi enkid, estudi representatiu de la població espanyola que avalua els hàbits alimentaris, l'estat nutricional i el patró d'activitat física de la població de 2 a 24 anys (1998-2000). Una altra publicació avalua la tendència en els hàbits d'activitat física en els catalans, en un periode de 10 anys (1992-93/2002-03). La darrera publicació, presenta dades procedents de la validació del Qüestionari Internacional d'Activitat Física, en la seva versió traduida al castellà. Els resultats mostrats ens indiquen, segons l'estudi enKid, que menys d'un 50% de la població de 6 a 18 anys, acompleix les recomanacions sobre activitat física saludable, és a dir, seixanta minuts d'activitat física diaria, d'intensitat moderada. En quant a activitat física en el temps de lleure, tan sols un 36% de la població realitza esport al menys dos dies a la setmana, i més del 50%, està més de dues hores realitzant activitats sedentàries. Entre els més grans, el 58% dels nois i el 80% de les noies, no fa cap mena d'esport en el temps de lleure, o el fa amb una freqüència d'un cop per setmana. Entre els més petits, els nens i nenes de 2 a 5 anys, dediquen una part important del dia a mirar la televisió. Entre les noies, l'hàbit de realitzar esport en el temps de lleure és més baix que entre els nois. Algunes variables socioeconòmiques com ara el nivell d'estudis de la mare i l'estat socioeconòmic de la familia i la regió geogràfica tenen força influència en els hàbits de la població. Les regions del Sud d'Espanya i Canàries son les més sedentàries. L'estudi enKid serveix també, per validar un qüestionari curt d'activitat física, el Test Krece Plus. Els resultats mostren que és apte per la seva aplicació entre els nens i nenes de 4 a 14 anys. És una eina molt vàlida per la seva capacitat d'aplicació i avaluació immediata, fet que ha de facilitar la seva aplicació en les consultes pediàtriques. La tendència en els hàbits d'activitat física de la població catalana mostren que s'ha produit una lleugera millora en els hàbits d'activitat física en el temps de lleure, en el periode de 10 anys analitzat. Malgrat això, el 45% dels homes i el 63% de les dones, catalanes eren fonamentalment sedentaris en el temps de lleure, en l'avaluació del 2002-2003. Altrament, l'anàlisi de les actituts enfront a possibles canvis en els seus hàbits, mostren una baixa predisposició de la població, per afrontar un canvi i augmentar el seu nivell d'activitat física.El Qüestionari Internacional d'Activitat Física, IPAQ, en la seva versió llarga autoadministrada ha mostrat ser vàlid per la seva aplicació en població espanyola. Ara bé, és fonamental desenvolupar tècniques que permetin avaluar mès acuradament tota aquella activitat física d'intensitat moderada que tant costa de detectar amb els mètodes disponibles fins al moment. L'anàlisi de les dades obtingudes a l'Enquesta de Nutrició de Catalunya, utilitzant el Qüestionari Internacional d'Activitat Física en la seva versió curta, indica que els nivells més baixos d'activitat física, es registren a Catalunya, comparat amb altres països Europeus. Els resultats d'aquesta tesi indiquen que és necessari desenvolupar politiques de promoció de l'activitat física destinats a la familia, l'individu, la comunitat, el món sanitari, etc. Si s'aconsegueix un treball en equip i multidisciplinari, que lluiti contra els nivells baixos d'activitat física, és possible que s'arribi a remontar aquests patrons tant sedentaris de la població espanyola analitzada.

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

La recherche de réponses précises à des questions formulées en langue naturelle renouvelle le champ de la recherche d'information. De nombreux travaux ont eu lieu sur la recherche de réponses à des questions factuelles en domaine ouvert. Moins de travaux ont porté sur la recherche de réponses en domaine de spécialité, en particulier dans le domaine médical ou biomédical. Plusieurs conditions différentes sont rencontrées en domaine de spécialité comme les lexiques et terminologies spécialisés, les types particuliers de questions, entités et relations du domaine ou les caractéristiques des documents ciblés. Dans une première partie, nous étudions les méthodes permettant d'analyser sémantiquement les questions posées par l'utilisateur ainsi que les textes utilisés pour trouver les réponses. Pour ce faire nous utilisons des méthodes hybrides pour deux tâches principales : (i) la reconnaissance des entités médicales et (ii) l'extraction de relations sémantiques. Ces méthodes combinent des règles et patrons construits manuellement, des connaissances du domaine et des techniques d'apprentissage statistique utilisant différents classifieurs. Ces méthodes hybrides, expérimentées sur différents corpus, permettent de pallier les inconvénients des deux types de méthodes d'extraction d'information, à savoir le manque de couverture potentiel des méthodes à base de règles et la dépendance aux données annotées des méthodes statistiques. Dans une seconde partie, nous étudions l'apport des technologies du web sémantique pour la portabilité et l'expressivité des systèmes de questions-réponses. Dans le cadre de notre approche, nous exploitons les technologies du web sémantique pour annoter les informations extraites en premier lieu et pour interroger sémantiquement ces annotations en second lieu. Enfin, nous présentons notre système de questions-réponses, appelé MEANS, qui utilise à la fois des techniques de TAL, des connaissances du domaine et les technologies du web sémantique pour répondre automatiquement aux questions médicales.

Avec le développement d'internet, la personnalisation de l'accès à l'information disponible est devenue incontournable et les Systèmes Hypermédia Adaptatifs (SHA) se sont rapidement répandus. Ainsi, les SHA sont des outils permettant l'accès à l'information disponible en exploitant le profil de l'utilisateur modélisé dans un modèle de l'utilisateur. Ils nécessitent aussi un modèle du domaine pour modéliser le domaine d'application concerné. Les mécanismes d'adaptation, quant à eux, sont définis dans un modèle de l'adaptation reposant sur le modèle de l'utilisateur et du domaine. Un moteur d'adaptation se charge de l'exécution. Les applications créées à partir de tels systèmes sont connus sous le nom Hypermédia Adaptatifs (HA) ou Adaptive Hypermédia en anglais (AH). Dans cette thèse nous adoptons le point de vue d'un auteur d'HA et nos contributions sont les suivantes : - Nous proposons un framework permettant aux auteurs de réutiliser leurs modèles et des adaptations existantes en utilisant un SHA particulier. Pour cela, nous proposons un processus d'intégration des modèles des auteurs et de leurs données dans des systèmes existants sans aucune transformation ou perte d'information. Nous proposons une solution selon laquelle les modèles sont représentés en OWL 3, un standard du W3C. Pour réaliser ces objectifs, nous proposons, d'une part, une aide à la définition de mappings entre les éléments du modèle inclus dans le système utilisé et les éléments des modèles des auteurs, et d'autre part, une aide pour s'assurer que le modèle construit est composé du modèle inclus dans le système utilisé, du modèle de l'auteur et des mappings. - Nous proposons un framework permettant de faciliter la spécification de stratégies d'adaptation exprimées à un haut niveau, et facilite la réutilisation de stratégies d'adaptation existantes. Nous nous sommes focalisés pour cela sur l'expression de l'adaptation de navigation selon laquelle il est demandé aux utilisateurs de "naviguer" entre des ressources selon différents chemins. La navigation concerne des ressources sélectionnées dans un ordre qui peut être imposé ou dont certaines peuvent être davantage recommandées que d'autres [13]. Nous percevons une stratégie d'adaptation comme une combinaison de parties élémentaires. Chaque partie correspond à une adaptation élémentaire et est liée à une caractéristique de l'utilisateur. Une partie peut faire partie de plusieurs stratégies d'adaptation en fonction des caractéristiques définies dans ces dernières. Notre travail suit cette idée. La notion de patron d'adaptation élémentaire que nous proposons est une abstraction de telles parties élémentaires.

La maintenance consomme une grande partie du coût de développement des logiciels ce qui rend l'optimisation de ce coût parmi les enjeux importants dans le monde du génie logiciel. Dans cette thèse nous visons à optimiser ce coût par rendre ces maintenances modulaires. Pour atteindre cet objectif, nous définissons des transformations des architectures des programmes qui permettent de transformer le programme à maintenir vers une architecture qui facilite la tâche de maintenance voulue. Nous nous concentrons plus sur la transformation entre les architectures à propriétés de modularité duales tels que les patrons de conception Composite et Visiteur. Dans ce contexte, nous définissons une transformation automatique et réversible basée sur le refactoring entre un programme structuré selon le Composite et sa structureVisiteur correspondante. Cette transformation est validée par la génération d'une précondition qui garantit statiquement sa réussite. Elle est aussi adaptée afin qu'elle prenne en compte la transformation de quatre variations du patron Composite et est validée sur le programme JHotDraw qui comporte ces quatre variations. Nous définissons aussi une transformation réversible au sein du patron Singleton afin de pouvoir bénéficier de l'optimisation par l'introduction de ce patron et la souplesse par sa suppression selon les exigences de l'utilisateur du logiciel.