La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines). On donne les solutions des équations de domaines dans des domaines universels, en utilisant le formalisme des connexions de Galois. Ensuite, on aborde le probleme de la satisfaction des axiomes qui font partie de la définition des types abstraits génériques, en présentant ainsi une sémantique pour ce nouveau concept des langages de programmation

Les comportement épistémiques, mobiles et spatiaux sont omniprésent dans les systèmes distribués aujourd’hui. La nature intrinsèque épistémique de ces types de systèmes provient des interactions des éleménts qui en font parties. La plupart des gens sont familiarisés avec des systèmes numériques où les utilisateurs peuvent partager ses croyances, opinions et même des mensonges intentionnels (des canulars). Aussi, les modèles de ces systèmes doivent tenir compte des interactions avec d’autres de même que leur nature distribués. Ces comportements spatiaux et mobiles font part d’applications où les données se déplacent dans des espaces (peut-être imbriqués) qui sont définis par, par exemple, cercles d’amis, des groupes, ou des dossiers partagés. Nous pensons donc qu’une solide compréhension des notion d’espaces, de mobilité spatial ainsi que le flux d’information épistémique est cruciale dans la plupart des modèles de systèmes distribués de nos jours.Les systèmes de contrainte (sc) fournissent les domaines et les opérations de base pour les fondements sémantiques de la famille de modèles déclaratifs formels de la théorie de la concurrence connu sous le nom de programmation concurrent par contraintes (pcc). Les systèmes des contraintes spatiales (scs) représentent des structures algébriques qui étendent sc pour raisonner sur les comportement spatiaux et épistémiques de base tel que croyance et l’extrusion. Les assertions spatiales et épistémiques peuvent être vues comme des modalités spécifiques. D’autres modalités peuvent être utilisées pour les assertions concernant le temps, les connaissances et même pour l’analyse des groupes entre autres concepts utilisés dans la spécification et la vérification des systèmes concurrents.Dans cette thèse nous étudions l’expressivité des systèmes de contraintes spatiales dans la perspective générale du comportement modal et épistémique. Nous montrerons que les systèmes de contraintes spatiales sont assez robustes pour capturer des modalités inverses et pour obtenir de nouveaux résultats pour les logiques modales. Également, nous montrerons que nous pouvons utiliser les scs pour exprimer un comportement épistémique fondamental comme connaissance. Finalement, nous donnerons une caractérisation algébrique de la notion de l’information distribuée au moyen de constructions sur scs. / Epistemic, mobile and spatial behaviour are common place in today’s distributed systems. The intrinsic epistemic nature of these systems arises from the interactions of the elements taking part of them. Most people are familiar with digital systems where users share their beliefs, opinions and even intentional lies (hoaxes). Models of those systems must take into account the interactions with others as well as the distributed quality these systems present. Spatial and mobile behaviour are exhibited by applications and data moving across (possibly nested) spaces defined by, for example, friend circles, groups, and shared folders. We therefore believe that a solid understanding of the notion of space and spatial mobility as well as the flow of epistemic information is relevant in many models of today’s distributed systems.Constraint systems (cs’s) provide the basic domains and opera- tions for the semantic foundations of the family of formal declarative models from concurrency theory known as concurrent constraint programming (ccp). Spatial constraint systems (scs’s) are algebraic structures that extend cs’s for reasoning about basic spatial and epistemic behaviour such as belief and extrusion. Both spatial and epistemic assertions can be viewed as specific modalities. Other modalities can be used for assertions about time, knowledge and even the analysis of groups among other concepts used in the specification and verification of concurrent systems.In this thesis we study the expressiveness of spatial constraint systems in the broader perspective of modal and epistemic behaviour. We shall show that spatial constraint systems are sufficiently robust to capture inverse modalities and to derive new results for modal logics. We shall show that we can use scs’s to express a fundamental epistemic behaviour such as knowledge. Finally we shall give an algebraic characterization of the notion of distributed information by means of constructors over scs’s.

Des études expérimentales examinant le rôle socialisateur de l’autorité parentale dans des contextes de transgression persistante de règles ont démontré les avantages d’utiliser la conséquence logique plutôt que d’autres stratégies d’autorité (la punition, le raisonnement et l’absence d’autorité). À l’aide d’une méthodologie par vignettes expérimentales et d’un échantillon de 214 adolescents (M = 15,28 ans), la présente étude a bonifié ces recherches en comparant ces mêmes stratégies dans un contexte de transgression à facettes multiples. Spécifiquement, le rôle modérateur des perceptions des adolescents de l’enjeu sous-jacent à la transgression (personnel c. non-personnel) sur leurs croyances quant au potentiel socialisateur des stratégies d’autorité a été évalué. Lorsque les adolescents ont catégorisé la transgression comme un enjeu non-personnel, les résultats des études antérieures ont été reproduits. En effet, la conséquence logique a été jugée comme étant aussi efficace que la punition à prévenir une transgression future (et plus efficace que le raisonnement et l’absence d’autorité) et comme la stratégie la plus acceptable. De plus, contrairement à la punition, la conséquence logique n’a pas été perçue comme frustrant plus l’autonomie que le raisonnement. En comparaison, les adolescents ayant catégorisé la transgression comme un enjeu personnel ont perçu la conséquence logique moins favorablement, laissant place au raisonnement comme stratégie d’autorité préférable. Les implications de ces résultats pour la socialisation des adolescents et les pratiques parentales optimales sont discutées. / Experimental studies focusing on the socialization role of parental authority exertion in persistent rule-breaking contexts involving non-personal issues have recently shown the advantages of using logical consequences over alternative strategies (mild punishments, reasoning and no-authority). Using an experimental vignette approach and a sample of 214 adolescents (Mage = 15.28 years), the present study extended these findings by comparing the same parental interventions in a hypothetical rule-breaking setting involving a multifaceted issue. Specifically, and based on research anchored in social domain theory, we evaluated how adolescents’ perceptions of the issue underlying the multifaceted transgression (personal vs. non-personal) moderated their beliefs regarding authority exertion strategies. When adolescents perceived the transgression as a non-personal issue, past results were replicated and enhanced. Adolescents perceived the logical consequence as at least as effective as the mild punishment to prevent future transgressions (i.e., more so than reasoning and no-authority) and as the most acceptable strategy. Furthermore, contrary to the mild punishment, they did not perceive the logical consequence as more autonomy-thwarting than reasoning. In contrast, adolescents who categorized the transgression as a personal matter rated the logical consequence less favorably, leaving reasoning as a preferred form of intervention. Implications for optimal parenting are discussed.

L'objectif de cette thèse est de modéliser les changements en chaîne historiques dans les théories phonologiques modernes. Martinet (1952, 1955, 1970) distingue deux principales catégories de changements en chaîne: les chaînes de propulsion et les chaînes de traction. Les chaînes de propulsion seront traitées dans la première partie de cette thèse (chapitres 2 et 3). Afin de modéliser les chaînes de propulsion, un modèle existant est utilisé: La théorie de préservation du contraste de Łubowicz (2003, 2012). Concernant la modélisation des chaînes de traction, qui sera principalement traitée dans la seconde partie de le thèse (chapitres 4 et 5), une nouvelle théorie sera proposée, basée sur les travaux phonétiques de De Boer (2001). Cette proposition est basée sur la notion des domaines piliers. Le chapitre 1 s'ouvre sur l'observation que ni les théories dérivationnelles orientées vers l'input – type SPE – ni les théories orientées vers l'output, comme la théorie de l'optimalité de Prince & Smolensky (TO) sont en mesure de formaliser les changements en chaîne. Dans les théories dérivationnelles, il est possible d'obtenir une bonne description des changements en chaîne. Cependant, afin de faire cela, nous devons briser les liens unissant les différentes étapes des changements en chaîne. Par conséquent, nous perdons l'interdépendance systémique entre les stades, ce qui est au cœur des changements en chaîne. Concernant la théorie de l'optimalité, sa structure stricte sur deux niveaux se révèle problématique dans le cas des changements en chaîne. Dans un changement en chaîne schématique comme /a/ → [e] > /e/ → [i], il est impossible pour la TO, dans la même analyse, de faire en sorte que [e] soit un candidat optimal et /e/ un candidat bloqué. Dans le chapitre 2, nous analysons et comparons plusieurs amendements à la théorie de l'optimalité proposés pour rendre compte des changements en chaîne. Beaucoup d'entre eux ne sont pas satisfaisants dans le cas des changements en chaîne car ils ne parviennent pas à modéliser la force systémique des changements en chaîne. La seule théorie qui semble accomplir cet objectif est la théorie de préservation du contraste (CPT) de Łubowicz. Cette théorie est basée sur les notions de contraste, préservation du contraste et elle évalue des scénarios au lieu de candidats individuels. La préservation du contraste est accomplie à travers la transformation du contraste. La notion de transformation du contraste signifie que les niveaux de contraste du système pré-changement sont préservés dans le système post-changement mais leur nature change. Une observation sur la CPT est que Łubowicz l'avait originellement conçue pour les changements en chaîne synchroniques. Dans le chapitre 2, nous démontrons que la CPT est en mesure de modéliser la force systémique qui donne aux changements en chaîne diachroniques leur cohérence. Ainsi, dans le chapitre 3, nous décidons de tester la validité de la CPT sur de véritables changements en chaîne historiques. Nous avançons deux études de cas sur deux changements en chaîne. Le premier, bien connu, est le changement en chaîne vocalique du Grand Changement Vocalique Anglais (English Great Vowel Shift). L'autre changement en chaîne est la Seconde Mutation Consonantique allemande (High German Consonant Shift). Nous démontrons que la CPT est en mesure de rendre compte de ces deux changements en chaîne. Au terme du chapitre 3, la CPT est testée sur une autre catégorie de changements en chaîne : les changements en chaîne observés dans l'acquisition de la langue maternelle. Le changement en chaîne étudié est s → θ → f. Ce changement en chaîne est différent des deux autres car il n'y a pas de nouveau niveau de contraste créé. Le dernier stade du changement en chaîne se conclut par une fusion. Encore une fois, la CPT peut rendre compte de ce changement en chaîne de manière satisfaisante. / The aim of this thesis is to formalise historical chain shifts within modern phonological theories. Martinet (1952, 1955, 1970) distinguishes two main categories of chain shifts: push chains and pull chains. Push chains will be dealt with in the first main part of this thesis (chapters 2 and 3). For modelling of push chains, an existing model is used: Łubowicz's (2003, 2012) Contrast Preservation Theory. For modelling pull chains, which will be the focus of the second part of this thesis (chapters 4 and 5), a new theory will be proposed, based on the phonetic work by De Boer (2001). This proposition is based on the notion of the pillar domains (domaines piliers). Chapter 1 starts with the observation that neither the derivational, SPE-like, theories or output driven theories like Prince's & Smolensky's Optimality Theory (OT) are able to formalise chain shifts properly. Within the derivational theories, it is possible to get a correct description of a chain shift. However, in order to do that, we have to break the links between the different stages of the chain shift. Therefore, one loses the systemic interdependence of the different stages, which is the essence of the chain shift. As regards to Optimality Theory, it is the two-level structure of the theory which proves problematic for chain shifts. In a theoretical chain shift such as /a/ → [e] > /e/ → [i], it is impossible for OT to make, in the same analysis, [e] an optimal candidate and /e/ a non-optimal one. In chapter 2, we analyse and compare several output-driven propositions that have been made to account for chain shifts. Many of them are not satisfactory because they do not manage to model the systemic motivation of chain shifts. The only theory that seems able to complete this objective is Łubowicz's Contrast Preservation Theory (CPT). This theory is based on the notions of contrast, contrast preservation and it evaluates scenarios rather than individual candidates. Contrast preservation is achieved through contrast transformation. The term contrast transformation indicates that the contrast levels of the input system are preserved but that their nature is different in the output system. One observation about CPT is that Łubowicz designed it for synchronic chain shifts. In chapter 2, we prove that CPT is able to model the perceptible coherence in diachronic chain shifts. In chapter 3, thus we decide to test the validity of CPT on actual historical chain shifts. It is tested on two cases. One is the well-known vocalic chain shift the Great Vowel Shift in English. The other one is the Second German Sound Shift (or High German Consonant Shift). We demonstrate that CPT is able to account for both of these chain shifts. At the end of chapter 3, CPT is tested on another type of chain shifts, i.e. chain shifts in first-language acquisition. The studied chain shift is s → θ → f. This chain shift is different from the other two because there is no new contrast level created. The last stage of this chain shift ends with a merger . Once again, CPT can account for this chain shift in a coherent way.