Défis 2025

International audienceNew paradigms, languages, modeling, verification, testing approaches and new tools in the field of programming and software should be created in the next 10 years, whether to make life easier for designers and maintainers of computer systems, to model and reliable software or to anticipate technological change. This text summarizes the challenges in the Programming and Software Engineering field on the horizon 2025. This work has been presented and discussed during the national days of the Research Group on Programming and Software Engineering in June 2014 and in September 2014 in Paris.De nouveaux paradigmes, de nouveaux langages, de nouvelles approches de modélisation, de vérification, de tests et de nouveaux outils dans le domaine de la programmation et du logiciel devraient voir le jour dans les dix ans à venir, que ce soit pour faciliter la vie des concepteurs et mainteneurs de systèmes informatiques, pour modéliser et fiabiliser les logiciels ou encore pour devancer l’évolution technologique. Ce texte résume les travaux menés sur les défis du Génie de la Programmation et du Logiciel à l’horizon 2025. Ces travaux ont été l’occasion de présentations et d’échanges lors des journées nationales du Groupe de Recherche Génie de la Programmation et du Logiciel en juin 2014 et lors d’une journée en septembre 2014 à Paris

Approche instrumentale et cognitive de la prosodie du discours en français

The aim of this work is to find prosodic markers of the hierarchical structure of a speech message from a case study. Our thought about cognitive mechanisms wich guide spontanuous speech production and perception leads us to elaborate a perceptual experimentation. Its goal is to obtain the segmentation of a radiophonic debate corpus into units of discourse given essentially by auditory analysis.The segmentation product may then be submetted to a prosodic analysis, which allows to define some prosodic markers used by the speaker to structure his message.Notre travail concerne la mise en évidence, à partir d'une étude de cas sur la production d'un unique locuteur, des indices prosodiques contribuant à signaler la structuration hiérarchique du message transmis. Une réflexion approfondie sur les mécanismes cognitifs à l'œuvre dans la production et la perception du discours oral spontané nous a conduit à élaborer un tâche perceptive, destinée à recueillir la segmentation d'un extrait de débat radiophonique en unités discursives découpées par les sujets à partir d'informations essentiellement auditives. Le produit de cette segmentation a pu dès lors servir de base à une analyse prosodique qui nous a permis de définir quelques marqueurs prosodiques utilisés par notre locuteur pour structurer son message

Variation syntaxique et contextuelle dans la mise au point de patrons de relations sémantiques

Depuis une quinzaine d'années, des marqueurs linguistiques sont employés comme un moyen potentiel de repérer des relations conceptuelles en corpus. Il s'agit d'éléments formels (typographiques, lexicaux, syntaxiques) dont on fait l'hypothèse qu'ils peuvent être utilisés de manière plus ou moins systématique pour accéder, dans des textes, à une relation lexicale ou mieux conceptuelle, déterminée a priori (le plus souvent, hyperonymie, méronymie, cause). Ce processus c'est ni immédiat ni complètement automatique. Il porte d'abord sur la sélection d'un certain nombre de phrases dont une partie est conforme au schéma défini par le patron. Il requiert ensuite une interprétation, éventuellement guidée par des suggestions faites sur la base des hypothèses de la signification a priori de ces patrons, pour identifier des termes en relation et la sémantique de cette relation. Enfin, la dernière étape consiste à s'éloigner un peu plus du texte pour décider d'une représentation conceptuelle de la relation. Ce chapitre se propose d'interroger la variation du fonctionnement des marqueurs en croisant les regards du TAL, de l'IC et de la linguistique de corpus

Construction et enrichissement automatique d'ontologie à partir de ressources externes

National audienceAutomatic construction of ontologies from text is generally based on retrieving text content. For a much more rich ontology we extend these approaches by taking into account the document structure and some external resources (like thesaurus of indexing terms of near domain). In this paper we describe how these external resources are at first analyzed and then exploited. This method has been applied on a geographical domain and the benefit has been evaluated

Ingénierie et Architecture d’Entreprise et des Systèmes d’Information - Concepts, Fondements et Méthodes

L'ingénierie des systèmes d'information s'est longtemps cantonnée à la modélisation du produit (objet) qu'est le système d’information sans se préoccuper des processus d'usage de ce système. Dans un environnement de plus en plus évolutif, la modélisation du fonctionnement du système d’information au sein de l'entreprise me semble primordiale. Pendant les deux dernières décennies, les pratiques de management, d’ingénierie et d’opération ont subi des mutations profondes et multiformes. Nous devons tenir compte de ces mutations dans les recherches en ingénierie des systèmes d’information afin de produire des formalismes et des démarches méthodologiques qui sauront anticiper et satisfaire les nouveaux besoins, regroupés dans ce document sous quatre thèmes:1) Le système d’information est le lieu même où s’élabore la coordination des actes et des informations sans laquelle une entreprise (et toute organisation), dans la diversité des métiers et des compétences qu’elle met en œuvre, ne peut exister que dans la médiocrité. La compréhension des exigences de coopération dans toutes ses dimensions (communication, coordination, collaboration) et le support que l’informatique peut et doit y apporter deviennent donc un sujet digne d’intérêt pour les recherches en système d’information.2) Le paradigme de management des processus d’entreprise (BPM) est en forte opposition avec le développement traditionnel des systèmes d’information qui, pendant plusieurs décennies, a cristallisé la division verticale des activités des organisations et favorisé ainsi la construction d’îlots d’information et d’applications. Cependant, les approches traditionnelles de modélisation de processus ne sont pas à la hauteur des besoins d’ingénierie des processus dans ce contexte en constant changement, que ce dernier soit de nature contextuelle ou permanente. Nous avons donc besoin de formalismes (i) qui permettent non seulement de représenter les processus d’entreprise et leurs liens avec les composants logiciels du système existant ou à venir mais (ii) qui ont aussi l’aptitude à représenter la nature variable et/ou évolutive (donc parfois éminemment décisionnelle) de ces processus.3) Les systèmes d’information continuent aujourd’hui de supporter les besoins classiques tels que l’automatisation et la coordination de la chaîne de production, l’amélioration de la qualité des produits et/ou services offerts. Cependant un nouveau rôle leur est attribué. Il s’agit du potentiel offert par les systèmes d’information pour adopter un rôle de support au service de la stratégie de l’entreprise. Les technologies de l’information, de la communication et de la connaissance se sont ainsi positionnées comme une ressource stratégique, support de la transformation organisationnelle voire comme levier du changement. Les modèles d’entreprise peuvent représenter l’état actuel de l’organisation afin de comprendre, de disposer d’une représentation partagée, de mesurer les performances, et éventuellement d’identifier les dysfonctionnements. Ils permettent aussi de représenter un état futur souhaité afin de définir une cible vers laquelle avancer par la mise en œuvre des projets. L’entreprise étant en mouvement perpétuel, son évolution fait partie de ses multiples dimensions. Nous avons donc besoin de représenter, a minima, un état futur et le chemin de transformation à construire pour avancer vers cette cible. Cependant planifier/imaginer/se projeter vers une cible unique et, en supposant que l’on y arrive, croire qu’il puisse exister un seul chemin pour l’atteindre semble irréaliste. Nous devons donc proposer des formalismes qui permettront de spécifier des scenarii à la fois pour des cibles à atteindre et pour des chemins à parcourir. Nous devons aussi développer des démarches méthodologiques pour guider de manière systématique la construction de ces modèles d’entreprise et la rationalité sous-jacente.4) En moins de cinquante ans, le propos du système d’information a évolué et s’est complexifié. Aujourd’hui, le système d’information doit supporter non seulement les fonctions de support de manière isolée et en silos (1970-1990), et les activités appartenant à la chaîne de valeur [Porter, 1985] de l’entreprise (1980-2000) mais aussi les activités de contrôle, de pilotage, de planification stratégique ainsi que la cohérence et l’harmonie de l’ensemble des processus liés aux activités métier (2000-201x), en un mot les activités de management stratégique et de gouvernance d’entreprise. La gouvernance d'entreprise est l'ensemble des processus, réglementations, lois et institutions influant la manière dont l'entreprise est dirigée, administrée et contrôlée. Ces processus qui produisent des ‘décisions’ en guise de ‘produit’ ont autant besoin d’être instrumentalisés par les systèmes d’information que les processus de nature plus opérationnels de l’entreprise. De même, ces processus stratégiques (dits aussi ‘de développement’) nécessitent d’avoir recours à des formalismes de représentation qui sont très loin, en pouvoir d’expression, des notations largement adoptées ces dernières années pour la représentation des processus d’entreprise.Ainsi, il semble peu judicieux de vouloir (ou penser pouvoir) isoler, pendant sa construction, l’objet “système d’information” de son environnement d’exécution. Si le sens donné à l’information dépend de la personne qui la reçoit, ce sens ne peut être entièrement capturé dans le système technique. Il sera plutôt appréhendé comme une composante essentielle d’un système socio-technique incluant les usagers du système d’information technologisé, autrement dit, les acteurs agissant de l’entreprise. De mon point de vue, ce système socio-technique qui mérite l’intérêt scientifique de notre discipline est l’entreprise. Les recherches que j’ai réalisées, animées ou supervisées , et qui sont structurées en quatre thèmes dans ce document, visent à résoudre les problèmes liés aux contextes de l'usage (l'entreprise et son environnement) des systèmes d’information. Le point discriminant de ma recherche est l'intérêt que je porte à la capacité de représentation :(i) de l'évolutivité et de la flexibilité des processus d'entreprise en particulier de ceux supportés par un système logiciel, d’un point de vue microscopique (modèle d’un processus) et macroscopique (représentation et configuration d’un réseau de processus) : thème 2(ii) du système d’entreprise dans toutes ses dimensions (stratégie, organisation des processus, système d’information et changement) : thème 3Pour composer avec ces motivations, il fallait :(iii) s’intéresser à la nature même du travail coopératif et à l’intentionnalité des acteurs agissant afin d’identifier et/ou proposer des formalismes appropriés pour les décrire et les comprendre : thème 1(iv) se questionner aussi sur les processus de management dont le rôle est de surveiller, mesurer, piloter l’entreprise afin de leur apporter le soutien qu’ils méritent du système d’information : thème

Donner le pouvoir des patrons de conception d’IHM aux développeurs logiciels via les modes de présentation : une application aux logiciels de contrôle de simulateurs de vol

RÉSUMÉ Les simulateurs de vols sont une combinaison de matériels et de logiciels sophistiqués destinés à former et maintenir à jour les pilotes d’appareils civils ou militaires dans des conditions sécuritaires et économiques. La conception des interfaces utilisateur de ces simulateurs de vol est une activité complexe et coûteuse dont la difficulté va croissant avec les innovations technologiques : interactions tactiles, moniteurs multiples, simulations multi-joueurs… Plusieurs corps de métiers y prennent part : des experts en ingénierie des facteurs humains mais aussi des développeurs logiciels, non formés en ergonomie. La maîtrise et l’optimisation du processus de conception passent par la gestion de la connaissance. Les patrons de conception, des artefacts fournissant de manière formelle des solutions génériques à des problèmes de conception récurrents, semblent être particulièrement adéquats pour relever ce défi. C’est toutefois un artefact rédigé par et pour les experts en ingénierie des facteurs humains, de sorte que les développeurs logiciels ont du mal à s’en servir, se privant ainsi d’un outil profitable. La mise à disposition de patrons de conception d’interfaces utilisateur à des développeurs logiciels est un sujet peu étudié à ce jour ; l’étude de stratégies pour y parvenir reste à faire. Dans ce mémoire, nous effectuons diverses études au sein de la compagnie CAE Inc. pour mettre en place une bibliothèque de patrons de conception et la rendre accessible aux développeurs logiciels comme aux ergonomes. Nous avons commencé par étudier et comparer les bibliothèques de patrons de conception d’interfaces utilisateur les plus populaires. Nous avons ensuite rédigé une trentaine de patrons de conception couvrant les logiciels de contrôle de simulateurs de vol de toutes sortes, nous inspirant à la fois de la revue de littérature et du travail de terrain au sein de l’entreprise. Ces patrons ont ensuite été diffusés de manière restreinte sur le réseau intranet de l'entreprise, via un système de gestion de contenu en source libre modifié pour subvenir à nos besoins. Ils ont ainsi été lus, utilisés et validés par une cinquantaine de professionnels de CAE dont l'équipe d'ingénierie des facteurs humains. Nous avons ensuite mis au point de nouvelles manières de présenter ces patrons aux développeurs logiciels : les types d'applications, arbres de décision et aperçus de patrons. Ces modes de présentation ont été comparés au mode de présentation de référence lors d’une expérimentation dans l’entreprise, avec des participants novices n’ayant jamais utilisé de patrons de conception d’interfaces utilisateur en générale ni la bibliothèque de patrons de CAE en particulier. Nos résultats montrent que les développeurs logiciels trouvent des patrons 1,5 à deux fois plus pertinents avec les nouveaux modes de présentation, tout en étant en moyenne 50% plus satisfaits. Ces gains se font cependant au prix d'une augmentation du temps de recherche des patrons pouvant aller jusqu'à 50%. Même si notre étude expérimentale est d’une ampleur modérée et qu’il faudrait recueillir plus de données pour l’étendre à d’autres cas, nous pouvons recommander l’emploi de modes de présentation alternatifs dans une bibliothèque de patrons de conception d’interfaces utilisateur. Ces résultats sont synthétisés en recommandations immédiatement applicables dans un environnement professionnel et des actions à prendre en complément au niveau technique ou organisationnel sont suggérées.----------ABSTRACT Flight simulators are a blend of sophisticated hardware and software systems. They are intended to train and keep pilots of civilian or military aircrafts up-to-date in safe and economical conditions. User interface design for flight simulators is a complex and expensive process whose difficulty is increasing along technological innovation: touch interactions, multiple monitors, multiplayer simulations… Several building trades take part in this endeavor: human factors engineering experts as well as software developers, the latter lacking formal usability training. The control and optimization of the design process go through knowledge management. Design patterns are formal generic solutions to recurring design problems; they seem especially suitable to take on this challenge. They are however being written by and for human factors engineering experts, hence hard to use for software developers that are therefore denied a profitable tool. Making user interface design patterns available to software developers is a sparsely studied topic; no strategies have yet been defined to this end. In this thesis, we carry out various studies among CAE Inc. in order to set up a design pattern library and make it accessible to both software developers and usability practitioners. We started by studying and comparing the most popular user interface design pattern libraries. We then wrote thirty design patterns covering flight simulator control software of all kinds, building upon our review of literature and field work at CAE. Those patterns have then been privately shared on the intranet network of the company via an open-source content management system, tweaked to fit our needs. They have thus been read, used and validated by around fifty CAE professionals, including the human factors engineering team. We subsequently developed new ways of presenting those patterns to software developers: application types, decision trees and patterns previews. Those presentation modes were compared to a reference presentation mode during a test session in the company. Participants were beginners that had never used user interface design patterns and had no prior knowledge of CAE's pattern library. Our results show that software developers find 1.5 to two times more relevant patterns with the new presentation modes, while being in average 50% more satisfied. However, those gains come at the expense of speed since search durations increase up to 50%. Even though our experimentation has a limited scope, we can recommend the use of alternative presentation modes in user interface design pattern libraries. Those results are summed up and turned into recommendations for immediate use in a professional environment. Complementary actions for technical and organizational matters are suggested

Adaptation autonomique d'applications pervasives dirigée par les architectures

The autonomic adaptation of software application is becoming increasingly important in many domains, including pervasive field. Indeed, the integration fo different application resources (physical devices, services and third party applications) often needs to be dynamic and should adapt rapidly and automatically to changes in the execution context. To that end, service-oriented components offer support for adaptation at the architectural level. However, they do not allow the formalisation of all the design constraints that must be guaranteed during the execution of the system. To overcome this limitation, this thesis modeled the design, deployment and runtime architectures. Also, it proposes to establish links between them and has developed algorithms to check the validity of an execution architecture with respect to its architectural design. This led us to consider the entire life cycle of components and to define a set of concepts to be included in architectures supporting variability. This formalisation can be exploited both by a human administrator and by an autonomic manager that has its knowledge base increased and structured. The implementation resulted in the realization of a knowledge base, providing a studio (Cilia IDE) for the design, deployment and supervision of dynamic applications, as well as an autonomic manager that can update the structure of pervasive applications. This thesis has been validated using a pervasive application called “Actimetry”, developed in the FUI~MEDICAL project.La problématique d'adaptation autonomique prend de plus en plus d'importance dans l'administration des applications modernes, notamment pervasives. En effet, la composition entre les différentes ressources de l'application (dispositifs physiques, services et applications tierces) doit souvent être dynamique, et s'adapter automatiquement et rapidement aux évolutions du contexte d'exécution. Pour cela, les composants orientés services offrent un support à l'adaptation au niveau architectural. Cependant, ils ne permettent pas d'exprimer l'ensemble des contraintes de conception qui doivent être garanties lors de l'exécution du système. Pour lever cette limite, cette thèse a modélisé les architectures de conception, de déploiement et de l'exécution. De plus, elle a établi des liens entre celle-ci et proposé des algorithmes afin de vérifier la validité d'une architecture de l'exécution par rapport à son architecture de conception. Cela nous a conduits à considérer de près le cycle de vie des composants et à définir un ensemble de concepts afin de les faire participer à des architectures supportant la variabilité. Notons que cette formalisation peut être exploitée aussi bien par un administrateur humain, que par un gestionnaire autonomique qui voit ainsi sa base de connaissances augmentée et structurée. L'implantation a donné lieu à la réalisation d'une base de connaissance, mise à disposition d'un atelier (Cilia IDE) de conception, déploiement et supervision d'applications dynamiques, ainsi que d'un gestionnaire autonomique capable de modifier la structure d'une application pervasive. Cette thèse a été validée à l'aide d'une application pervasive nommée >, développée dans le cadre du projet FUI~MEDICAL

La connaissance comme norme de l'assertion selon Timothy Williamson

Ce mémoire a pour objectif de clarifier la position de Timothy Williamson dans la problématique de la norme de l’assertion. Le premier chapitre permet de circonscrire la perspective strictement épistémologique adoptée par Williamson. Le second chapitre met en relief trois thèses de Williamson qui portent sur la connaissance et permet de dégager les grandes lignes de l’explication épistémique qu’il propose pour l’assertion. La première de ces thèses fait de la connaissance la norme de l’assertion dans le sens où la connaissance est la seule règle constitutive de l’assertion. La seconde thèse examinée fait de la connaissance un état mental factif. Il s’agit d’un état mental particulier qui met en relation causale le monde et l’esprit. La dernière thèse mise en relief défend l’idée selon laquelle la connaissance est équivalente aux éléments probants de l’agent. Le mémoire a pour objectif de démontrer que ces thèses comprises ensembles impliquent que la position de Williamson est radicalement réaliste, invariantiste et externaliste. Le troisième et dernier chapitre cherche à contraster la position de Williamson avec celle de Keith DeRose dans le but de clarifier les conséquences conceptuelles de l’analyse de Williamson. Les principales conclusions à tirer du mémoire sont les suivantes : l’explication épistémique de l’assertion apportée par Williamson est à la fois robuste, informative et ne peut être importée que dans un cadre radicalement réaliste

La prosodie au carrefour de la phonétique, de la phonologie et de l'articulation formes-fonctions

Autorisation No.2108 : TIPA est la revue du Laboratoire Parole et LangageThis papers deals with those aspects of prosody which relate both to linguistic analysis and to cognition. It aims at presenting a comprehensive synthesis of issues linked to the interpretation of prosodic phenomena, in relation with their substance, their formal architecture and the linguistic and paralinguistic functions which they fulfil in language use and communication. The first part of this paper, under the heading « background », explicits the reasons for the popular role currently played by prosody within speech sciences and related domains. We then propose a set of remarks about the status of phonology, its relations with phonetics, and the consequences of these relations on prosodic analysis. The second part falls into two phases: first, we focus on the formal architecture of prosody, its substance, the place it holds within the linguistic system, and terminological considerations; we then emphasize the inherent difficulty of prosodic analysis, in relation with the articulation not only of substance and form, but also of substance, form and function. The third part presents current linguistic approaches to prosody (traditional linear, multilinear, metrical and autosegmental). Finally, this presentation discusses the concepts of constituency and prosodic domains, together with their psychological validity, in the light of recent psycholinguistic research on production and perception processes.Cet article traite des aspects de la prosodie qui concernent l'analyse linguistique et à la cognition. Il vise à présenter un survol des problématiques de l'interprétation des éléments prosodiques qui se rapportent à leur matérialité, à leur structure formelle et aux fonctions linguistiques et paralinguistiques qu'ils assument dans l'usage du langage et la communication. La première partie (arrière-plan) expose les raisons du succès actuel des recherches prosodiques. La seconde présente d'abord l'architecture formelle de la prosodie, sa substance, sa place dans le système linguistique et des considérations terminologiques. Elle discute ensuite les difficultés inhérentes à l'analyse prosodique en relation avec les articulations substance/forme et substance/forme/ fonction. La troisième partie commente les principales approches linguistiques de la prosodie (linéaires traditionnelles, multilinéaires, métriques et autosegmentales). Elle discute enfin les concepts de constituance et de domaines prosodiques et s'interroge sur leur validité psychologique à la lumière des recherches récentes de la psycholinguistique sur les processus de production et de perception