No description available.

Experimentieren in der vorliegenden Arbeit bedeutet, Experimente auf der Basis von computerbasierten Modellen durchzuführen, wobei diese Modelle Struktur, Verhalten und Umgebung eines Systems abstrahiert beschreiben. Aus verschiedenen Gründen untersucht man stellvertretend für das System ein Modell dieses Systems. Systematisches Experimentieren bei Variation der Modelleingabeparameterbelegung führt in der Regel zu sehr vielen, potentiell lang andauernden Experimenten, die geplant, dokumentiert, automatisiert ausgeführt, überwacht und ausgewertet werden müssen. Häufig besteht dabei das Problem, dass dem Experimentator (der üblicherweise kein Informatiker ist) adäquate Ausdrucksmittel fehlen, um seine Experimentier-Prozesse formal zu beschreiben, so dass sie von einem Computersystem automatisiert ausgeführt werden können. Dabei müssen Verständlichkeit, Nachnutzbarkeit und Reproduzierbarkeit gewahrt werden. Der neue Ansatz besteht darin, generelle Experimentier-Workflow-Konzepte als Spezialisierung von Scientific-Workflows zu identifizieren und diese als eine metamodellbasierte Domain-Specific-Language (DSL) zu formalisieren, die hier als Experimentation-Language (ExpL) bezeichnet wird. ExpL beinhaltet allgemeine Workflow-Konzepte und erlaubt das Modellieren von Experimentier-Workflows auf einer frameworkunabhängigen, konzeptuellen Ebene. Dadurch werden die Nachnutzbarkeit und das Publizieren von Experimentier-Workflows nicht mehr durch die Gebundenheit an ein spezielles Framework behindert. ExpL wird immer in einer konkreten Experimentierdomäne benutzt, die spezifische Anforderungen an Konfigurations- und Auswertemethoden aufweist. Um mit dieser Domänenspezifik umzugehen, wird in dieser Arbeit gezeigt, diese beiden Aspekte separat in zwei weiteren, abhängigen Domain-Specific-Languages (DSLs) zu behandeln: für Konfiguration und Auswertung. / Experimentation in my work means performing experiments based on computer-based models, which describe system structure and behaviour abstractly. Instead of the system itself models of the system will be explored due to several reasons. Systematic experimentation using model input parameter variation assignments leads to lots of possibly long-running experiments that must be planned, documented, automated executed, monitored and evaluated. The problem is, that experimenters (who are usually not computer scientists) miss the proper means of expressions (e. g., to express variations of parameter assignments) to describe experimentation processes formally in a way, that allows their automatic execution by a computer system while preserving reproducibility, re-usability and comprehension. My approach is to identify general experimentation workflow concepts as a specialization of a scientific workflow and formalize them as a meta-model-based domain-specific language (DSL) that I call experimentation language (ExpL). experimentation language (ExpL) includes general workflow concepts like control flow and the composition of activities, and some new declarative language elements. It allows modeling of experimentation workflows on a framework-independent, conceptional level. Hence, re-using and sharing the experimentation workflow with other scientists is not limited to a particular framework anymore. ExpL is always being used in a specific experimentation domain that has certain specifics in configuration and evaluation methods. Addressing this, I propose to separate the concerns and use two other, dependent domain-specific languages (DSLs) additionally for configuration and evaluation.

Le principal problème abordé dans cette thèse est la définition d'une nouvelle méthodologie SPL qui couvre les deux phases du processus et met l'accent sur la dérivation de modèles comportementaux des produits. Le chapitre 2 définit le cadre de cette thèse : les lignes de produits logiciels, les processus opérationnels et l'ingénierie dirigé par les modèles. Dans le chapitre 3, nous proposons une nouvelle méthodologie SPL centrée sur la dérivation de comportement des produits. Nous décrivons d'abord le courant principal de la méthodologie, et ensuite les différentes étapes. Dans le chapitre 4, nous proposons un nouveau langage spécifique domaine appelé CBPF pour la modélisation des fragments de processus opérationnels. Une approche dirigée par les modèles est suivie pour créer CBPF: syntaxe abstraite, syntaxe concrète graphique et sémantique translationnelles. Dans le chapitre 5, nous proposons plusieurs types de vérifications applicables aux fragments afin de déterminer leur justesse. Pour la vérification structurelle, est définit un ensemble des règles de cohérence qui doivent être valides pour chaque fragment réalisé avec CBPF. Pour vérifier le comportement, nous transformons d'abord les fragments dans des réseaux de Pétri équivalents. On peut alors vérifier des propriétés génériques mais aussi définir des propriétés spécifiques. Dans le chapitre 6, nous illustrons la méthodologie proposée en l'appliquant à une étude de cas à partir du domaine système de gestion de crise. Nous proposons également une suite d'outils qui supporte notre méthodologie. Le chapitre 7 décrit les améliorations possibles et les extensions aux contributions de cette thèse. Nous concluons la thèse dans le chapitre 8. / The major problem addressed in this thesis is the definition of a new SPLE methodology that covers both phases of the SPLE process and focuses on the derivation of behavioral models of SPL products. In Chapter 2 three research areas scope context of this thesis: Software Product Lines, Business Processes, and Model-Driven Engineering. Throughout Chapter 3, we propose a new SPLE methodology that focuses on the derivation of product behavior. We first describe the main flow of the methodology, and then detail the individual steps. In chapter 4 we propose a new domain specific language called CBPF created for modeling composable business process fragments. A model driven approach is followed for creating CBPF: definition of the abstract syntax, graphical concrete syntax and translational semantics. In Chapter 5 we propose several types of verifications that can be applied to business processfragments to determine their "correctness". For structural verification we definine a set of fragment consistency rules that should be valid for every business process fragment created with CBPF. To check behavioral correctness we first transform the business process fragment into an equivalent HCPN. We can then check generic properties but also define aset of fragment specific properties. In chapter 6 we exemplify the proposed SPL methodology by applying it to a case study from the crisis management system domain. We also propose a tool suite that supports our methodology. Chapter 7 describes possible improvements and extensions to the contributions of this thesis. We conclude the thesis in Chapter 8 and draw some conclusions.

L'hétérogénéité et l'énergie sont deux considérations fondamentales pour les environnements informatiques ubiquitaires. Dans cette thèse, nous présentons notre approche pour gérer l'hétérogénéité et pour économiser l'énergie via des canevas de programmation intégrés. Pour gérer l'hétérogénéité, nous proposons une méthodologie et un support de programmation qui vise à faire communiquer les différentes entités de l’environnement ubiquitaire en utilisant le protocole SIP considéré alors comme un bus logique universel de communication. Nous avons intégré ce bus SIP dans le langage de description d’architecture DiaSpec développé par notre équipe Phoenix. Concernant la consommation d’énergie, nous proposons une méthodologie qui utilise les techniques d’offloading et de compression de données pour minimiser la consommation d'énergie des applications mobiles. Nous avons ainsi construit une stratégie d’aide à la conception au travers d’un outil qui permet de déterminer le meilleur mode d’exécution pour une tâche donnée que nous proposons d’intégrer dans le langage de description DiaSpec. / The topics of heterogeneity and energy are two fundamental considerations for pervasive computing environments. Inthis thesis, we describe our approach to manage heterogeneity and to handle energy concerns via a high-level programming framework.To manage heterogeneity, we describe a methodology and a programming support that use the SIP protocol as a universal communication bus in pervasive computing environments. Ourwork enables homogeneous communications between heterogeneous distributed entities. In doing so, we integrate the SIP communication bus into our programming framework. We rely on adeclarative language named DiaSpec to describe the architecture of pervasive applications. This description is passed to a generator for producing a Java programming framework dedicated to the application area. We leverage the generated framework with SIP adaptations to raise the abstraction level of SIP operations.We then present a classification of a wide variety of entities interms of features, capabilities and network connectors. Based on this classification, a methodology and a programming supportare described for connecting entities on the SIP communication bus. This work has been validated by applications using theSIP communication bus to coordinate widely varying entities,including serial-based sensors (RS232, 1-Wire), ZigBee devices,X10 devices, PDA, native SIP entities, and software components.Regarding the energy concerns, we describe a methodology that uses two strategies, namely computation offloading and data compression, to minimize energy cost of mobile applications.In doing so, we present an execution and transfer model for atask of a mobile application and define its five different stubs forthree program execution and data transfer modes. Based on this model and our two strategies, we construct a strategy scheme to determine the most efficient stub in terms of energy consumption.We then design the OffDeci tool, using this strategy scheme, toprovide energy feedback for the developer and to analyze thebalance between local and remote computing with consideration of data compression. Our experimental study demonstrates thefeasibility of the strategy scheme of our approach. Finally, weextend DiaSpec with declarations dedicated to manage energy concerns during the application design phase. We sketched the integration of this energy-handling declaration and OffDeci intoour high-level programming framework. This integration permitsto determine the best stub of a declared DiaSpec component interms of its energy cost.

Chez les enfants souffrant de troubles spécifiques du langage oral (TSLO), des déficits demémoire à court terme verbale et d’acquisition lexicale sont fréquemment décrits. Ces capacités sont évaluées par des tâches de répétition et plus généralement de production verbale, mettant en jeu demultiples composants susceptibles d’être altérés dans les TSLO. Dans ce contexte, l’objectif généralde cette thèse était l’examen de mécanismes de mémorisation verbale à l’aide du paradigme dumonde visuel. L’oculométrie consiste à analyser les mouvements oculaires des participants sur desimages, à la suite de stimulations verbales. La reconnaissance et la mémorisation à court terme demots parlés familiers ont été examinées à travers quatre études, auxquelles les participants avec etsans TSLO âgés de 5 et 6 ans, ont obtenu des résultats comparables. Seules des différences enfonction de l’âge ont été révélées, reflétant les changements développementaux du traitement lexical.Dans un second temps, le paradigme d’appariement rapide pour l’acquisition de nouveaux mots(« fast mapping »), nécessitant peu de présentations, a été proposé à trois groupes d’enfants. Leurscapacités d’acquisition lexicale ont à nouveau été évaluées via le paradigme du monde visuel à unetâche de reconnaissance de mots parlés. Les groupes TSLO présentant des déficits en répétitionverbale, ont néanmoins reconnu et apparié les nouvelles étiquettes lexicales aux images référentes,comme leurs pairs au développement typique. Les études menées ont permis de mettre en évidenceque le maintien à court terme de l'information verbale ainsi que l’encodage de nouvelles informationssont efficients chez les enfants avec TSLO, lorsque la production verbale n’est pas sollicitée. / In children suffering from specific language impairment (SLI), verbal short term memory disorders and lexical learning inability are frequently described. These skills are assessed through repetition tasks and more generally, with verbal output modality which variety of components can be impaired in SLI. In this context, the general aim of this research work was the examination of verbal memorization processes through visual world paradigm. This eye-tracking tasks consist in analyzing eye movements of participants on pictures, consecutively to verbal stimulations. Recognition and short term retention of familiar spoken words were investigated through four studies, in which participants aged 5 and 6, with and without SLI, shown similar patterns of result. Only age differences were revealed, suggesting developmental changing of lexical processing. In a second phase, the fast mapping word learning paradigm requiring few occurences of new words, was proposed to three groups of children. Their lexical learning abilities were again assessed within the visual world paradigm and a spoken word recognition task. SLI groups with poor performances in verbal repetition tasks, have nevertheless associated the new lexical label with referent picture, as their peers with typical development. These studies suggest that verbal information retention in short term memory and encoding of new information are efficient in SLI children, when the tasks do not require any verbal output.

Na ultima década o paradigma de computação orientada a serviços (SOC - Service Oriented Computing) tem ganhado cada vez mais espaço na indústria e na academia, a fim de solucionar o problema da falta de comunicação entre os diversos sistemas de informação presentes dentro de um ambiente corporativo. Graças aos recentes avanços da chamada \"Web 2.0\" um novo estilo arquitetural chamado de Arquitetura orientada a Web (WOA - Web Oriented Architecture) foi proposto a fim de garantir uma maneira simples de conectar os componentes de software dinamicamente. Esse estilo tem como um dos princípios o uso de serviços Web RESTful, a fim de conseguir uma interface funcional simples e uniforme. Este trabalho apresenta um ambiente colaborativo de apoio ao desenvolvimento de serviços Web RESTful utilizando o paradigma de desenvolvimento orientado a modelos (MDD - Model Driven Development). Pretende-se mostrar os benefícios do MDD aplicado a Engenharia Web e também as vantagens apresentadas pela colaboração nesse cenário. Foi realizado ainda um experimento a fim de comprovar a eficiência do ambiente colaborativo e benefícios alcançados por ele / In the last decade the paradigm of Service Oriented Computing has gained more attention in industry and academia in order to solve the problem of lack of communication between different information systems present within a corporate environment. Due to recent advances in Web 2.0 a new architectural style called Web Oriented Architecture is proposed to ensure a simple way to connect software components dynamically. This style has as a principle the use of RESTful Web Services in order to achieve a uniform interface simple and functional. This paper presents a collaborative environment to support the development of RESTful Web Services using the Model Driven Development paradigm. It is intended to show the benefits of MDD applied to Web Engineering and also the advantages presented by collaboration in this scenario. It was also performed a experiment to prove the efficiency of the collaborative environment and benefits achieved by the same

Bien que les troubles du langage formel affectent une grande partie des enfants avec Trouble du Spectre Autistique (TSA), leur nature reste encore incertaine. Certaines études postulent que le trouble observable chez ces enfants est de même nature que celui dont souffrent les enfants avec trouble spécifique du langage (TSL), tandis que d’autres argumentent en faveur de deux troubles qui diffèrent dans leur étiologie. Au centre de ce débat réside la complexité à recueillir des données sur le langage chez les enfants avec TSA, notamment quand il s’agit de participer de manière active. Dans cette étude, nous explorons l’interprétation en temps réel des indices grammaticaux chez des enfants avec TSA monolingues francophones, en nous intéressant aux pronoms clitiques objets, dont la faible production en contexte obligatoire a été proposée comme marqueur du TSL pour le français. / It is well-known that children with Autism Spectrum Disorder (ASD) often have language impairment. However, the nature of this impairment is still largely unknown. Some studies hold that language impairment in children with ASD is of the same nature as impairment found in children with Specific Language Impairment (SLI), whereas others argue that SLI and language impairment in ASD may be different both in their structure and their etiology. At the heart of this debate lies the difficulty of assessing language abilities of children with ASD, especially when active participation is required. Moreover, to date, few studies have investigated formal aspects of language in children with ASD in languages other than English. In this study, we explore real-time interpretation of grammatical cues in French-speaking children with ASD, with a focus on object clitics.

安全多方計算的研究主要是針對在分散環境下的兩造(或多方)之間，如何在不透露彼此私有的資料的情況下，計算一個約定函數的問題，並要確保除了計算結果及其可能推導出的資訊，不會洩漏額外的私有資料。依此設計出來的函數算法，稱為安全的多方計算協定(protocol)。 過去兩年本實驗室根據一套基於向量內積運算(scalar product)發展出的安全多方計算方法，設計了一個雛型的分散式系統框架，開發了一套符合其安全要求的常用算數運算函數庫。 但目前個別的應用問題在此系統上發展安全協定的程式時，使用者必須相當熟悉其架構與程式庫細節，才能開發所需程式，造成推廣上的障礙。有鑑於此，本論文採用領域專屬語言(domain-specific language)的方法與技術，針對一般安全多方協定程式的特徵來進行歸納與分析，找出協助其表達計算步驟的適當抽象機制，並在設計上訂定了以下目標： 1. 設計一高階語言用以描述多方安全計算，以提供使用者撰寫安全多方計算程式。 2. 檢查並確保使用者撰寫的程式不會有資訊洩漏。 3. 多方安全運算執行上能保持一定的效率。 4. 建立多方安全計算的運算流程，讓PDL與現有的運作環境配合，達到各伺服器合作運行多方安全計算的目的。 朝向這四個目標發展出一套協定描述語言與其編譯器。以便與SMC-Protocol以及其環境合作，協助領域專家以更簡便的方式來設計與實驗更多的安全多方協定。我們稱此語言為多方安全計算協定描述語言(Protocol Description Language, PDL)。 / Protocols for secure multi-party computation (SMC) allow participants to share a computation while each party learns only what can be inferred from their own inputs and the output of the computation. In the past two years, we developed an SMC implementation framework for both integers and floating numbers which comprises a set of arithmetic operations that manipulate secret values among involved parties using the scalar product protocol as the basis. Such a library of arithmetic operations is call building blocks. But using this library is not easy. To solve individual SMC problem, programmer should knowing the given framework and protocol detail very well. This difficulty makes them won't consider this framework while facing the need of SMC. To ease the writing of more complex user-defined protocols, using the technique of domain-specific language, this thesis analysis the general needs of SMC, develop a domain-specific language of SMC, and implement a compiler that coverts this language to SMC code, which is executable code composed of the protocols of given framework. We called this language Protocol Description Language, PDL.

<p>Children with cleft lip and palate (CLP) and children with specific language impairment (SLI) may be affected emotionally and psychosocially by their disorders. Thus, it is important to investigate the psychosocial risk factors that these children are exposed to. The aim of this study was to examine how parents assess the emotional and psychosocial well-being of children with CLP and children with SLI, and if the two parental groups differ in their assessments using the standardized instrument Child Behaviour Checklist (CBCL). Participants in the study were the parents of ten children with unilateral and bilateral CLP between ages 6;7-9;0 (mean age 7;5) and the parents of 13 children between ages 6;4-8;8 (mean age 7;3) who are attending preschools and schools for children with SLI. These parents were asked to complete the questionnaires CBCL and Child Health Questionnaire (CHQ).</p><p> </p><p>The children with CLP had lower scores than the children with SLI in all domains of the CBCL, indicating that these children with CLP had better emotional and psychosocial well-being. The scores in the domains "withdrawn" and "delinquent behaviour" were significantly lower for the group of children with CLP who also had lower total mean scores of CBCL compared to the standardization group. The children with SLI had significantly higher mean scores for all domains compared to this group, indicating that these children with SLI were more emotionally and psychosocially affected than the other groups. Correlations between CBCL and CHQ were found for the children with CLP and the children with SLI.<strong> </strong></p> / <p>Barn med läpp-käk-gomspalt (LKG) och barn med språkstörning kan påverkas emotionellt och psykosocialt på grund av sina avvikelser. Det föreligger därför ett behov av att undersöka vilka aspekter som kan utgöra psykosociala riskfaktorer hos dessa grupper. Syftet med föreliggande studie var att undersöka hur föräldrar skattar emotionellt och psykosocialt välbefinnande hos barn med LKG och barn med språkstörning samt om dessa föräldragruppers skattningar skiljer sig åt. Vidare var syftet att undersöka hur studiens skattningar är relaterat till skattningarna i standardiseringen av instrumentet Child Behaviour Checklist (CBCL). Föräldrar till tio barn med unilateral och bilateral spalt mellan 6;7-9;0 år (medelålder 7;5) samt föräldrar till 13 barn på språkförskola eller språkskola mellan 6;4-8;8 år (medelålder 7;3) fick fylla i frågeformulären CBCL samt Child Health Questionnaire (CHQ).</p><p> </p><p>Resultaten visade att gruppen barn med LKG hade lägre medelvärden än gruppen barn med språkstörning för samtliga domäner i CBCL, vilket indikerar att gruppen barn med LKG hade större emotionellt och psykosocialt välbefinnande. Medelvärdena för domänerna ”tillbakadragenhet” och ”asocialt beteende” var signifikant lägre för gruppen barn med LKG som också hade lägre totalt medelvärde jämfört med aktuella normeringsvärden för CBCL. Medelvärdena för gruppen barn med språkstörning var högre än normeringsvärdena för samtliga domäner, vilket indikerar att gruppen barn med språkstörning hade sämre emotionellt och psykosocialt välbefinnande än de andra grupperna. Slutligen visade korrelationsberäkningar ett signifikant samband mellan CBCL och CHQ för båda deltagargrupperna.</p>

Ce travail est consacré à lévaluation de lhypothèse selon laquelle une limitation des capacités de traitement est à lorigine des troubles langagiers et non langagiers des enfants dysphasiques (ou enfants avec troubles spécifiques du langage, TSL). Les enfants présentant ces troubles montrent des limitations importantes de leurs compétences langagières sans raison apparente (absence de troubles auditifs, intellectuels et affectifs ou de lésions neurologiques). Ces dernières années, la spécificité des troubles langagiers a été remise en cause par de nombreuses études révélant lexistence de difficultés non spécifiquement linguistiques chez les enfants avec TSL, tels que des troubles attentionnels, exécutifs et moteurs. Certains auteurs ont formulé l'hypothèse quune limitation des capacités de traitement est à lorigine des troubles langagiers et non langagiers des enfants avec TSL. Selon cette hypothèse, les troubles langagiers observés chez ces enfants ne sont pas dus à un déficit des représentations linguistiques, mais reflètent une performance limitée par des difficultés à mobiliser lensemble des ressources, linguistiques et/ou non linguistiques, nécessaires à la réalisation de la tâche. Les recherches réalisées ont permis dévaluer si une telle hypothèse permet dexpliquer les performances observées dans deux épreuves linguistiques considérées par plusieurs auteurs comme des marqueurs comportementaux des TSL, les traitements morphosyntaxiques et la répétition de non-mots, en manipulant les processus recrutés ou la quantité de ressources nécessaires lors de la réalisation de la tâche. Nous avons également manipulé la complexité dans une épreuve non linguistique afin détudier si les limitations des capacités de traitement peuvent être considérées comme générales ou si elles savèrent limitées aux traitements linguistiques. Globalement, nos résultats ne sont pas compatibles avec lhypothèse dune limitation des capacités de traitement à lorigine des troubles linguistiques des enfants avec TSL. Ces enfants ne présentent pas de limitation importante de leurs capacités de traitements qui permette dexpliquer leurs troubles langagiers.