Spelling suggestions: "subject:"cohérence"" "subject:"cohérences""
391 |
Cohérence, brouillage et dynamique de phase dans un condensat de paires de fermions / Coherence, blurring and phase dynamics in a pair-condensed Fermi gasKurkjian, Hadrien 19 May 2016 (has links)
On considère généralement que la fonction d’onde macroscopique décrivant un condensat de paires de fermions possède une phase parfaitement définie et immuable. En réalité, il n’existe que des systèmes de taille finie, préparés à température non nulle ; le condensat possède alors un temps de cohérence fini, même lorsque le système est isolé. Cet effet fondamental, crucial pour les applications qui exploitent la cohérence macroscopique, restait très peu étudié.Dans cette thèse, nous relions le temps de cohérence à la dynamique de phase du condensat, et nous montrons par une approche microscopique que la dérivée temporelle de l’opérateur phase ˆθ0 est proportionnelle à un opérateur potentiel chimique qui inclut les deux branches d’excitations du gaz : celle, fermionique, de brisure des paires et celle, bosonique, de mise en mouvement de leur centre de masse. Pour une réalisation donnée de l’énergie E et du nombre de particules N, la phase évolue aux temps longs comme −2μmc(E,N)t/~ où μmc(E,N) est le potentiel chimique microcanonique ; les fluctuations de E et de N d’une réalisation à l’autre conduisent alors à un brouillage balistique de la phase, et à une décroissance gaussienne de la fonction de cohérence temporelle avec un temps caractéristique ∝ N1/2. En l’absence de telles fluctuations, la décroissance est au contraire exponentielle avec un temps de cohérence qui diverge linéairement en N à cause du mouvement diffusif de ˆθ0 dans l’environnement des modes excités. Nous donnons une expression explicite de ce temps caractéristique à bassetempérature dans le cas d’une branche d’excitation bosonique convexe lorsque les phonons interagissent via les processus 2 ↔ 1 de Beliaev-Landau. Enfin, nous proposons des méthodes permettant de mesurer avec un gaz d’atomes froids chaque contribution au temps de cohérence / It is generally assumed that a condensate of paired fermions at equilibrium is characterized by a macroscopic wavefunction with a well-defined, immutable phase. In reality, all systems have a finite size and are prepared at non-zero temperature ; the condensate has then a finite coherence time, even when the system is isolated. This fundamental effect, crucial for applicationsusing macroscopic coherence, was scarcely studied. Here, we link the coherence time to the condensate phase dynamics, and show using a microscopic theory that the time derivative of the condensate phase operator ˆθ0 is proportional to a chemical potential operator which includes both the fermionic pair-breaking and the bosonic pair-motion excitation branches.For a given realization of the number of particle N and of the energy E, the phase evolves at long times as −2μmc(E,N)t/~ where μmc(E,N) is the microcanonical chemical potential ; fluctuations of N and E from one realization to the other then lead to a ballistic spreading of the phase and to a Gaussian decay of the temporal coherence function with a characteristictime ∝ N1/2. On the contrary, in the absence of energy and number fluctuations, the decay of the temporal coherence function is exponential with a characteristic time scaling as N due to the diffusive motion of ˆθ0 in the environnement created by the excited modes. We give an explict expression of this characteristic time at low temperature in the case where the bosonicbranch is convex and the phonons undergo 2 ↔ 1 Beliaev-Landau process. Finally, we propose methods to measure each contribution to the coherence time using ultracold atoms.
|
392 |
Essai sur les clauses contractuelles / Essay on contractual clausesGras, Nicolas 19 November 2014 (has links)
Eléments essentiels du contrat, les clauses contractuelles méritent d’être étudiées afin de faciliter leur utilisation par les praticiens et leur appréhension par le juge.Délaissant toute visée exhaustive, ce travail n’a pas pour objet de répertorier ni de dénombrer matière par matière, à la manière d’un catalogue, les innombrables clauses foisonnant dans l’ensemble des branches du droit privé. Un tel projet ne livrerait que des enseignements parcellaires et descriptifs. Une réflexion générale sur les clauses prises comme instrument juridique ne présuppose pas de se livrer à un examen systématique de l’ensemble de leurs applications particulières, mais au contraire de mettre l’accent sur certains de leurs effets,jugés les plus remarquables.Une typologie des principales clauses devait tout d’abord être établie grâce à une approche fonctionnelle de leurs manifestations contractuelles. En effet, la volonté des parties d’organiser leur contrat tend généralement vers quatre grandes finalités : aménager l’exécution du contrat, gérer les risques encourus, éviter l’appréciation judiciaire et prévoir la fin du contrat et ses éventuelles sanctions. L’établissement d’une classification basée sur leur fonction permettait en outre de ne pas délaisser ni les clauses naissant au gré des besoins économiques ni les clauses considérées comme autonomes. Ce projet conduisait nécessairement à rechercher les modalités d’exécution des clauses d’une même catégorie permettant ainsi de proposer un régime juridique propre à chacune de ces catégories.Prolongeant l’analyse de leur fonction, il convenait alors dans une seconde partie d’étudier les liens existants entre les clauses et le contrat. Les clauses sont au service du contrat dont elles aménagent les obligations, prolongent les effets et précisent les sanctions.Or, parallèlement aux deux niveaux de dispositions que représentent la théorie générale du contrat et le droit des contrats spéciaux, il devait être démontré qu’une théorie générale des clauses contractuelles ne saurait constituer un troisième niveau de règles applicables au contrat. Néanmoins, une vision générale de l’influence de leurs effets, sur et en dehors du contrat, a permis d’établir des conditions de validité et des règles communes applicables à toutes les clauses. / Contractual clauses are key elements of a contract and should be studied more closely in order to facilitate their use by practioners and to enhance understanding by the judge.This work does not claim to be exhaustive. Its purpose is not to to identify, enumerate or catalogue the numerous clauses that abound in all branches of private law. Such a project would only yield a fragmented, descriptive insight. A general reflection on clauses as legal instruments does not necessitate a detailed examination of all applications but only that their most notable effects be highlighted.Firstly, a typology of the most important clauses had to be drawn up based on a functional approach regarding their contractual applications. The parties to a contract generally have in view four main goals: organising the execution of the contract, managing the risks, avoiding legal pitfalls, and foreseeing the end of the contract and any potential sanctions. The establishment of a classification based on function ensured that clauses arising from economic necessity as well as clauses considered to be independent would not beneglected. Hence, this project comprises research on the details of implementation of clauses in the same category, leading to the setting out of a legal regime appropriate to each category. Secondly, the aim of analysing the clauses’ functions led to studying the links between clauses and contracts. Clauses basically serve to organise the terms of the contract, extend its effects and establish sanctions. However, in parallel to the two levels – the general theory of contracts and special contracts law – it had to be demonstrated that a general theory of contractual clauses did not constitute a third level of rules applicable to contracts. Nevertheless, an overall view of the influence of their effects, both in terms of and beyond the contract, has allowed for the establishment of a general regime presenting the conditions of validity and common rules applicable to all clauses.
|
393 |
Implication de l'AMS dans le contrôle précis de la force par la préhension pouce-index. : Exploration du couplage fonctionnel corticomusculaire avec l'EEG et la MEG couplées à l'EMG et des réponses musculaires à la TMS / Contribution of the supplementary motor area in precise force control with precision grip in human : Functional corticomuscular coupling (EEG/MEG with EMG) and muscular responses to TMS.Chen, Sophie 16 December 2013 (has links)
Le pouce opposable de la main joue un rôle essentiel dans le comportement humain, permettant une prise bien plus précise que celle des singes avec les pouces opposables. Comment le cerveau contrôle t-il les mains aussi précisément? Dans le cadre de cette thèse, nous avons étudié comment différentes régions du cerveau dédiées au contrôle moteur, en particulier le cortex moteur (M1) et l’aire motrice supplémentaire (AMS), contribuent à une pince pouce-index précise. Les résultats de nos études révèlent que des neurones dans l’AMS, en complément de ceux dans M1, communiquent directement avec les motoneurones de la moelle épinière contrôlant les muscles de la main. De plus, SMA communique aussi efficacement que M1 avec les muscles de la main, alors que chez le singe, celle avec M1 est plus efficace. Cette différence fonctionnelle dans la voie AMS-muscles entre le singe et l’Homme pourrait expliquer la plus grande capacité de ce dernier à contrôler finement la force produite par les doigts. / The human hand's opposable thumb plays a large role in human behavior, allowing for a grip far more precise than that of monkeys with opposable thumbs. However, it isn't well understood how the brain controls the hands in such a precise way. In these studies, we investigate how different parts of the brain dedicated to motor tasks, in particular the motor cortex (M1) and the supplementary motor area (SMA), contribute to a precise thumb-index finger grip. Our experiments suggest that some neurons in the SMA, in addition to those well-described in M1, may connect directly to the motoneurons in the spinal cord controlling the hand muscles. Moreover, we found that SMA communicates with the hand muscles as efficiently as M1, while in monkeys, SMA communicates less efficiently than M1. This functional difference in the SMA-muscles pathway between monkey and human may account for the higher capacity of the latter to precisely control the force produced by digits.
|
394 |
Étude comparée de la responsabilité délictuelle du fait d’autrui en France et en Chine / Comparative study of vicarious liability in france and chinaJiang, Ying 12 July 2010 (has links)
Cette étude traite de la comparaison du régime de la responsabilité délictuelle du fait d’autrui en droit français et en droit chinois.Dans une première partie, plutôt micro-vision, la thèse se consacre à une étude au cas par cas des responsabilités du fait d’autrui dans les deux systèmes juridiques. Il s’agit précisément de la responsabilité du fait des mineurs (la responsabilité des parents en droit français et des tuteurs en droit chinois ainsi que la responsabilité des instituteurs en droit français et des établissements scolaires en droit chinois), de la responsabilité des employeurs du fait des personnes qu’ils emploient dans les deux droits et de la responsabilité générale du fait d’autrui qui est admise particulièrement en droit français, à la différence du droit chinois.La deuxième partie apporte une vision d’ensemble et propose au sein des deux systèmes de droit une étude des rapports internes du régime entre les différentes hypothèses de cette responsabilité ainsi qu’un examen des rapports externes de ce régime avec les responsabilités personnelles de droit commun et les mécanismes d’indemnisation collective.Pourtant, de ce mécanisme appliqué aux deux systèmes, l’analyse révèle un inconvénient commun : une harmonisation du régime fait défaut. A cet égard, sous la condition préalable de ne pas nuire à la particularité de chaque cas de figure, l’étude tente de restaurer une cohérence tant dans les rapports « internes » du régime de responsabilité du fait d’autrui, que dans ses rapports « externes » avec d’autres régimes. / This study is about a comparison of vicarious liability in French juridical system and in Chinese juridical system.In first part of this article, a more micro-vision, it is analyzed case by case of specific vicarious liability in two judicial systems. It is precisely about the acts of minors (the liability of parents in French law and liability of guardians in Chinese law, also the liability of teachers in French law and liability of school in Chinese law), the liability of employers and masters in two juridical systems and the general vicarious liability that is accepted particularly in French law, while the latter is different in Chinese law.The second part of this article concerns a whole vision and proposes a study of internal relations of two systems between different hypotheses of vicarious liability, and also an investigation of external relations of this system with the personal responsibility of “common law” and the mechanisms of collective compensation.However, of this mechanism applied at two systems, analysis reveals a common disadvantage: a lack of harmonization. In this aspect, considering the precondition of avoiding doing harm to particularity of each case of figure, the study tries to restore coherence both “internal” relations in systems of vicarious liability and “external” relations with other systems.
|
395 |
Analyse de la dynamique des séries temporelles multi-variées pour la prédiction d’une syncope lors d’un test d’inclinaison / Dynamical analysis of mutivariate time series for the early detection of syncope during Head-Up tilt testKhodor, Nadine 22 December 2014 (has links)
La syncope est une perte brusque de conscience. Bien qu'elle ne soit pas généralement mortelle, elle présente un impact économique sur le système de soins et sur la vie personnelle de personnes en souffrant. L'objet de la présente étude est de réduire la durée du test clinique (environ 1 heure) et d'éviter aux patients de développer une syncope en la prédisant. L'ensemble de travail s'inscrit dans une démarche de datamining associant l'extraction de paramètres, la sélection des variables et la classification. Trois approches complémentaires sont proposées, la première exploite des méthodes d'analyse non-linéaires de séries temporelles extraites de signaux acquises pendant le test, la seconde s'intéresse aux relations cardiovasculaires en proposant des indices dans le plan temps-fréquence et la troisième, plus originale, prendre en compte leurs dynamiques temporelles. / Syncope is a sudden loss of consciousness. Although it is not usually fatal, it has an economic impact on the health care system and the personal lives of people suffering. The purpose of this study is to reduce the duration of the clinical test (approximately 1 hour) and to avoid patients to develop syncope by early predicting the occurrence of syncope. The entire work fits into a data mining approach involving the feature extraction, feature selection and classification. 3 complementary approaches are proposed, the first one exploits nonlinear analysis methods of time series extracted from signals acquired during the test, the second one focuses on time- frequency (TF) relation between signals and suggests new indexes and the third one, the most original, takes into account their temporal dynamics.
|
396 |
Optical 3D imaging of subcellular dynamics in biological cultures and tissues : applications to ophthalmology and neuroscience / Imagerie optique en 3 dimensions des dynamiques subcellulaires dans des cultures et tissus biologiques : applications à l'ophtalmologie et aux neurosciencesThouvenin, Olivier 07 July 2017 (has links)
Cette thèse a pour objectif l’étude d’un lien effectif potentiel entre la motilité cellulaire, la mécanique cellulaire, et l’activité biochimique de ces mêmes cellules. Ce couplage a été étudié dans divers systèmes biologiques, et aussi bien dans des cultures de cellules qu’à l’intérieur de tissus plus complexes. Notamment, nous avons particulièrement cherché à détecter un couplage électromécanique dans des neurones qui pourrait être impliqué dans la propagation du message nerveux.Pour ce faire, nous avons dû développer deux microscopes optiques à la sensibilité extrême. Ces microscopes se composent de deux parties principales. La première sert à détecter des mouvements axiaux plus petits que la longueur d’onde optique, soit en dessous de 100 nanomètres. La deuxième partie permet la détection d’un signal de fluorescence, offrant la possibilité de suivre l’évolution biochimique de la cellule. Avec ces deux microscopes multimodaux, il est donc possible de suivre de manière simultanée un contraste de motilité, un contraste mécanique, un contraste structurel et un contraste biochimique. Si l’un de ces systèmes est basé sur la tomographie de cohérence optique plein champ et permet de faire de telles mesures en 3-D et en profondeur dans les tissus biologiques, le second ne permet que des mesures dans des cultures de cellules, mais est bien plus robuste au bruit mécanique. Dans ce manuscrit, nous allons essentiellement décrire le développement de ces deux appareils, et préciser les contrastes auxquels ils sont sensibles spécifiquement.Nous développerons également deux des applications principales de ces microscopes que nous avons étudié dans le détail au cours de cette thèse. La première application développe l’intérêt d’un de nos microscopes pour la détection sans marquage des principaux composants cellulaires et structuraux de la cornée et de la rétine. La seconde application tend à détecter et à suivre des ondes électromécaniques dans des neurones de mammifères / This PhD project aims to explore the relationship that might exist between the dynamic motility and mechanical behavior of different biological systems and their biochemical activity. In particular,we were interested in detecting the electromechanical coupling that may happen in active neurons, and may assist in the propagation of the action potential. With this goal in mind, we have developed two highly sensitive optical microscopes that combine one modality that detects sub-wavelength axial displacements using optical phase imaging and another modality that uses a fluorescence path. Therefore, these multimodal microscopes can combine a motility, a mechanical,a structural and a biochemical contrast at the same time. One of this system is based ona multimodal combination of full-field optical coherence tomography (FF-OCT) and allows the observation of such contrast inside thick and scattering biological tissues. The other setup provides a higher displacement sensitivity, but is limited to measurements in cell cultures. In this manuscript, we mainly discuss the development of both systems and describe the various contrastst hey can reveal. Finally, we have largely used our systems to investigate diverse functions of the eye and to look for electromechanical waves in cell cultures. The thorough description of both biological applications is also provided in the manuscript
|
397 |
Les accords bilatéraux de l'Union européenne / Bilateral agreements of the European UnionRochereuil, Katia 18 March 2013 (has links)
La diversité des accords bilatéraux a constitué un moyen pour l'Union européenne d'étendre ses compétences externes. Cela rend compte du volontarisme mais surtout du pragmatisme de son action extérieure, ce qui n'est pas sans poser de problèmes.La mise en cohérence des accords bilatéraux devient alors une exigence impérieuse. Cette rationalisation des accords devra être confortée par un schéma institutionnel rénové autant que par la reformulation synthétique des fondements juridiques de la compétence externe de l'Union européenne. / The different bilateral agreement is a tool for the European Union to wide its external competences. This illustrates it voluntarism but even more it pragmatism of it external action, what is not without raise problems.The harmonization of bilateral agreements is a very strong need. This rationalization should be hold by an institutional scheme and by a reformulation of legal basis.
|
398 |
Dynamique de connectivité fonctionnelle et modulation expérimentale des oscillations cérébrales en sommeil dans le vieillissementBouchard, Maude 12 1900 (has links)
Le sommeil est un état de conscience faisant preuve d’un vaste potentiel au niveau clinique. Par exemple, le sommeil est devenu un outil dans le diagnostic précoce de certains processus dégénératifs au sein du cerveau, ainsi que dans le traitement de différents troubles physiologique et psychologiques. Son potentiel pourrait même être augmenté via la stimulation cérébrale. Bien que le cerveau soit un centre de communication majeur, la recherche en sommeil s’est principalement centrée sur des mesures statiques du sommeil. L’étude des patrons de communication entre les différentes régions du cerveau nous permet pourtant d’inférer sur leur utilité fonctionnelle chez l’humain. Et si ces patrons de communication permettaient une compréhension plus intégrée des changements du sommeil à travers la vie et de leurs conséquences au cours du vieillissement? Cette thèse permet d’étudier, sous un angle dynamique et novateur, l’interaction de l’activité neuronale et la modulation expérimentale du sommeil au cours du vieillissement normal. À l’aide de l’électroencéphalographie, la connectivité fonctionnelle cérébrale est évaluée à l’échelle des stades et des cycles de sommeil, de l’onde lente elle-même, ainsi que sous une perspective expérimentale grâce à la stimulation transcrânienne par courant alternatif.
Les résultats des deux premières études démontrent les changements au niveau de la connectivité cérébrale en sommeil au cours du vieillissement, tandis que la troisième étude démontre la possibilité de moduler cette connectivité, ainsi que les oscillations cérébrales, chez la population âgée. À l’échelle des stades de sommeil, le cerveau des personnes âgées est plus connecté lors du sommeil lent profond et moins connecté lors du sommeil lent léger, comparativement aux jeunes adultes. Ces différences d’âge sont d’ailleurs plus importantes en début de nuit. Nos résultats démontrent aussi une diminution de connectivité associée à la phase de dépolarisation de l’onde lente chez la population âgée, comparativement aux jeunes adultes. Chez ces derniers, une augmentation marquée de la connectivité pendant l’onde lente est observée. La connectivité au cours de l’onde lente est aussi affectée par la présence d’un fuseau de sommeil en simultané, suggérant soit le mixte de leurs réseaux ou la mise en place de ceux du fuseau. Nous démontrons également, grâce à l’utilisation de métriques novatrices, la présence de deux types d’ondes lentes avec une dynamique de connectivité qui leur est propre, suggérant qu’elles soient impliquées dans des processus fonctionnels distincts. Pendant une sieste, l’utilisation de la stimulation transcrânienne par courant alternatif a aussi permis de moduler les fuseaux de sommeil, leur couplage avec l’onde lente ainsi que la connectivité fonctionnelle des individus âgés. Ces résultats, bien que modestes, démontrent l’aspect prometteur de la modulation non-pharmacologique du sommeil.
Non seulement cette thèse fournit une vision intégrée des changements de connectivité fonctionnelle au cours du vieillissement, mais elle démontre qu’il est possible de moduler le sommeil des personnes âgées à des fins ultimement thérapeutiques. Le manque de flexibilité des différents réseaux des personnes âgées pourrait être à la base, entre autres, des changements au niveau de la consolidation de la mémoire. Les implications de nos résultats pourraient être pertinentes à l’étude des processus de plasticité ayant lieu au cours du sommeil. / Sleep is a state of consciousness which shows a great potential in the clinical field. For instance, sleep has become a tool in the early diagnosis of certain neurodegenerative processes, as well as in the treatment of various physiological and psychological disorders. Its potential could even be increased via brain stimulation. Although the brain is a major communication center, sleep research has mainly focused on static measures of sleep. The study of the patterns of communication between the different regions of the brain nevertheless allows us to infer on their functional utility in humans. What if these patterns of communication allowed a more integrated understanding of sleep changes throughout life and their consequences during aging? This thesis investigates, from an innovative and dynamic angle, the interaction of neuronal activity and experimental modulation of sleep in normal aging. Using electroencephalography, functional connectivity is assessed at the scale of sleep stages and cycles, at the scale of the slow wave itself, and from an experimental perspective using the transcranial alternating current stimulation.
The results in our first two studies demonstrate changes in EEG functional connectivity during sleep in aging while our third study showed the possibility of experimentally modulating functional connectivity as well as brain oscillations in the same population. At the sleep stage scale, the brain of older individuals is more connected during slow wave sleep and less connected during lighter sleep, compared to young adults. These age differences are predominant at the beginning of the night. Our results also demonstrate a decrease in functional connectivity associated with the slow wave depolarization phase in older individuals. In the young ones, brain connectivity associated to a slow wave is markedly increased. Functional connectivity during slow wave depolarization is also affected by the simultaneous presence of sleep spindles, suggesting either the admixture of their networks or the establishment of those underlying spindle occurrence. We also demonstrate, through the use of novel metrics, the presence of two types of slow waves, each endowed with specific connectivity dynamics. This suggests the presence of distinct functional implications. These slow waves types could also be inherently modulated by distinct physiological processes. During a nap, the use of transcranial alternating current stimulation has made it possible to experimentally modulate sleep spindles, their coupling with the slow waves, and functional connectivity in older individuals. These results, although modest, demonstrate the promising aspect of non-pharmacological sleep modulation.
This thesis provides an integrated view of functional connectivity changes in aging and also demonstrates the feasibility of experimental sleep modulation in older individuals. The lack of network flexibility that we described in the older population in term of connectivity could underlie changes in sleep-dependent memory consolidation processes. The implications of our results is relevant to the study of sleep-dependent plasticity processes.
|
399 |
Les canaux de transmission de la politique monétaire en finance non-conventionnelle / Monetary Policy Transmission Channels in Non-Conventional FinanceBen Amar, Amine 04 October 2018 (has links)
Gouvernée par un socle juridique d’inspiration religieuse, le fonctionnement de la banque islamique est, sur le plan théorique, différent de celui de la banque conventionnelle. Bien que la littérature portant sur les mécanismes de transmission de la politique monétaire dans un cadre conventionnel soit abondante, rares sont les travaux, théoriques et empiriques, qui examinent le rôle des banques islamiques dans cette transmission. En effet, la littérature existante ne présente pas de schéma analytique complet permettant d’appréhender clairement le rôle des banques islamiques dans la transmission de la politique monétaire, et d'identifier et spécifier la nature des interactions entre banques islamiques et banques conventionnelles. L’ambition de la présente thèse, structurée en trois chapitres, consiste donc à étudier par quels mécanismes et dans quelles mesures la banque centrale est susceptible de réguler l’activité économique en présence de banques islamiques. / Governed by a religiously inspired legal framework, Islamic banking is, in theory, different from conventional banking. While the literature on the transmission mechanisms of monetary policy in a conventional framework is abundant, very little research, theoretical and empirical, has been focused directly at the role of Islamic banks in this transmission. Indeed, the existing literature does not present a complete analytical framework allowing a full and clear understanding of the role of Islamic banks in the transmission of monetary policy, and to identify and specify the nature of the interactions between Islamic and conventional banks. The aim of this thesis, made up of three chapters, is to study by which mechanisms and to what extent the central bank is likely to regulate the economic activity in the presence of Islamic banks.
|
400 |
Gestion de la variabilité au niveau du code : modélisation, traçabilité et vérification de cohérence / Handling variability at the code level : modeling, tracing and checking consistencyTërnava, Xhevahire 01 December 2017 (has links)
Durant le développement de grandes lignes de produits logiciels, un ensemble de techniques d’implémentation traditionnelles, comme l’héritage ou les patrons de conception, est utilisé pour implémenter la variabilité. La notion de feature, en tant qu’unité réutilisable, n’a alors pas de représentation de première classe dans le code, et un choix inapproprié de techniques entraîne des incohérences entre variabilités du domaine et de l’implémentation. Dans cette thèse, nous étudions la diversité de la majorité des techniques d’implémentation de la variabilité, que nous organisons dans un catalogue étendu. Nous proposons un framework pour capturer et modéliser, de façon fragmentée, dans des modèles techniques de variabilité, la variabilité implémentée par plusieurs techniques combinées. Ces modèles utilisent les points de variation et les variantes, avec leur relation logique et leur moment de résolution, pour abstraire les techniques d’implémentation. Nous montrons comment étendre le framework pour obtenir la traçabilité de feature avec leurs implémentations respectives. De plus, nous fournissons une approche outillée pour vérifier la cohérence de la variabilité implémentée. Notre méthode utilise du slicing pour vérifier partiellement les formules de logique propositionnelles correspondantes aux deux niveaux dans le cas de correspondence 1–m entre ces niveaux. Ceci permet d’obtenir une détection automatique et anticipée des incohérences. Concernant la validation, le framework et la méthode de vérification ont été implémentés en Scala. Ces implémentations ont été appliquées à un vrai système hautement variable et à trois études de cas de lignes de produits. / When large software product lines are engineered, a combined set of traditional techniques, such as inheritance, or design patterns, is likely to be used for implementing variability. In these techniques, the concept of feature, as a reusable unit, does not have a first-class representation at the implementation level. Further, an inappropriate choice of techniques becomes the source of variability inconsistencies between the domain and the implemented variabilities. In this thesis, we study the diversity of the majority of variability implementation techniques and provide a catalog that covers an enriched set of them. Then, we propose a framework to explicitly capture and model, in a fragmented way, the variability implemented by several combined techniques into technical variability models. These models use variation points and variants, with their logical relation and binding time, to abstract the implementation techniques. We show how to extend the framework to trace features with their respective implementation. In addition, we use this framework and provide a tooled approach to check the consistency of the implemented variability. Our method uses slicing to partially check the corresponding propositional formulas at the domain and implementation levels in case of 1–to–m mapping. It offers an early and automatic detection of inconsistencies. As validation, we report on the implementation in Scala of the framework as an internal domain specific language, and of the consistency checking method. These implementations have been applied on a real feature-rich system and on three product line case studies, showing the feasibility of the proposed contributions.
|
Page generated in 0.0524 seconds