WorldCat Identities

Riveill, Michel

Overview
Works: 54 works in 105 publications in 3 languages and 1,045 library holdings
Genres: Conference papers and proceedings 
Roles: Thesis advisor, Author, Editor, Opponent, Publishing director, Other, htt
Publication Timeline
.
Most widely held works by Michel Riveill
Object-based distributed programming : ECOOP '93 workshop, Kaiserslautern, Germany, July 26-27, 1993 : proceedings by Rachid Guerraoui( )

21 editions published in 1994 in English and Italian and held by 455 WorldCat member libraries worldwide

"Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop intended to assess the current state of research in this field and to facilitate interaction between groups working on very different aspects of object-oriented distributed systems. The workshop was held as part of the 1993 European Conference on Object-Oriented Programming (ECOOP '93). Over fifty people submitted position papers and participated in the workshop, and almost half presented papers. The presented papers were carefully reviewed and revised after the workshop, and 14 papers were selected for this volume."--PUBLISHER'S WEBSITE
IHM'11 : 23ème Conférence Francophone sur l'Interaction Homme-Machine : du 24 au 27 Octobre 2011, Sophia Antipolis, France by IHM (Conference)( )

1 edition published in 2011 in French and held by 232 WorldCat member libraries worldwide

Actes des deuxième Journées Francophones Mobilité et Ubiquité 2005 : mardi 31 mai - vendredi 3 juin 2005 : Grenoble - IMAG, Maison Jean Kuntzman by ACM French-Speaking Conference on Mobility and Ubiquity Computing( )

1 edition published in 2005 in French and held by 221 WorldCat member libraries worldwide

23rd French Speaking Conference on Human-Computer Interaction by Michel Riveill( )

3 editions published in 2011 in English and held by 47 WorldCat member libraries worldwide

Systèmes à composants adaptables et extensibles( Book )

2 editions published in 2004 in French and held by 8 WorldCat member libraries worldwide

CONKER : un modèle de répartition pour processus communicants : application à OCCAM by Michel Riveill( Book )

7 editions published between 1987 and 2008 in French and held by 6 WorldCat member libraries worldwide

This theisis proposes a model CONKER for distributed systems of communicating sequential processes (Hoare 's CSP). An application program will be structured in CONKER as a set of processes (processing objects) communicating throught a set of connectors (commun ication-synchronization objects). Each connector implement a specific and possibly complex communication protocol between application processes which still use the CSP basic communication protocol (rendez-vous for input-output primitives). Therefore this basic protocol is used transparently to the connectors complex protocol. More over the connectors can realise a specific synchronisation control scheme between communicating processes (synchronous or asynchronous diffusion, cime constrained communication, total asynchrony, etc). This transparency in CONKER allows to easy implement a distributed application on a multiprocessor or a heterogeneous network of different host machines. Our model also facilitates transportability and improve reliability. The connectors are strongly typed objects and for which an incremental construction is proposed. An experimental implementation presented in the framework of a distributed robotic systems
RenPar'15, CFSE'3, SympAAA'2003 : actes = proceedings by 15emes rencontres francophones en parallélisme( Book )

1 edition published in 2003 in English and held by 4 WorldCat member libraries worldwide

Une architecture pour le support de la régulation dans les collecticiels by Maria Mezura-Godoy( Book )

2 editions published in 2003 in French and held by 2 WorldCat member libraries worldwide

La régulation concerne les aspects sociaux du travail de groupe. Elle définit l'activité de groupe et les règles minimales des droits et des devoirs susceptibles de l'améliorer, ainsi que les moyens permettant de contrôler que l'activité s'effectue et évolue conformément aux règles. dans cette thèse, nous nous interessons à la régulation dans les collecticiels. Nous proposons une infrastructure permettant de construire de nouveaux espaces régulés à partir d'applications régulées existantes. Elle suggère ARES (Architecture pour la Régulation d'Espaces Socialisés) une architecture générique à deux niveaux (couche de régulation + noyeau fonctionnel) pour les collecticiels. ARES permet d'associer à un noyeau fonctionnel une couche de régulation permettant de définir et d'appliquer les règles sociales de l'activité de groupe. ARES s'appuie sur un modèle de régulation multi-enceintes utilisé pour la définition d'activités collaboratives régulées dans une ou plusieurs enceintes. Nous avons défini un modèle de régulation multi-enceintes centré sur la notion d'interaction. Il permet de représenter non seulement des interactions régulées situées dans une enceinte mais aussi des interactions dont la mise en oeuvre nécessite de faire coopérer plusieurs enceintes. En association avec ce modèle, nous proposons également des primitives pour définir et manipuler les interactions, ainsi que des règles qui assurent la cohérence des enceintes en propageant les interactions lorsque cela est nécessaire. Pour tester notre approche, nous avons développé un prototype d'application régulée qui implante les éléments essentiels du modèle et de l'architecture ARES. Ce prototype, développé en Java, permet d'assembler plusieurs applications régulées. Il assure non seulement la régulation des interactions, au sein de chaque application individuelle, mais permet également de définir et de réguler des interactions distribuées entre différentes applications
Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin by Audrey Occello( Book )

2 editions published in 2006 in French and held by 2 WorldCat member libraries worldwide

Les technologies pour l'adaptation dynamique (composants, aspects, etc.) permettent de modifier les applications durant leur exécution. Si l'on considère que la sûreté de fonctionnement d'une application est la propriété permettant aux utilisateurs d'un système de placer une confiance justifiée dans le service qu'il leur délivre, alors il faut garantir lors d'une adaptation dynamique que cette propriété est préservée. Actuellement, il n'existe pas de solution appropriée au problème de la sûreté des adaptations dynamiques. En effet, un certain nombre de techniques (typage, model-checking, etc.) destinées à concevoir et implémenter les systèmes informatiques de façon sûre ne peuvent être directement utilisées pour valider des interprétations dynamiques. De plus, la prise en charge de ces dernières doit tenir compte du risque qu'une adaptation se produise à un moment inadéquat dans l'exécution de l'implication et implique de traiter les problèmes de sûreté parallèlement à l'exécution de l'application sans perturbation. Il n'existe pas actuellement de consensus autour des vérifications à effectuer dans un contexte dynamique : leur mise en œuvre reste souvent informelle ou à la charge du développeur d'applications. Nous proposons de contrôler la sûreté des adaptations indépendamment des plates-formes. Cette approche est basée sur un modèle nommé Satin sur lequel des propriétés de sûreté sont exprimées t validées. Le modèle satin est mis en œuvre sous la forme d'un service de sûreté que les plates-formes peuvent interroger pour déterminer si une adaptation donnée risque de briser la sûreté de fonctionnement de l'application
Workflow-based applications performance and execution cost optimization on cloud infrastructures by Tram Truong Huu( Book )

2 editions published in 2010 in English and held by 2 WorldCat member libraries worldwide

Les infrastructures virtuelles de cloud sont de plus en plus exploitées pour relever les défis de calcul intensif en sciences comme dans l'industrie. Elles fournissent des ressources de calcul, de communication et de stockage à la demande pour satisfaire les besoins des applications à grande échelle. Pour s'adapter à la diversité de ces infrastructures, de nouveaux outils et modèles sont nécessaires. L'estimation de la quantité de ressources consommées par chaque application est un problème particulièrement difficile, tant pour les utilisateurs qui visent à minimiser leurs coûts que pour les fournisseurs d'infrastructure qui visent à contrôler l'allocation des ressources. Même si une quantité quasi illimitée de ressources peut être allouée, un compromis doit être trouvé entre le coût de l'infrastructure allouée, la performance attendue et la performance optimale atteignable qui dépend du niveau de parallélisme inhérent à l'application. Partant du cas d'utilisation de l'analyse d'images médicales, un domaine scientifique représentatif d'un grand nombre d'applications à grandes échelle, cette thèse propose un modèle de coût à grain fin qui s'appuie sur l'expertise extraite de l'application formalisée comme un flot. Quatre stratégies d'allocation des ressources basées sur ce modèle de coût sont introduites. En tenant compte à la fois des ressources de calcul et de communication, ces stratégies permettent aux utilisateurs de déterminer la quantité de ressources de calcul et de bande passante à réserver afin de composer leur environnement d'exécution. De plus, l'optimisation du transfert de données et la faible fiabilité des systèmes à grande échelle, qui sont des problèmes bien connus ayant un impact sur la performance de l'application et donc sur le coût d'utilisation des infrastructures, sont également pris en considération. Les expériences exposées dans cette thèse ont été effectuées sur la plateforme Aladdin/Grid'50000, en utilisant l'intergiciel HIPerNet. Ce gestionnaire de plateforme vituelle permet la virtualisation de ressources de calcul et de communication. Une application réelle d'analyse d'images médicales a été utilisée pour toutes les validations expérimentales. Les résultats expérimentaux montrent la validité de l'approche en termes de contrôle du coût de l'infrastructure et de la performance des applications. Nos contributions facilitent à la fois l'exploitation des infrastructures de cloud, offrant une meilleure qualité de services aux utilisateurs, et la planification de la mise à disposition des ressources virtualisées
Contexte et sécurité dans les intergiciels d'informatique ambiante by Vincent Hourdin( Book )

2 editions published in 2010 in French and held by 2 WorldCat member libraries worldwide

En informatique ambiante, le contexte joue un rôle capital. Les applications informatiques étendent leurs interactions avec 'environnement: de nouvelles entrées et sorties sont utilisées, telles que des capteurs et d'autres dispositifs mobiles d'interaction avec l'environnement réel et physique. Les intergiciels, créés pour masquer la complexité des couches inférieures en informatique distribuée, se voient alors chargés de nouvelles préoccupations, comme la prise en compte du contexte, l'adaptation des applications ou la sécurité. Une représentation en couches intergicielles de ces préoccupations ne permet pas d'exprimer toutes leurs interdépendances. En informatique ambiante, la distribution est nécessaire pour obtenir les informations contextuelles, mais il est aussi nécessaire de prendre en compte le contexte dans la distribution, par exemple pour limiter les interactions aux entités d'un contexte défini. De plus, les interactions asynchrones utilisées dans les nouveaux environnements informatiques nécessitent une attention particulière lors de la prise en compte du contexte. De même, la sécurité intervient à la fois dans les couches intergicielles de distribution et de prise en compte du contexte. Dans cette thèse nous présentons un modèle de prise en compte du contexte dans la sécurité et la distribution. Le contrôle d'accès doit évoluer pour intégrer une autorisation dynamique et réactive, basée sur des informations liées à l'environnement et plus simplement sur l'authentification des entités. Les informations contextuelles évoluent suivant une dynamique indépendante des applications. Il est aussi nécessaire de détecter les changements de contexte pour réévaluer l'autorisation. Nous expérimentons cette prise en compte du contexte dans le contrôle des interactions avec la plate-forme expérimentale WComp, issue du modèle SLCA/AA (Service Lightweight Component Architecture / Aspects of Assembly). SLCA permet de concevoir des intergiciels et des applications dynamiques dont le découpage fonctionnel n'est pas traduit en couches, mais par un entrelacement de fonctionnalités. Les aspects d'assemblage sont un mécanisme d'adaptation compositionnelle d'assemblages de composants. Nous les utilisons pour exprimer nos préoccupations non-fonctionnelles et pour les composer avec les applications existantes de façon déterministe et réactive. Nous introduisons pour cela des règles de contrôle d'interactions contextualisées. L'intergiciel permet ainsi d'adapter en fonction du contexte nos préoccupations non-fonctionnelles et le comportement de l'application
Canevas logiciel pour la construction d'infrastructures logicielles dynamiquement adaptables by Aline Senart( Book )

2 editions published in 2003 in French and held by 2 WorldCat member libraries worldwide

La construction d'infrastructures logicielles adaptables a fait l'objet de nombreux travaux de recherche au cours des dernières années. Cependant, dans le nouvel environnement de traitement global de l'information, caractérisé par une grande taille et par une nature très dynamique, les systèmes existants présentent des limitations certaines. Les mécanismes utilisés pour la composition et l'adaptation sont effectivement figés et restreints dans leurs possibilités d'évolution. Dans cette thèse, nous entendons lever ces limitations en proposant un modèle de composition et un modèle d'adaptation, basés sur un jeu complet d'interfaces facultatives. Nous suivons une approche minimale, afin de rendre les deux modèles proposés accessibles à la construction d'infrastructures logicielles "à la carte". Par ailleurs, nous montrons que ces modèles sont directement implantables et utilisables pour la construction de systèmes. Nous avons réalisé un générateur de composants reconfigurables, nommé GReC, reposant sur ces modèles, dont l'objectif est de simplifier la tâche du développeur d'infrastructures adaptables. Deux expériences menées dans le cadre des réseaux actifs valident l'intérêt de la démarche et montrent l'apport de GReC en matière d'adaptabilité
Construction et validation de modèles guidées par l'application idempotente de transformations by Clémentine Nemo( Book )

2 editions published in 2010 in French and held by 2 WorldCat member libraries worldwide

Les systèmes d'information d'entreprise (SIE) visent à mettre à disposition des développeurs un ensemble d'éléments hétérogènes (politiques, composants sur étagère, patrons de conception,...) communs à tous les projets de l'entreprise. Le développement des logiciels se fait ainsi par l'alternance d'intégrations des briques logicielles et de modifications manuelles des codes. Lorsque les briques logicielles correspondent à l'introduction de politiques, telle que le contrôle d'accès, les assemblages de composants résultants respectent les contraintes imposées par la politique. Or, l'intégration d'autres politiques et les modifications de l'utilisateur peuvent violer ces contraintes et introduire des incohérences dans le modèle. Assurer et éventuellement établir la cohérence des assemblages construits par introductions de politiques est la problématique abordée par ce travail de thèse. Dans cette thèse, nous appréhendons une politique comme une transformation de modèle à modèle où son application, par des propriétés d'idempotence, modifie uniquement les éléments de modélisation nécessaires. Nous proposons alors une spécification des transformations afin de définir par construction des transformations idempotentes que nous nommons ITC. Cette formalisation consiste à spécifier la sémantique des actions élémentaires composant l'expression d'une ITC à spécifier le processus d'application d'une ITC. Les applications d'ITCs deviennent alors la base pour construite, valider et réparer un modèle. Nous définissons alors un algorithme de rejeu d'un ensemble d'applications d'ITCs afin de construire un modèle validant un ensemble de contraintes liées à un ensemble de politiques. L'écriture de l'expression des ITCs à partir d'actions élémentaires, l'application des ITCs et l'algorithme de rejeu sont mises en œuvre dans un moteur d'applications implémenté en Prolog. Nous illustrons cette contribution à travers une étude de cas où nous mettons en avant la nécessité de permettre les introductions séquentielles et ensemblistes des politiques
Un support d'exécution pour l'adaptation des aspects non-fonctionnels des applications réparties by Eric Bruneton( Book )

2 editions published in 2001 in French and held by 2 WorldCat member libraries worldwide

En général, les propriétés non-fonctionnelles des applications distribuées, comme la persistance, la protection ou la mobilité, ont besoin d'être adaptées en fonction de l'environnement d'exécution et des besoins des utilisateurs, comme nous le montrons à l'aide d'une application particulière, appelée BAGHERA. Malheureusement cette adaptation est difficile à réaliser à l'aide des plates-formes middleware classiques comme CORBA. La plate-forme Enterprise Java Beans (EJB), ainsi qu'un certain nombre de plates-formes expérimentales, apportent des débuts de solution à ce problème. Mais, comme nous le montrons, ces propositions ne sont pas encore complètement satisfaisantes. Nous proposons donc dans cette thèse une nouvelle architecture de plate-forme, afin d'essayer de résoudre les limitations des propositions existantes. Cette nouvelle architecture, inspirée de celle des EJB, et complétée en utilisant un nouveau mécanisme de composition d'objets, offre un modèle de programmation très général, inspiré du modèle Open Distributed Processing (ODP). Nous présentons ensuite la plate-forme expérimentale JavaPod, basée sur l'architecture précédente, et que nous avons réalisé à des fins d'évaluation. Ce prototype est constitué d'un noyau, qui se contente de définir un cadre de travail (ou framework), et de plusieurs couches d'extensions du noyau, qui fournissent toutes les fonctionnalités de la plate-forme (protocoles, propriétés non-fonctionnelles, déploiement...). Le tout est mis en œuvre dans un nouveau langage appelé ejava, une extension de Java dans laquelle les objets peuvent être directement composés selon notre nouveau mécanisme de composition. Finalement, nous présentons comment nous avons réalisé l'application BAGHERA avec la plate-forme JavaPod, et comment nous avons pu adapter ses propriétés non-fonctionnelles. Le résultat de ces expérimentations est que notre architecture permet d'adapter les propriétés non-fonctionnelles des applications distribuées plus facilement qu'avec les plates-formes expérimentales existantes, même s'il reste encore plusieurs problèmes non résolus
Adaptation dynamique par tissage d'aspects d'assemblage by Daniel Cheung-Foo-Wo( Book )

2 editions published in 2009 in French and held by 2 WorldCat member libraries worldwide

L'Informatique Ambiante (IAm) engage de nombreux capteurs et actionneurs variés intégrés aux objets du quotidien. Ces dispositifs collaborent pour faire émerger de manière spontanée de nouvelles applications logicielles. Les fonctionnalités de ces applications sont adaptées aux dispositifs disponibles de l'environnement physique. L'objectif est de proposer une approche originale pour développer ces nouvelles applications IAm. Ces dernières doivent prendre en compte un ensemble de dispositifs temporaires et non connus à priori. Nous présentons notre approche s'appuyant sur les techniques de programmation à base de composants logiciels et sur le concept d'« aspect d'assemblage », une évolution de l'AOP de Kiczales, qui spécifie les mécanismes de composition automatique et les principes de gestion d'interférences potentielles entre les spécifications d'adaptation. Une approche à base de règles logiques permet de résoudre les problèmes d'interférence. Une application s'adapte alors par tissage - composition et gestion d'interférences - entre ces aspects d'assemblage. Ces travaux ont permis la réalisation d'une extension de la plate-forme logicielle WComp et la mise en œuvre de plusieurs prototypes d'expérimentation IAm, notamment dans le domaine du bâtiment intelligent
PROTOCOLE MULTIPOINT FIABLE ET ORDONNE POUR APPLICATIONS COOPERATIVES ASYNCHRONES by AMINE SIAFA( Book )

2 editions published in 1998 in French and held by 2 WorldCat member libraries worldwide

UN NOMBRE IMPORTANT DE PROTOCOLES DE COMMUNICATION MULTIPOINT ONT ETE DEVELOPPES POUR SUPPORTER LES BESOINS TRES VARIES DES APPLICATIONS DE GROUPE EN TERME DE FIABILITE, D'EXTENSIBILITE, D'ORDRE, DE DEBIT, ETC. ETANT DONNEE LA VARIETE DES BESOINS, LA CONCEPTION D'UN PROTOCOLE MULTIPOINT SATISFAISANT UN LARGE ENSEMBLE D'APPLICATIONS PARAIT IMPOSSIBLE SANS L'INTRODUCTION DE LA NOTION DE QUALITE DE SERVICE. L'INTRODUCTION DE LA QUALITE DE SERVICE CONFERE AU PROTOCOLE LA PROPRETE DE FLEXIBILITE QUI PERMET DE REPONDRE AUX BESOINS SUBTILS DE CERTAINES APPLICATIONS, SANS POUR AUTANT PENALISER LES APPLICATIONS DONT LES BESOINS EN SERVICES SONT PLUS MODESTES. DE PLUS, LES SERVICES FOURNIS PEUVENT CO-EXISTER AU SEIN D'UNE MEME APPLICATION. CELA PEUT ETRE RENDU POSSIBLE EN APPLIQUANT LA QUALITE DE SERVICE REQUISE SUR CHAQUE PAQUET DIFFUSE. C'EST DANS CET ESPRIT QUE NOUS AVONS PROPOSE FMP (FLEXIBLE MULTICAST PROTOCOL), UN PROTOCOLE QUI REPOSE, D'UNE PART, SUR LE PRINCIPE D'UN SUPPORT D'ACCUEIL MINIMAL ET FIABLE (APPLICATION LEVEL FRAMING), ET D'AUTRE PART, SUR LE PRINCIPE D'UN SUPPORT OFFRANT DIVERS SERVICES MULTIPOINTS SELECTIONNABLES SUR LA BASE DE CHAQUE PAQUET DIFFUSE. FMP REPOSE SUR UNE ARCHITECTURE EN COUCHES QUI PERMET DES GROUPES AYANT DES BESOINS DIFFRENTS DE COEXISTER DANS UN MME SYSTME. LE MODLE DE COMMUNICATION REPOSE SUR UNE COLLECTION DE SERVICES DE FIABILITE ET D'ORDRE AU DESSUS D'UN SERVICE DE LIVRAISON DE TYPE BEST-EFFORT). NOUS PROPOSONS DEUX MODULES D'ORDONNANCEMENT TOTAL ET CAUSAL. L'ORDRE TOTAL FOURNIT UN MODELE D'EXECUTION VIRTUELLEMENT SYNCHRONE UTILISABLE NOTAMMENT PAR LES PROTOCOLES DE GESTION DE GROUPE, ALORS QUE L'ORDRE CAUSAL EST UN ORDRE PARTIEL QUI N'INDUIT PAS LE DEGRE DE SYNCHRONISME ELEVE INHERENT AUX PROTOCOLES ATOMIQUES. POUR REALISER FMP, NOUS AVONS UTILISE UN LANGAGE DE SPECIFICATION FORMELLE (ESTELLE). CE LANGAGE FOURNIT UNE MODULARIT ET UNE ENCAPSULATION DES DONNES ET DES COMPORTEMENTS, PERMETTANT LA CONSTRUCTION DE PROTOCOLES PAR LA COMBINAISON DES DESCRIPTIONS D'OBJETS HIERARCHISES ET RUTILISABLES. LE COMPORTEMENT DE CHAQUE OBJET EST DECRIT DE MANIERE RIGOUREUSE PAR DES AUTOMATES A ETATS FINIS
ECOOP '93 Workshop : Object-Based Distributed Programming( Book )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Modélisation des activités conjointes dans les collecticiels. : Rôles, places et positions des participants by Christian Martel( Book )

2 editions published in 1998 in French and held by 2 WorldCat member libraries worldwide

Cette thèse s'inscrit dans un courant de recherche qui vise à montrer que les activités collectives, de plus en plus présentes dans le quotidien de chacun, ont besoin de nouveaux modèles pour pouvoir être supportées et médiatisées par les dispositifs informatiques. La proposition faite dans ce mémoire, et dite "modèle de participation", a pour objectif de représenter les échanges et les interactions entre les individus qui collaborent à travers des protocoles sociaux en tenant compte des résultats obtenus par les sciences humaines et sociales. A partir de ce modèle, il devient possible de donner une description de haut niveau des environnements numériques de travail, permettant de faciliter les collaborations entre les individus. Le modèle de participation, qui s'articule autour de la notion de groupe et d'enceinte, s'emploie à décrire la participation de chacun des membres dans une activité collaborative et comment cette activité est organisée. L'implantation du modèle de participation dans un dispositif technique implique en particulier que les utilisateurs puissent eux-mêmes configurer leurs activités. En particulier, les utilisateurs doivent pouvoir créer une activité à partir d'une bibliothèque de protocoles sociaux mise à leur disposition, modifier le protocole en cours ou encore en créer de nouveaux à l'aide des composants du modèle. Les concepts principaux sur lesquels repose ce modèle de participation sont l'enceinte, les acteurs, les statuts, les rôles, les positions et les scénarios interactifs. En reliant ces concepts les uns aux autres à travers une spécification des activités conjointes, il permet d'aborder la conception des environnements effectifs de travail coopératif. Qu'ils soient humains (par exemple, membres du groupe) ou agents logiciels, les acteurs représentent les entités qui ont des interactions dans les enceintes partagées. Dans le contexte social qui caractérise l'enceinte, un acteur possède un statut qui représente son niveau social dans l'organisation, un rôle thématique lié à sa nomination mais aussi des rôles actanciels liés aux actions qu'il a le droit d'effectuer à un instant donné, en regard des autres acteurs. Les positions qu'il prend au cours du temps sur les différents objets de l'environnement ou sur le comportement de ses partenaires constituent le moyen de vérifier et d'appliquer les règles du travail collectif et de le faire progresser
Proceedings of the 23rd Conference on l'Interaction Homme-Machine by Michel Riveill( )

1 edition published in 2011 in English and held by 2 WorldCat member libraries worldwide

Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle by Cédric Joffroy( Book )

2 editions published in 2011 in French and held by 2 WorldCat member libraries worldwide

Software reuse is not a recent issue. Many approaches have been proposed in the literature enabling the reuse of part of complete application including its functionalities and User Interface (UI). At the functional level, based on the appearance of services and components, these approaches ease the process of building and extending applications by composing independent functionalities. At the UI level, they offer solution to create new UI by the composition of existing ones. Several approaches focus on the application composition. However, they only propose to realize simple composition. Also focusing on the application composition, the approach presented in this thesis eases better the whole composition process. It allows software developer to design new application by reusing all components of existing applications including functionalities, UIs and interaction between functionalities and UIs. Our approach enables software developer to use existing industrial tools serving for functionality composition. Thus, through this process, desirable widgets can be identified and reused to crate the resulting application. The proposed approach is based on a meta-model called AliasComponent that provides a component-based architecture to describe applications by distinguishing the functional part, UIs and interactions between them, and functional composition. This metamodel focuses only on important information captured from existing applications, and functional composition. A formalization has been described to validate the intermediate results during the composition process. With this formalization, any useful widgets are selected, in case of multiple widgets, a list of possible ones is show, helping the developer to make a choice and finally create the resulting application. In this formalization, we define some properties that application and composition result must respect and ensure that the resulting application is useful. The metamodel and formalization are integrated in a composition tool which validities the approach presented in this thesis
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.33 for Actes des ... to 0.97 for ECOOP '93 ...)

Alternative Names
Riveill, Michel 1960-...

Languages
French (31)

English (28)

Italian (1)