Le concept d’affectivité (LAMY, HDR (2011)) est une variable indépendante dont Lamy, Guéguen& Fischer-Lokou (2008, 2009,2010) vont mesurer les effets par évocation sémantique sur le comportement pro social. Comme l’évocation sémantique du concept de liberté (Gueguen & Pascual, 2000, 2002), le concept d’affectivité facilite l’action. Amorcer sémantiquement un concept par la violence testée par Todorov et Bargh (2002), une phrase (Banaji, Hardin & Rothman, 1993), un objet (McCall et Belmont, 1996), permet de modifier les jugements voire les comportements de l’individu (Devine, 1989 ; Bargh, Chen et Burrows, 1996). Nous testons les effets de l’amorçage du concept d’affectivité par un mot sur le comportement pro-social. Six expérimentations sont conduites pour explorer cette hypothèse. Les résultats montrent que le comportement pro-social est facilité lorsque que le concept d’affectivité est amorcé visuellement par le mot « AIMER » pour obtenir un acte de don, qu’il y ait interaction ou non avec l’individu ; de même l’influence de ce concept introduit oralement dans une phrase, facilite la production du comportement attendu. Le symbole de l’affectivité exprimé par un flyer en forme de cœur, permet d’obtenir un don plus fréquemment qu’un flyer de forme rectangulaire. Enfin, le verbe « AIMER » comparé à l’expression symbolique d’un cœur rouge apposé sur un tee-shirt, permet d’obtenir plus de don. La force du concept d’affectivité amorcé par le mot « AIMER » introduit dans l’environnement de l’individu visuellement sur un tee-shirt dans une demande explicite ou implicite d’aide ou oralement introduit dans la phrase d’interaction avec l’individu, facilite le comportement attendu. La théorie des réseaux sémantiques explique ces résultats. La perspective de ce travail est de tester ce concept d’affectivité chez l’enfant, dans d’autres cultures, d’explorer le lexique mental afin d’identifier les concepts susceptibles d’influencer positivement l’action pro-sociale. / The concept of affectivity (LAMY, HDR (2011)) is an independent variable that Lamy, Guéguen &Fischer-Lokou (2008, 2009,2010) will measure the effects by semantic evocation on pro-socialbehavior. As the semantic evocation of the concept of freedom (Gueguen & Pascual, 2000, 2002),the concept of affectivity facilitates action. Semantic Beginning of a Concept by Violence Tested byTodorov and Bargh (2002), a sentence (Banaji, Hardin & Rothman, 1993), an object (McCall and Belmont, 1996) makes it possible to modify the judgments or behaviors of the individual (Devine, 1989; Bargh, Chen and Burrows, 1996). We test the effects of the initiation of the concept of affectivity by a word on pro-social behavior. Six experiments are conducted to explore this hypothesis. The results show that pro-social behavior is facilitated when the concept of affectivity is visually initiated by the word "LOVE" in order to obtain an act of giving, whether or not there is an interaction with the individual; Similarly, the influence of this concept introduced orally into a sentence facilitates the production of the expected behavior. The symbol of affectivity expressed by a flyer in the shape of a heart, makes it possible to obtain a gift more frequently than a flyer of rectangular form. Finally, the verb "AIMER" compared to the symbolic expression of a red heart affixed on a tee-shirt, makes it possible to obtain more donation. The force of the concept of affectivity initiated by the word "LOVE" introduces into the environment of the individual visually on a tee shirt in an explicit or implicit request for help or orally introduced in the phrase of interaction with the " Individual, facilitates the expected behavior. The theory of semantic networks explains these results. The perspective of this work is to test this concept of affectivity in children, in other cultures, to explore the mental lexicon in order to identify the concepts likelyto positively influence the pro-social action.

Cette thèse a pour objectif de proposer une approche formelle basée sur les automates d'interface pour spécifier les contrats des composants réutilisables et vérifier leur interopérabilité fonctionnelle. Cette interopérabilité se traduit par la vérification des trois niveaux : signature, sémantique, et protocole. Le formalisme des automates d'interface est basé sur une approche " optimiste" qui prend en compte les contraintes de l'environnement. Cette approche considère que deux composants sont compatibles s'il existe un environnement convenable avec lequel ils peuvent interagir correctement. Dans un premier temps, nous proposons une approche préliminaire qui intègre la sémantique des paramètres des actions dans la vérification de la compatibilité et de la substitution des composants spécifiés par des automates d'interface. Dans un second temps, nous nous somme intéressés à adapter les composants réutilisables dont les contrats sont décrits par des automates d'interface enrichis par la sémantique des actions. En ce sens, nous avons proposé un algorithme qui permet de générer automatiquement la spécification d'un adaptateur de deux composants lorsque celui-ci existe. Dans un troisième temps, nous avons augmenté le pouvoir d'expression de notre approche proposée pour vérifier l'interopérabilité et les propriétés de sûreté des composants qui communiquent par des variables définies au niveau de leurs contrats d'interface. En particulier, nous étudions la préservation des invariants par composition et par raffinement.

Cette thèse a pour objectif de proposer une approche formelle basée sur les automates d’interface pour spécifier les contrats des composants réutilisables et vérifier leur interopérabilité fonctionnelle. Cette interopérabilité se traduit par la vérification des trois niveaux : signature, sémantique, et protocole. Le formalisme des automates d’interface est basé sur une approche « optimiste» qui prend en compte les contraintes de l’environnement. Cette approche considère que deux composants sont compatibles s’il existe un environnement convenable avec lequel ils peuvent interagir correctement. Dans un premier temps, nous proposons une approche préliminaire qui intègre la sémantique des paramètres des actions dans la vérification de la compatibilité et de la substitution des composants spécifiés par des automates d’interface. Dans un second temps, nous nous somme intéressés à adapter les composants réutilisables dont les contrats sont décrits par des automates d’interface enrichis par la sémantique des actions. En ce sens, nous avons proposé un algorithme qui permet de générer automatiquement la spécification d’un adaptateur de deux composants lorsque celui-ci existe. Dans un troisième temps, nous avons augmenté le pouvoir d’expression de notre approche proposée pour vérifier l’interopérabilité et les propriétés de sûreté des composants qui communiquent par des variables définies au niveau de leurs contrats d’interface. En particulier, nous étudions la préservation des invariants par composition et par raffinement. / The aim of this thesis is to propose a formal approach based on interface automata to specify the contracts of reusable components and to verify their functional interoperability. The functional interoperability is checked at three levels : signature, semantics, and protocol. Interface automata are based on an « optimistic » approach that takes into account the environment constraints. This approach considers that two components are compatible if there is a suitable environment with which they can interact properly. First, we propose an approach allowing the integration of the semantics of the action parameters in interface automata in order to strengthen the compatibility and substitution check between components. Second, we were interested in adapting reusable components whose contracts are described by interface automata enriched by the action semantics. In this context, we propose an algorithm of automatic generation of an adaptor of two mismatched components if possible. Third, we have increased the expressive power of our proposed approach to verify the interoperability and the safety properties of components that communicate by interface variables defined at the level of their contracts. In particular, we study the preservation of invariants by composition and refinement.