La baisse des coûts de communication, l'amélioration de la performance des réseaux et l'évolution des plateformes de services dédiées permettant de gérer une multitude d'objets, a conduit à l'apparition de nouveaux usages et de nouvelles applications rassemblées sous l'appellation "Machine-à-Machine'' abrégée en M2M. Ce travail de thèse propose de répondre aux défis d'autogestion caractérisés par les récentes études de l'informatique autonomique. Il traite de la modélisation et de la validation des systèmes M2M opérant dans un contexte dynamique et sous un ensemble de propriétés structurelles et temporisées. Pour ce faire, nous proposons de nous appuyer sur les grammaires de graphes et des techniques de model checking. Dans un premier temps, nous nous sommes intéressés à la vérification au moment de la conception des communications M2M opérant sous des contraintes temporisées. Pour ce faire, nous avons proposé une approche de vérification formelle basée sur les techniques de model checking. Pour caractériser les entités M2M ainsi que leurs propriétés temporisées, un modèle formel basé sur les automates temporisés a été introduit. Étant donné que les systèmes M2M impliquent un grand nombre d'éléments, une approche de vérification partielle du système a été adoptée. La vérification au moment de la conception est une étape très importante, cependant elle n'est pas suffisante. En effet, les systèmes M2M sont hautement dynamiques et leur adaptation au moment de l'exécution est cruciale pour garantir leur bon fonctionnement. Dans un premier temps, nous nous sommes intéressés à la gestion des propriétés structurelles des systèmes M2M. Pour ce faire, nous nous sommes référés au standard européen smartM2M pour définir un style architectural décrivant les organisations acceptables du système. Afin de conduire des actions de reconfiguration dynamiques, nous nous sommes basés sur les grammaires de graphes et des règles de transformation de graphes. L'approche de reconfiguration proposée a été ensuite étendue pour prendre en compte les contraintes temporisées lors de la reconfiguration des systèmes M2M. Pour ce faire, nous avons caractérisé les systèmes M2M en trois couches : une couche application qui exprime les propriétés temporisées entre les applications M2M, une couche service pour décrire les composants nécessaires à l'exécution des applications et une couche infrastructure décrivant le déploiement de ces derniers sur une infrastructure physique. Des mécanismes de reconfiguration dynamique guidés par les contraintes temporisées ont été proposés et implémentés dans un gestionnaire autonomique qui interagit avec ces différentes couches. Son rôle est de superviser, de contrôler, et de garantir le comportement temporisé du système. / The decrease in communication costs, the improvement of networks performance and the evolution of the dedicated services platforms managing multiple objects, led to the appearance of new practices and applications gathered under the designation of Machine-to-Machine communications (M2M). M2M systems have to integrate in a coordinated way various devices and software modules such as sensors, actuators, displays, middleware, etc. M2M expansion gives rise to extensive data exploitation, effective routing and reasoning mechanisms for an appropriate decision making and a coordinated control in a predictive and reactive way. This work aims to meet self-management challenges characterized by recent studies of autonomic computing. It deals with the modeling and the validation of M2M systems operating in a dynamic context and under a set of functional and non-functional properties, specifically temporal ones. To do so, we propose to rely on graph grammars and model checking related techniques. This allows to configure and to reconfigure a set of communicating objects by considering a set of constraints. First, we were interested in the validation at design time of M2M communications operating under temporal constraints. A verification and validation approach based on timed automata was proposed. A smart grid scenario was developed to validate the proposed model. This step is necessary, however it is not sufficient. Indeed, M2M systems are dynamic and verification at run time is important. To validate the execution of an M2M system, we focused on in its functional and temporal aspects. We referred to the European standard smartM2M to define an architectural style for M2M systems. This standard was selected for the following reasons: (1) its independence of the application domain and the objects' communication technology, (2) its broad scope and (3) its deployment on industrial systems. To validate the M2M system' functionalities, a multi-model approach was proposed: a first model, named functional, representing a real-time view of M2M system and a second model, named formal, based on a graph grammar incorporating the concepts of the functional layer. To conduct dynamic reconfiguration actions, graph transformation rules have been defined. Bi-directional communication mechanisms have been set up to maintain coherence between the real system and its models. A smart metering use case was developed to validate the proposed approach. With the aim of validating temporal properties of an M2M system during its execution, this approach has been extended with new concepts. We have defined a three-layers based approach to describe the features and temporal properties of an M2M system: an application layer which incorporates the concepts defined in the formal layer of the previous approach with extensions to express temporal properties between applications M2M, a service layer to describe the necessary components to meet the specification of the upper layer and infrastructure layer describing their deployment. An autonomic manager interacts with these layers to supervise and control the temporal behavior of the system. These layers are part of the autonomic manager knowledge base. The autonomic manager architecture and dynamic reconfiguration mechanisms were detailed. An eHealth scenario has been designed to illustrate the proposed approach.

Etude comparative de l’organisation des traités de grammaire arabe médiévaux, cette thèse met en relief les enjeux théoriques, polémiques et pédagogiques de la taxinomie. Les incertitudes quant à la constitution historique de la tradition grammaticale arabe ayant conduit les chercheurs à se focaliser sur la période fondatrice, notamment sur le Kitāb de Sībawayhi, nous avons voulu apprécier à sa juste valeur cet autre aspect moins étudié quoique capital dans le processus de disciplinarisation de la grammaire arabe : le rôle de la taxinomie. En effet, alors que les premiers traités de grammaire n’adoptent pas de plan fondé sur une logique grammaticale claire, se met en place à partir du IV ͤ/X ͤ siècle, sous l’influence méthodologique des logiciens, une classification de la matière linguistique en vue de représenter l’articulation conceptuelle de la théorie. Ce courant taxinomique, dominant entre les IV ͤ/X ͤ-VI ͤ/XII ͤ siècles, témoigne d’une perception plus synthétique de la théorie grammaticale, autant qu’il contribue à en établir la cohérence. Notre point de départ est le Uṣūl d’Ibn al-Sarrāğ (m.315/928), instituteur d’une présentation organisée des données visant à refléter la théorie, notamment les modélisations du marquage casuel, question centrale en grammaire arabe. Ses divisions de la syntaxe par catégories de mots, puis du chapitre du nom par cas et de celui du verbe par modes représentent le modèle formel de la rection, et la hiérarchie des fonctions au sein des rubriques casuelles tend à manifester une modélisation sémantique de chaque cas autour d’une valeur fondamentale. Les successeurs d’Ibn al-Sarrāğ, tel Abū ʿAlī l-Fārisī (m.376/987), améliorent cette organisation dans le sens d’une plus grande univocité de la modélisation sémantique, fondée sur le rôle prédicatif ou non prédicatif des éléments marqués par les cas, ou encore sur leur fonction au sein de la phrase verbale, et dans le sens d’une meilleure cohérence de cette modélisation avec le modèle rectionnel, où le verbe est régissant de base. Le Mufaṣṣal de Zamaḫšarī (m.538/1144) constitue l’apogée de la coïncidence entre organisation des rubriques et articulation conceptuelle de la théorie, et au sein de celle-ci, entre modèles formel et sémantique du marquage casuel. A partir du VII ͤ/XIIIe siècle se développent de brefs opuscules grammaticaux, telles la Alfiyya d’Ibn Mālik (m.610/1274) ou la Ağurrūmiyya d’Ibn Ağurrūm (m.722/1323), dont les présentations s’inspirent de classifications antérieures divergeant du courant alors dominant : succession pratique visant à faciliter l’apprentissage grammatical, comme dans le Ğumal de Zağğāğī (m.347/959), ou représentation plus axée sur le modèle formel de la rection, comme dans la Muqaddima d’Ibn Bābšāḏ (m.469/1077). Ce courant taxinomique nouvellement dominant favorise une transmission pédagogiquement efficace du savoir grammatical. / This thesis about the organization of medieval Arabic grammatical treatises highlights the theoretical, polemical and pedagogical issues of the taxonomy. The uncertainties about the historical constitution of the Arabic grammatical tradition led researchers to focus on the founding period, especially on the Kitāb of Sībawayhi. We wanted to highlight this other, less studied, but capital aspect in the process of disciplinarisation of Arabic grammar: the role of taxonomy. Indeed, while the first grammatical treatises do not adopt a clear plan based on grammatical logic, a classification of linguistic data which represents the conceptual articulation of the theory is developed from the IV ͤ/X ͤ century, under the logicians’ methodological influence. This taxonomic current, which is dominant between the IV ͤ/X ͤ-VI ͤ/XII ͤ centuries, reflects a more synthetic perception of grammatical theory, as it helps to establish its consistency. Our starting point is the Uṣūl of Ibn al-Sarrāğ (m.315/928), the first grammarian who set an organized presentation of data to reflect the theory, especially the modeling of case marking, a central question in Arabic grammar. Dividing the syntax by parts of speech, then the chapter of the noun by case marks and the chapter of the verb by modal marks he represents the formal model of “government”, according to which case marks and modal marks result from the action of some elements in the statement on others, and the hierarchy of functions within the cases’ chapters tends to show a semantic modeling of each case from a basic signification. The successors of Ibn al-Sarrag, among them Abū ʿAlī l-Fārisī (m.376/987), improve this organization in the direction of greater uniqueness of semantic modeling, founded on the predicative or non predicative role of the case marked elements, or on their function within the verbal sentence, and in the direction of better consistency of this modeling with government’s model, where the verb is the basic operator. The Mufaṣṣal of Zamaḫšarī (m.538/1144) presents a maximal coincidence between organization of data and conceptual articulation of the theory, and within the latter, between the formal and semantic models of case marking. From the VII ͤ/XIII ͤ century short grammatical treatises are developed, such as the Alfiyya of Ibn Mālik (m.610/1274) or the Ağurrūmiyya of Ibn Ağurrūm (m.722/1323), whose presentations are based on previous classifications diverging from the first dominant current : practical succession to facilitate grammatical learning, as in the Ğumal of Zağğāğī (m.347/959), or classification more focused on the formal model of government, as in the Muqaddima of Ibn Bābšāḏ (m.469/1077). This taxinomic current lastly dominant promotes a pedagogically effective transmission of grammatical knowledge.

Cette thèse étudie quelques préverbes et prépositions en bulgare (v/v-, iz/iz-) et en français (dans, hors de, en-/in-, ex-/é-) dans le cadre de la sémantique cognitive et formelle et plus particulièrement dans celui de la Grammaire Applicative et Cognitive (GAC). La formalisation à l’aide d’un schème quasi-topologique utilisant des lieux abstraits permet de construire des représentations adéquates et de dégager un invariant abstrait pour chaque unité étudiée. L’analyse aboutit à la construction d’une carte sémantique des significations d’intériorité et d’extériorité étudiées qui met en évidence les similarités, les différences et les oppositions entre les significations des différents préverbes et prépositions au sein d’une même langue ainsi qu’entre les deux langues, bulgare et français. Les résultats obtenus montrent que chaque langue construit ses propres représentations à partir de primitives invariantes et que, bien que les emplois des unités étudiées soient souvent très proches, il n’est pas possible d’établir des équivalences absolues entre significations. Cette étude contribue à argumenter en faveur de l’hypothèse anti-anti-relativiste de la GAC. / This thesis analyses some preverbs and prepositions in Bulgarian (v/v-, iz/iz-) and in French (dans, hors de, en-/in-, é-/ex-) within the framework of the cognitive and formal semantics, the Cognitive and Applicative Grammar (CAG) in particular. The formalisation using quasi-topological scheme and abstract loci allows the construction of appropriate representations and the formulation of an abstract invariant meaning for each item. The analysis leads to the construction of a semantic map of the interior and exterior meanings of the studied items which underlines the similarities, the differences and the oppositions between the meanings of different preverbs and prepositions within a single language as well as between the two languages, Bulgarian and French. The results of the analysis show that each language builds its own representations using invariant primitives and that, even if some of the studied meanings are very similar, it is impossible to establish absolute equivalencies between them. This study contributes to argue for the anti-anti-relativist hypothesis of the CAG.

Cette thèse propose une étude comparative de trois verbes supports, faire/membuat, donner/memberi et prendre/mengambil en français et en malais. La méthode utilisée est celle du Lexique-Grammaire de Maurice Gross et celle de la théorie de l’Analyse Matricielle Définitoire d’Amr Helmy Ibrahim. Notre objectif est de décrire les propriétés formelles des phrases à verbes supports en français et en malais et de les comparer du point de vue syntaxique et sémantique. Nous avons appliqué quatre tests de reconnaissance du verbe support afin de déterminer le statut de ces trois verbes dans les constructions étudiées. Notre étude est structurée en six chapitres. Dans le premier chapitre, nous exposerons des notions importantes : la définition du support et les différents points de vue de certains linguistes qui se sont intéressés à l’étude du verbe support dans le cadre théorique du Lexique-Grammaire. Le deuxième chapitre donne une présentation générale du malais. Le troisième chapitre présente le verbe support buat/membuat (faire) en malais. Le quatrième chapitre présente l’étude du verbe support beri/memberi (donner) en malais. Le cinquième chapitre présente l’étude du verbe support ambil/mengambil (prendre) en malais. Le sixième chapitre présente l’étude comparative des verbes supports faire (membuat), donner (memberi) et prendre (mengambil) en français et en malais. Les résultas obtenus nous ont montré que le français et le malais partagent les mêmes caractéristiques générales des verbes supports. Ces résultats nous ont permis également de montrer que malgré l’universalité du phénomène, chaque langue possède ses propres mécanismes concernant le fonctionnement des verbes supports et le système de la détermination. / This thesis proposes a comparative study of three support verbs, also called sometimes in English « light verbs », faire/membuat “to do”, donner/memberi “to give” and prendre/mengambil “to take” in French and Malay languages. The method used is that of the Lexicon-Grammar of Maurice Gross and that of theory of the Defining Matrix Analysis of Amr Ibrahim. Our objective is to describe the formal properties of the sentences containing support verbs in French and Malay and to compare them from the syntactic and semantic point of view. We have bracket four tests of recognition of the support verb in order to determine the statue of these three verbs in the studied construction. Our study is structured in six chapters. In the first chapter, we expose the main notion: the definition of the support and the different points of view of the linguists that took an interest in the study of the support verb in the framework of the Lexicon-Grammar. The second chapter is a general presentation of the Malay language. The third chapter is the study of the verb support “membuat/faire” (to do) in Malay. The forth chapter is a study of the support verb “memberi/donner” (to give) in Malay. The fifth chapter is a study of the support verb “mengambil/prendre” (to take) in Malay. The sixth chapter is a comparative study between the three support verbs membuat/faire (to do), memberi/donner (to give) and mengambil/prendre (to take) in Malay and French. The results obtained have shown that the support verbs in French and Malay share the same general characteristics. These results also enabled us to show that in spite of the universality of the phenomenon, each language has its own mechanism concerning the function of the support verb and the system of determination.

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

Les entités nommées ont été l’objet de nombreuses études durant les années 1990. Leur reconnaissance dans les textes a atteint un niveau de maturité suffisante, du moins pour les principaux types (personne, organisation et lieu), pour aller plus loin dans l’analyse, vers la reconnaissance de relations entre entités. Il est par exemple intéressant de savoir qu’un texte contient des occurrences des mots « Google » et « Youtube » ; mais l’analyse devient plus intéressante si le système est capable de détecter une relation entre ces deux éléments, voire de les typer comme étant une relation d’achat (Google ayant racheté Youtube en 2006). Notre contribution s’articule autour de deux grands axes : tracer un contour plus précis autour de la définition de la relation entre entités nommées, notamment au regard de la linguistique, et explorer des techniques pour l’élaboration de systèmes d’extraction automatique qui sollicitent des linguistes. / Named entities have been the topic of many researches during the 90’s. Their detection in texts has reached a high level of performance, at least for the main categories (person, organization and location). It becomes now possible to go further, toward relation between entities recognition. For instance, knowing that a text contains the words “Google” and “Youtube” can be relevant but being able to link them and detect an acquisition relation can be more interesting (Google has bought Youtube in 2006). Our work is focusing on two different aspects: to define a finer perimeter around the relation between named entities definition, with linguistic aspect in mind, and to explore new techniques that make use of linguists in order to build a relation between named entities recognition system.

S’inscrivant dans le champ des recherches concernant les représentations des élèves sur la langue, cette étude exploratoire utilise un dispositif didactique particulier, le tri de mots à visée grammaticale, afin de recueillir des données lors du suivi longitudinal d’une classe située en zone d’éducation prioritaire, sur une durée de deux années, en CE2 et CM1. Le corpus constitué par les traces écrites produites par les élèves a fait l’objet d’un traitement statistique afin d’en permettre la lisibilité. Les outils d’analyse linguistiques et didactiques utilisés ont permis de conforter des hypothèses déjà émises, mais aussi de dégager des tendances nouvelles concernant l’acquisition des classes grammaticales par les élèves de l’école élémentaire. Les résultats exposés portent sur les savoirs et savoir-faire des élèves, mais aussi sur l’éclairage que ces conceptions apportent sur les systèmes d’explication de la langue. Entre grammaire scolaire et linguistique, il s’agit de mieux comprendre le point de vue des élèves sur la langue afin d’ouvrir des pistes de réflexions didactiques / Fitting in the field of research relating to the representations of the pupils on the language, this exploratory study uses a particular didactic device, the sorting of words to grammatical aiming, in order to collect data at the time of the longitudinal follow-up of a class located in zone of priority education, over one two years duration, in CE2 and CM1. The corpus consisted the hard copies produced by the pupils was the object of a statistical processing in order to allow legibility of it. The linguistic and didactic tools for analysis used made it possible to consolidate already put forth hypotheses, but also to release from the new trends concerning the acquisition of the parts of speech by the pupils of the elementary school. The exposed results relate on the knowledge and know-how of the pupils, but also to the lighting which these designs bring on the systems of explanation of the language. Between school and linguistic grammar, it is a question of better understanding the point of view of the pupils on the language in order to open didactic lines of thinking

La thèse présentera nos recherches sur le pronom personnel du chinois sur les plans syntaxique, sémantique et pragmatique. Les approches synchronique diachronique et typologique seront conjuguées pour étudier le nombre, et sa fonction. Les conclusions qui en découlent sont les suivantes: (1) La fusion phonétique du pronom personnel et la marque du pluriel «men » [+humain] se divise en quatre types et son évolution pourrait s’expliquer par le phénomène « cline » dans le processus de grammaticalisation.(2) La subjectivité et l’objectivité ont causé la différence fonctionnelle des pronoms. (3) Les noms et les démonstratifs constituent les sources du système pronominal en chinois. Le contexte permet au démonstratif d’évoluer vers le pronom personnel ; (4) La distribution des pronoms inclusif et exclusifs est répartie en deux groupes, nord et sud. La ligne de démarcation traverse le dialecte Hui (situé à Anhui). Au groupe nord, la lexicalisation et la grammaticalisation du système de pronom s’avèrent plus développées que le groupe du sud. Le besoin de la restructuration interne en langue chinoise est responsable de l’apparition des pronoms inclusif et exclusif, cette opposition est d’une part héritée du chinois ancien et d’autre part influencée par les langues Altaïques au nord. Le système du pronom personnel en chinois ancien et moderne, manifeste une forte tendance de simplification, ceci est également attesté dans toutes les langue Sinitiques. / In this thesis, we set the personal pronouns as the studying object. Based on the three planes of syntax, semantic and pragmatic, we combine the diachronic and synchronic investigation methods and do the research respectively from the perspectives of number category, functional performance, diachronic evolution and typological language. The conclusions are: (1) we divide the phonetics fusion of plural marker “men” [+ human] and personal pronouns into four types, and its evolution could be explained by the phenomenon "cline" in the process of grammaticalization. (2) The subjectivity and objectivity are the cause of the different functions of pronouns. (3) The nouns and demonstratives constitute the sources of the pronoun system in Chinese. The context is the fundamental reason that affects the evolution of demonstrative pronouns to personal pronouns. (4) The distribution of inclusive and exclusive pronouns is divided into two group, north and south. The boundary line is the Hui dialect (located in Anhui). In North group, the lexicalization and grammaticalization of the pronoun system are more developed than the southern group. The need for internal restructuring in the Chinese language is responsible for the development of inclusive and exclusive pronouns. This opposition is firstly inherited from ancient Chinese and partly influenced by the Altaic north. The system of the personal pronoun in ancient and modern Chinese shows strong simplification trend, which is also attested in all Sinitic languages.

Cette thèse porte sur les constructions nominales et adjectivales en non- ([non-N] et [non-Adj])en français d’un point de vue synchronique et diachronique dans le cadre de la grammaire de constructions. À partir d’un corpus constitué d’occurrences de [non-N] et de [non-Adj] issues de la base de données Frantext, de la Base de Français Médiéval, de dictionnaires, de la presse écrite et de la Toile, je montre que le patron [non-N] est une construction morphologique dans laquelle non- est un préfixe, tandis que le patron [non-Adj] est une construction syntaxique où non est un adverbe. Les [non-N] peuvent prendre trois interprétations (que j’appelle ontologique,complémentaire et contraire) selon le type de nom base et les informations pragmatiques fournies par le contexte. Les [non-Adj] sont comparés aux [in-Adj], avec lesquels ils partagent un sémantisme négatif mais dont ils se différencient sur plusieurs points (préférence pour les bases apparentées à des verbes, absence d’intégrité lexicale, expression de la négation contradictoire ou contraire). Je montre que les [non-N] et les [non-Adj] ont en commun des propriétés formelles et sémantiques et je propose de représenter ces constructions comme l’instanciation d’une construction plus générale qui maintient la distinction entre morphologie et syntaxe tout en tenant compte de la proximité entre ces deux constructions. Enfin, je montre que les [non-N] et les [non-Adj] ont émergé à la fin du moyen français à partir d’emplois syntaxiques de non, à la faveur de changements opérés dans le système de la négation verbale du français. / This dissertation deals with nominal and adjectival constructions in non- ([non-N] and [non-Adj])in French from a synchronic and diachronic perspective within the framework of constructiongrammar. On the basis of a corpus of [non-N] and [non-Adj] drawn from the Frantext database,the Base de Français Médiéval, dictionaries, the written press and the internet, I show thatthe [non-N] pattern is a morphological construction in which non- is a prefix, whereas the[non-Adj] is a syntactic construction in which non- is an adverb. [Non-N] can have three differentinterpretations (which I call ontological, complementary and contrary), depending on the basenoun and pragmatic information provided in the contex. [Non-Adj] are compared to [in-Adj], withwhich they share a negative meaning but from which they differ in several respects (preferencefor bases related to verbs, no lexical integrity, expression of contradictory or contrary negation).I show that [non-N] and [non-Adj] have common formal and semantic properties and I proposean analysis whereby they are represented as instantiations of a more general construction. Thisanalysis maintains the distinction between morphology and syntax and at the same time takesinto account the similarities between the two constructions. Finally, I show that [non-N] and[non-Adj] have emerged from syntactic uses of non at the end of the Middle French period as aresult of changes in the system of verbal negation in French.375