Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC

National audienceA software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification. In this paper, we explore one point in the design space between abstract and concrete component interaction specifications. We introduce a notion of interaction contract that expresses allowed interactions between components, describing both data and control-flow constraints. This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications. We instantiate our approach in an architecture description language for Sense/Compute/Control applications, and describe associated compilation and verification strategies.Une architecture logicielle décrit la structure d'un système informatique en spécifiant ses composants et leurs interactions. Projeter une architecture logicielle sur une implémentation est une tâche reconnue difficile. Un élément crucial de cette projection est la description architecturale des interactions entre les composants. La caractérisation de ces interactions peut être plutôt abstraite ou très concrète, fournissant plus ou moins de support de programmation et de possibilités de vérifications statiques. Nous explorons un point dans l'espace de conception entre les spécifications abstraites et concrètes des interactions de composants. Nous introduisons la notion de contrat d'interactions qui exprime les interactions autorisées. Cette déclaration architecturale permet la génération de support de programmation qui assure la conformité entre l'architecture et l'implémentation, et favorise diverses vérifications. Nous instancions notre approche sur un langage de description d'architectures pour les applications Sense/Compute/Control et décrivons les stratégies de compilation et de vérification associées

Contribution à la caractérisation et à l'évaluation de l'interopérabilité pour les entreprises collaboratives

Cette thèse consiste en la définition d’une méthodologie de caractérisation et d’évaluation du niveau d’interopérabilité interentreprises, afin d’améliorer leur fonctionnement propre, ainsi qu’en la définition d’une méthodologie de gestion de l’évolution de ces entreprises, leur apportant ainsi un cadre pour la mise en place de projets successif ayant pour objectif l’amélioration du niveau d’interopérabilité. Ces méthodes s’appliquent à tous les niveaux, tant opérationnels que stratégiques, ainsi que pour tous types de collaboration que ce soit entre services d’une même entreprise ou entre plusieurs entreprises d’une chaîne logistique. Ces méthodes sont basées sur le fait que l’interopérabilité peut être vu comme une performance de l’entreprise. Ceci nous permet de caractériser et d’évaluer l’interopérabilité, notamment, grâce à l’utilisation de la théorie des graphes qui apporte un cadre formel, des outils mathématiques et une représentation graphique qui sont autant d’aides tant pour la conduite de l’étude que pour la communication avec les différents acteurs concernés.This thesis consists of the definition of an interoperability level characterization and evaluation methodology between enterprises, in order to improve their own operation, like in the definition of an evolution management methodology of these enterprises, thus bringing to them a framework for the successive projects installation having for objective the interoperability level improvement. These methods apply to all the levels, as well operational as strategic, as for all types of collaboration as it is between services of the same enterprise or between several enterprises of a logistic chain. These methods are based on the fact that interoperability can be seen like a performance of enterprise. This enables us to characterize and to evaluate interoperability, in particular, thanks to the use of the graph theory which brings a formal framework, mathematical tools and a chart which are as many assistances as well for the study control as for the communication with the various actors concerned

L'espace documentaire en restructuration (l'évolution des services des bibliothèques universitaires.)

Le catalogue occupe une place privilégiée dans l offre de service des bibliothèques universitaires, pivot de l intermédiation. Depuis 10 ans, il traverse une crise grave, voyant les usagers le délaisser à la faveur des moteurs de recherche généralistes. Le web, plus qu un sérieux concurrent, devance aujourd hui les systèmes d information documentaires, et devient le point d entrée principal pour la recherche d information. Les bibliothèques tentent de structurer un espace documentaire qui soit habité par les usagers, au sein duquel se développe l offre de service, mais celle-ci se présente encore comme une série de silos inertes, sans grande possibilité de navigation, malgré de considérables efforts d ingénierie et des pistes d évolution vers les outils de découverte. La profession, consciente de cette crise profonde, après avoir accusé les remous occasionnés par la dimension disruptive du numérique, cherche des moyens pour adapter et diversifier son offre, fluidifier la diffusion de l information, et se réinvente un rôle d intermédiation en cherchant à tirer profit des nouvelles pratiques des usagers, de leurs nouvelles attentes, et de nouvelles perspectives. Les bibliothèques placent leur espoir dans de nouveaux modèles de données, tentent d y ajouter un niveau d abstraction favorisant les liaisons avec l univers de la connaissance. L évolution vers le web sémantique semble une opportunité à saisir pour valoriser les collections et les rendre exploitables dans un autre contexte, au prix d importants efforts que cette analyse tente de mesurer. Une approche constructiviste fondée sur l observation participante et le recueil de données offre une vision issue de l intérieur de la communauté des bibliothèques sur l évolution des catalogues et des outils d intermédiation, et ouvre des perspectives sur leurs enjeux.The catalog takes up a special position in the supply of services of academic libraries, as a pivot for the intermediary between users and information professionals who carry the responsibility for building up collections. For 10 years, through a serious crisis, they ve been seeing their patrons preferring the general or commercial search engines. The Web is more than a serious competitor today, ahead of the document information systems, and became the main access point for information retrieval. Libraries are trying to structure an information space that is temporarily or permanently inhabited by users, in which the service offering is developed, but it is still presented as a series of silos, with few opportunities of navigation between them despite considerable engineering efforts and a perspective of evolution towards discovery tools. The profession, having become aware of this deep crisis after accusing eddies caused by the breakdown of the digital switch, looking for ways to adapt and diversify its offering, streamlines the dissemination of information, and reinvents its roles, trying to take advantage of new practices of users, new expectations and new prospects. Libraries put their hope in new data models, trying to add a level of abstraction promoting links with the world of knowledge. The evolution towards the Semantic Web seems to be a valuable opportunity to enhance the collections and make them usable in another context, at the expense of significant efforts sized up by this analysis. A constructivist approach based on participant observation and data collection offers a vision of the outcome within the library community on the development of catalogs and intermediation tools, and an outlook on their issues.PARIS-CNAM (751032301) / SudocSudocFranceF