Notre travail de recherche est consacré à l'analyse, d'un point de vue aspectuel, du rôle de la morphologie dérivationnelle dans le processus de construction du sens aspectuel lexical. Le préfixe RE- est très intéressant parce que sa structure processuelle est complexe. Il implique une relation entre un procès présupposé et un procès posé et cette relation est établie par un troisième procès, intermédiaire, qui crée un lien de continuité, de reprise ou d'interruption. L'activation de ces liens est notamment dépendante du sens de la base lexicale du dérivé et du sens aspectuel de cette même base. Le préfixe RE- est donc un opérateur de dérivation dont une des valeurs est aspectuo-temporelle et agit sur deux dimensions de la temporalité linguistique : la première est quantitative, il s'agit de l'itération ; la seconde est qualitative, elle traduit la relation temporelle établie entre les trois procès signifiés par le dérivé.

The principal aim of this thesis is to provide a comprehensive account of the meaning of keep V-ing constructions, see (1a) and (1b). (1) a. Mary kept winning (again and again). (1) b. John kept running (for another ten minutes). On the basis of a systematic study of combinations of keep with predicates of different aktionsarts, it is shown that keep can give rise to two different readings which share the overall meaning of ‘continued activity’. It is argued that the two readings of keep V-ing arise from different aspectual properties of the predicate in the complement clause. Under the first reading, labelled the continuative-iterative reading, (1a), the event in the complement clause is telic, and the interpretation is an iterative reading. Under the second reading, labelled the continuative reading, (1b), the event in the complement clause is atelic, and the interpretation is a reading of nonstop continuation. It is argued that keep combines with activity predicates in the relevant construction type, that is, with dynamic, durative and atelic events, and that keep has the ability to induce aspect shift when combining with predicates that are not inherent activities. Thus, in (1a), a punctual and telic winning event is iterated, creating a series which in itself is durative and atelic. In (1b), the running event is already durative and atelic. By comparing keep V-ing with the progressive construction be V-ing, (2), and with two other continuative constructions, continue V-ing, (3), and V on, (4), it is shown that keep readily shifts a telic predicate into an atelic reading by taking scope over the entire event, (1a), but cannot take scope over an internal part of a telic event. Both be V-ing, (2), and continue V-ing, (3), are able to take scope over an internal part of a telic event. (2) John was building the house. (3) John continued building the house. (4) John ran on. In addition, unlike continue V-ing and V on, keep V-ing does not necessarily denote continuation of an event which has already been initiated.

Cette thèse relève de l’ingénierie des connaissances et en particulier elle s’inscrit dans le cadre technique du web sémantique. Nous prenons un objet particulier : une théorie linguistique de la temporalité (temps et aspect), et nous proposons une traduction en plusieurs étapes de cette théorie en un artefact de représentation des connaissances : une ontologie. Nous passons en revue différents modèles (logiques, IA, linguistiques) de représentation du temps. Nous détaillons la notion d’ontologie en elle-même et telle qu’elle est utilisée dans le cadre informatique. Ensuite nous traduisons la théorie linguistique que nous choisissons en un objet vérifiant les propriétés d’un réseau d’entités qui sont caractéristiques d’une ontologie au sens du web sémantique. La dernière étape consiste en l’implémentation de notre ontologie en utilisant les standards W3C. / This is a knowledge engineering work that specifically deal with semantic web technologies. We first take an particular objet: a linguistic theory of time and aspect and we propose a translation of it into a knowledge engineering artefact (an ontology) following several steps. We look at different approach of time (logical, AI, linguistic) of time representation. Then we analyse the notion of ontology as understood in the computer science framework. An ontology is a network of entities, we give a translation of the linguistic theory of time and aspect into an ontology and we translate this resulting ontology using W3C semantic web standards.

On se consacre dans ce travail à des aspects mal pris en compte par la méthodologie classique de la carte thématique. On a tout d’abord, en première partie, revisité les connaissances sur la manière dont la carte était perçue, interprétée puis comprise, en mobilisant les domaines de la perception visuelle et de la sémiotique. La sémiotique visuelle constitue une passerelle entre l’étude de la signification des formes visuelles, importante en cartographie, et les approches esthétiques qui mobilisent ces signes visuels selon des modalités bien plus variées. La deuxième partie s’est intéressée successivement à plusieurs approches disciplinaires. L’ontologie esthétique nous a apporté une définition utile, mais surtout une analyse de la génération des propriétés esthétiques. L’iconographie a ensuite permis de décrire le fonctionnement sémiotique visuel. Enfin, on a mis à profit les travaux de certains artistes et théoriciens du design graphique qui ont exploré la relation entre formes graphiques et propriétés esthétiques. La troisième partie propose une synthèse des idées-forces des chapitres précédents en un ensemble de propositions, dont l’efficacité a été testée par enquête auprès de 850 géographes. On étudie ensuite plus longuement la mise en pratique de deux idées : la visualisation de différentes complexités visuelles internes et la visualisation des proportions et des relations colorées d’une carte. Ce travail aboutit à justifier le développement de nouvelles approches dans la méthodologie de la cartographie thématique, en allant emprunter des concepts, des idées, des méthodes d’analyse et des outils d’évaluation de l’image-carte à des disciplines proches. / We dedicated this work to issues inadequately addressed by the standard methodology of the thematic map. In the first part, we revisited the knowledge about how the map was perceived, interpreted and understood by mobilizing the domains of visual perception and semiotics. Visual semiotics provides a bridge between the study of the meaning of visual forms, important in mapping, and aesthetic approaches that mobilize these visual signs in a much more varied manner. The second part focused successively on several disciplinary approaches. The aesthetics ontology gave us a useful definition, but also an analysis of the generation of aesthetic properties. Iconography provided then the means to describe the semiotical operation. Finally, we took into account the work of some artists and graphic design theorists who have explored the relationship between graphic forms and aesthetic properties. The third section provides a summary of the key ideas of the previous chapters formalized into a set of propositions, whose effectiveness has been tested by surveying 850 geographers. We examine then more specifically the implementation of two ideas: the visualization of different internal visual complexities and the visualization of the colors proportions and relationships on a map. This work leads to justify the development of new approaches to the methodology of thematic mapping, by borrowing concepts, ideas, methods of analysis and assessment tools of the map-image from related disciplines.

Legacy systems contain critical and complex business code that has been in use for a long time. This code is difficult to understand, maintain, and evolve, in large part due to crosscutting concerns: software system features, such as persistence, logging, and error handling, whose implementation is spread across multiple modules. Aspect-oriented techniques separate crosscutting concerns from the base code, using separate modules called aspects and, thus, simplifying the legacy code. Aspect mining techniques identify aspect candidates so that the legacy code can be refactored into aspects. This study investigated an automated aspect mining method in which a vector-space model clustering approach was used with model-based clustering. The vector-space model clustering approach has been researched for aspect mining using a number of different heuristic clustering methods and producing mixed results. Prior to this study, this model had not been researched with model-based algorithms, even though they have grown in popularity because they lend themselves to statistical analysis and show results that are as good as or better than heuristic clustering methods. This study investigated the effectiveness of model-based clustering for identifying aspects when compared against heuristic methods, such as k-means clustering and agglomerative hierarchical clustering, using six different vector-space models. The study's results indicated that model-based clustering can, in fact, be more effective than heuristic methods and showed good promise for aspect mining. In general, model-based algorithms performed better in not spreading the methods of the concerns across the multiple clusters but did not perform as well in not mixing multiple concerns in the same cluster. Model-based algorithms were also significantly better at partitioning the data such that, given an ordered list of clusters, fewer clusters and methods would need to be analyzed to find all the concerns. In addition, model-based algorithms automatically determined the optimal number of clusters, which was a great advantage over heuristic-based algorithms. Lastly, the study found that the new vector-space models performed better, relative to aspect mining, than previously defined vector-space models.

Aspect-oriented software design (AOSD) enables better and more complete separation of concerns in software-intensive systems. By extracting aspect code and relegating crosscutting functionality to aspects, software engineers can improve the maintainability of their code by reducing code tangling and coupling of code concerns. Further, the number of software defects has been shown to correlate with the number of non- encapsulated nonfunctional crosscutting concerns in a system. Aspect-mining is a technique that uses data mining techniques to identify existing aspects in legacy code. Unfortunately, there is a lack of suitably-documented test data for aspect- mining research and none that is fully representative of large-scale legacy systems. Using a new technique called concern seeding--based on the decades-old concept of error seeding--a tool called AspectAssay (akin to the radioimmunoassay test in medicine) was developed. The concern seeding technique allows researchers to seed existing legacy code with nonfunctional crosscutting concerns of known type, location, and quantity, thus greatly increasing the pool of available test data for aspect mining research. Nine seeding test cases were run on a medium-sized codebase using the AspectAssay tool. Each test case seeded a different concern type (data validation, tracing, and observer) and attempted to achieve target values for each of three metrics: 0.95 degree of scattering across methods (DOSM), 0.95 degree of scattering across classes (DOSC), and 10 concern instances. The results were manually verified for their accuracy in producing concerns with known properties (i.e., type, location, quantity, and scattering). The resulting code compiled without errors and was functionally identical to the original. The achieved metrics averaged better than 99.9% of their target values. Following the small tests, each of the three previously mentioned concern types was seeded with a wide range of target metric values on each of two codebases--one medium-sized and one large codebase. The tool targeted DOSM and DOSC values in the range 0.01 to 1.00. The tool also attempted to reach target number of concern instances from 1 to 100. Each of these 1,800 test cases was attempted ten times (18,000 total trials). Where mathematically feasible (as permitted by scattering formulas), the tests tended to produce code that closely matched target metric values. Each trial's result was expressed as a percentage of its target value. There were 903 test cases that averaged at least 0.90 of their targets. For each test case's ten trials, the standard deviation of those trials' percentages of their targets was calculated. There was an average standard deviation in all the trials of 0.0169. For the 808 seed attempts that averaged at least 0.95 of their targets, the average standard deviation across the ten trials for a particular target was only 0.0022. The tight grouping of trials for their test cases suggests a high repeatability for the AspectAssay technique and tool. The concern seeding technique opens the door for expansion of aspect mining research. Until now, such research has focused on small, well-documented legacy programs. Concern seeding has proved viable for producing code that is functionally identical to the original and contains concerns with known properties. The process is repeatable and precise across multiple seeding attempts and also accurate for many ranges of target metric values. Just like error seeding is useful in identifying indigenous errors in programs, concern seeding could also prove useful in estimating indigenous nonfunctional crosscutting concerns, thus introducing a new method for evaluating the performance of aspect mining algorithms.

La programmation orientée aspects (POA) sépare les différentes préoccupations composant un système informatique pour améliorer la modularité. La POA offre de nombreux bénéfices puisqu'elle permet de séparer le code fonctionnel du code non-fonctionnel améliorant ainsi leur réutilisation et la configurabilitè des systèmes informatiques. La configurabilité est un élément essentiel pour assurer la résilience des systèmes informatiques, puisqu’elle permet de modifier les mécanismes de sûreté de fonctionnement. Cependant le paradigme de programmation orientée aspect introduit de nouveaux défis pour le test. Dans les systèmes de grande taille où plusieurs préoccupations non fonctionnelles cohabitent, une implémentation à l'aide d'aspects de ces préoccupations peut être problématique. Partageant le même flot de données et le même flot de contrôle les aspects implémentant les différentes préoccupations peuvent écrire dans des variables lues par d'autres aspects ou interrompre le flot de contrôle commun aux différents aspects empêchant ainsi l'exécution de certains d'entre eux. Dans cette thèse nous nous intéressons plus spécifiquement aux interférences entre aspects dans le cadre du développement de mécanismes de tolérance aux fautes implémentés sous forme d’aspects. Ces interférences sont dues à une absence de déclaration de précédence entre les aspects ou à une déclaration de précédence erronée. Afin de mieux maîtriser l’assemblage des différents aspects composant un mécanisme de tolérance aux fautes, nous avons développé une méthode alliant l'évitement à la détection des interférences au niveau du code. Le but de l'évitement est d'empêcher l'introduction d'interférences en imposant une déclaration de précédence entre les aspects lors de l'intégration des aspects. La détection permet d'exhiber lors du test les erreurs introduites dans la déclaration des précédences. Ces deux facettes de notre approche sont réalisées grâce à l’utilisation d’une extension d'AspectJ appelée AIRIA. Les constructions d'AIRIA permettent l’instrumentation et donc la détection des interférences entre aspects, avec des facilités de compilation permettant de mettre en œuvre l’évitement d’interférences. Notre approche est outillée et vise à limiter le temps de déboguage : le testeur peut se concentrer directement sur les points où une interférence se produit. Nous illustrons notre approche sur une étude de cas: un protocole de réplication duplex. Dans ce contexte le protocole est implémenté en utilisant des aspects à grain fin permettant ainsi une meilleure configurabilité de la politique de réplication. Nous montrons que l'assemblage de ces aspects à grain fin donne lieu à des interférences de flot de données et flot de contrôle qui sont détectées par notre approche d'instrumentation. Nous définissons un ensemble d'aspects interférant pour l'exemple, et nous montrons comment notre approche permet la détection d'interférences. / Aspect-oriented programming (AOP) separates the different concerns of a computer software system to improve modularity. AOP offers many benefits since it allows separating the functional code from the non-functional code, thus improving reuse and configurability of computer systems. Configurability is essential to ensure the resilience of computer systems, since it allows modifying the dependability mechanisms. However, the paradigm of aspectoriented programming introduces new challenges regarding testing. In large systems where multiple non-functional concerns coexist, an AOP implementation of these concerns can be problematic. Sharing the same data flow and the same control flow, aspects implementing different concerns can write into variables read by other aspects, or interrupt the control flow involving various aspects, and thus preventing the execution of some aspects in the chain. In this work we focus more specifically on interference between aspects implementing fault tolerance mechanisms. This interference is due to a lack of declaration of fine-grain precedence between aspects or an incorrect precedence declaration. To better control the assembly of the various aspects composing fault tolerance mechanisms, we have developed a method combining avoidance of interferences with runtime detection interferences at code level. The purpose of avoidance is to prevent the introduction of interference by requiring a statement of precedence between aspects during the aspects integration. Detection allows exhibiting during the test, errors introduced in the precedence statement. These two aspects of our approach are performed through the use of an extension called AspectJ AIRIA. AIRIA ‘s constructs allow instrumentation and therefore the detection of interference between aspects, with facilities compilation to implement the interference avoidance. Our approach is designed and equipped to limit the debugging time : the tester can focus directly on the points where an interference occurs. Finaly, we illustrate our approach on a case study : a duplex replication protocol. In this context, the protocol is implemented using fine grained aspects allowing a better configurability of the replication policy.We show that the assembly of these fine-grained aspects gives rise to interference data flow and control flow that are detected by our instrumentation approach. We define a set of interfering aspects in this example, and show how our approach allows the detection of interferences.

La programmation orientée aspect (AOP) vise à améliorer la modularité et la réutilisation des couches logiciels en proposant un mécanisme d’abstraction pour faire face aux préoccupations transversales. Cependant, dans la plupart des langages d’aspects généralistes, les aspects ont un pouvoir presque illimité, rentrant éventuellement en conflit avec ces objectifs. Dans ce travail, nous présentons Effective Aspects : une nouvelle approche pour incorporer le modèle pointcut/advice de l’AOP dans un langage de programmation fonctionnel statiquement typé comme Haskell. Notre travail comprend deux contributions principales. Premièrement, nous définissons un plongement monadique du modèle pointcut/advice complet de l’AOP. La correction du typage est garantie par l’exploitation du système de type sous-jacent, en particulier les types fantômes et une nouvelle classe de type pour faire de l’anti-unification de types. Dans ce modèle, les aspects sont de première classe, peuvent être déployés de façon dynamique, et le langage de pointcuts est extensible, combinant donc la flexibilité des langages d’aspect typés dynamiquement avec les garanties d’un système de type statique. Les monades nous permettent de raisonner directement sur les effets du calcul à la fois dans les aspects et les programmes de base en utilisant des techniques monadiques traditionnelle. Avec ce système, nous étendons la notion de “open modules” avec des effets, et aussi avec les interfaces de pointcut protégés à l’extérieur d’un advice. Ces restrictions sont appliquées statiquement par le système de type. Aussi, nous adaptons les techniques de EffectiveAdvice afin de raisonner sur des propriétés du flot de contrôle. En outre, nous montrons comment contrôler l’interférence des effets en utilisant l’approche fondée sur la paramétricité de EffectiveAdvice. Nous montrons que cette approche n’est pas satisfaisante en présence de multiples aspects et proposons une approche différente en utilisant des vues monadiques, une nouvelle technique pour le traitement de la pile monadique, développée par Schrijvers et Oliveira. Ensuite, nous exploitons les propriétés de notre modèle pour permettre la construction modulaire de nouvelles sémantiques pour la portée d’aspects et le tissage. Notre deuxième contribution s’appuie sur un modèle puissant pour raisonner sur la composition de mixins avec effets et leur interférence, fondée sur un raisonnement équationnelle, paramétrique, et les lois algébriques sur les effets monadiques. Notre contribution est de montrer comment raisonner sur l’interférence en présence de quantification sans restriction pour les pointcuts. Nous montrons que le raisonnement global peut être compositionnelle, ce qui est essentiel pour le passage à l’échelle de l’approche face aux évolutions de grands systèmes. / Aspect-oriented programming (AOP) aims to enhance modularity and reusability in software systems by offering an abstraction mechanism to deal with crosscutting concerns. But, in most general-purpose aspect languages aspects have almost unrestricted power, eventually conflicting with these goals. This work presents Effective Aspects: a novel approach to embed the pointcut/advice model of AOP in a statically-typed functional programming language like Haskell; along two main contributions. First, we define a monadic embedding of the full pointcut/advicemodel of AOP. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new anti-unification type class. In this model aspects are first-class, can be deployed dynamically, and the pointcut language is extensible, therefore combining the flexibility of dynamically-typed aspect languages with the guarantees of a static type system. Monads enable us to directly reason about computational effects both in aspects and base programs using traditional monadic techniques. Using this we extend the notion of Open Modules with effects, and also with protected pointcut interfaces to external advising. These restrictions are enforced statically using the type system. Also, we adapt the techniques of EffectiveAdvice to reason about and enforce control flow properties as well as to control effect interference. We show that the parametricity-based approach to effect interference falls short in the presence of multiple aspects and propose a different approach using monad views, a novel technique for handling the monad stack, developed by Schrijvers and Oliveira. Then, we exploit the properties of our model to enable the modular construction of new semantics for aspect scoping and weaving. Our second contribution builds upon a powerful model to reason about mixin-based composition of effectful components and their interference, based on equational reasoning, parametricity, and algebraic laws about monadic effects. Our contribution is to show how to reason about interference in the presence of unrestricted quantification through pointcuts. We show that global reasoning can be compositional, which is key for the scalability of the approach in the face of large and evolving systems. We prove a general equivalence theorem that is based on a few conditions that can be established, reused, and adapted separately as the system evolves. The theorem is defined for an abstract monadic AOP model; we illustrate its use with a simple version of the model just described. This work brings type-based reasoning about effects for the first time in the pointcut/advice model, in a framework that is expressive, extensible and well-suited for development of robust aspect-oriented systems as well as a research tool for new aspect semantics.

Ce travail est une étude des erreurs commises par les apprenants tunisiens en 4è année secondaire (baccalauréat) concernant le mode, le temps et l’aspect, à travers un exercice scolaire important, la rédaction d’un essai. Le travail comprend trois parties. La première est réservée à l’examen de la situation sociolinguistique en Tunisie en vue de dégager les spécificités langagières des apprenants ainsi que des éléments en rapport avec les questions de mode, de temps et d’aspect en français et en arabe, langue maternelle des apprenants. En outre, cette partie englobe aussi une présentation de certaines notions-clés telles que celles de l’erreur ou de l’interférence, etc. La deuxième partie est consacrée à l’analyse des erreurs commises par les apprenants en ce qui concerne l’expression modale, verbo-temporelle dans leurs productions argumentatives. Elle commence par une description des erreurs constatées. Ensuite, une phase de recherche des origines éventuelles de ces erreurs est envisagée en vue de tenter d’avancer certaines propositions didactiques susceptibles d’améliorer la maîtrise de ces catégories verbales par les apprenants tunisiens arabophones dans le cadre de la production textuelle, seul cadre capable de mettre en œuvre toute la complexité du système verbal. La dernière partie du travail est réservée à quelques propositions didactiques. Outre une analyse des nouveaux manuels tunisiens, issus de la dernière réforme de l’enseignement du français, cette partie comprend une séquence didactique portant sur la rédaction d’un texte argumentatif et l’emploi de certaines formes verbales. / This work is a study of the errors made by Tunisian learners in 4th secondary year (baccalaureate) concerning the mode, tense and aspect, through a very important school exercise namely the essay writing. This work includes three main parts. The first, primarily theoretical, it examines the sociolinguistic situation in Tunisia so that to give an idea about the environment in which our learners-authors develop. In this part also, different elements which are in connection with the questions of mode, tense and aspect in French as well as in Arabic- the mother tongue of Tunisian learners- are advanced. In addition to the linguistic elements described above, this part also includes a presentation of certain key concept mentioned in our work; they are of didactic order; we quote of them those of error, interference, transfer, etc. The second part is devoted to error analysis made by the learners concerning modals, verbo-temporal expressions in their written productions of argumentative texts. This part starts with a description of the noticed errors. Then, a phase of research of the possible origins of these errors is considered in order to try to put forward certain didactic suggestions likely to improve the mastery of the mode, tense and aspect in French by the Tunisian Arabic-speaking learners in the framework of textual production, only that framework that is able to implement all the complexity of the verbal. We keep the third and the last part for some didactic suggestions. Also, this part does comprise an analysis of the new Tunisian manuals, resulting from the last reform of French teaching. It also includes a didactic sequence carrying in particular the writing of an argumentative text and including certain zones of resistance noted at the analysis phase.

Depuis le Sommet des Amériques de Québec en 2001, un mouvement d'écologie radicale a émergé dans la province. Entre 2001 et 2007, quatorze groupes écologistes radicaux ont vu le jour. Dix des quatorze groupes ont participé à l'étude. Pour chacun de ces dix groupes, un répondant a été interviewé. Cette étude est la première au Québec à se pencher sur le sujet. Ces groupes, organisés de façon décentralisée, non hiérarchique et autonome, perçoivent le rapport entre la société et la nature comme étant problématique. Leur radicalisme se veut une tentative d'aller aux racines (causes) du problème et de se rapprocher d'un mode de vie égalitaire, tant écologique que social. Le mouvement est fortement influencé par la pensée libertaire. Ces groupes lient la lutte pour l'environnement à celles contre les inégalités sociales et la domination, s'opposant à l'État, au capitalisme et à l'anthropocentrisme. En pratiquant l'action directe, la réappropriation de lieux et l'éducation, les groupes visent à acquérir une plus grande autonomie, à devenir autosuffisants et à subvertir les bases du système dominant. Leurs enjeux sont multiples, mais les groupes se concentrent sur les thématiques de l'alimentation, la cruauté faite aux animaux et la coupe forestière. Chacune de leurs pratiques est considérée comme outil d'une lutte sociale plus large. En étudiant leurs discours, stratégies et pratiques il apparaît évident que les écologistes radicaux sont en quête de cohérence, ils en sont cependant conscients et démontrent une praxis complète ou en voie de complétion. Le mouvement écologiste radical du Québec tente de passer de la résistance symbolique à la transgression ouverte. Cependant, la répression (structurelle et policière) dont ils sont vIctimes les contraint à modifier leurs stratégies et pratiques. De plus, les écologistes radicaux accusent le mouvement vert, plus institutionnalisé, de ne pas remettre en question les causes réelles de la crise écologique et de marginaliser leur existence. Ils les accusent de légitimer l'État par le lobbying. Aussi, ils affirment que les organisations environnementales institutionnalisées sont généralement inefficaces et infantilisantes. Leurs pratiques et représentations sociospatiales laissent croire que les groupes écologistes radicaux priorisent deux échelles: le global et le local (avec un emphase sur le résidentiel). Ils n'ont peu ou pas d'identité territoriale, sont critiques des milieux urbains et ruraux et veulent repenser la façon d'habiter le territoire. Ils affichent une conscience géographique soutenue qui comporte l'avantage de l'expérience immédiate et sensible de l'espace construit socialement. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Écologie, Écologie radicale, Mouvement vert, Anarchisme, Radicalisme, Environnementalisme, Géographie critique, Révolution, Représentation sociospatiale.