A methodology for building reliable service based applications
DE SOUZA NETO Plácido Antonio
under the direction of Genoveva VARGAS SOLAR and Martin Alejandro Musicante (DIMAP-UFRN/BRAZIL)
Funding: CAPES/STIC-AmSud
Service oriented development methodologies providing models, best practices, and reference architectures to build services' based applications mainly address functional aspects. Non-functional aspects concerning services' and application's "semantics" are often expressed as constraints in general purpose methodologies. They are not fully considered or are added once the application has been implemented in order to ensure some level of reliability (e.g., data privacy, exception handling, atomicity, data persistence). This leads to services' based applications that are partially specified and that are thereby partially compliant with application requirements.
The objective of this PhD work is to propose a methodology for specifying service-based applications that integrates tools for describing non-functional constraints in the early stages of designing an application.
Distance sémantique temporelle pour la comparaison de traces
KAMDEM-KENGNE Christiane
under the direction of Marie-Christine ROUSSET,, Noha IBRAHIM and and Maurice TCHUENTE (DR, ENS-Lyon/Université de Yaoundé I, IRIMA-IDASCO)
Funding: FUI SocTrace (Jan 12 - Jan 15)
Le projet SoC-Trace a pour objectif le développement d’un ensemble de méthodes et d’outils basés sur les traces d’exécution d’applications embarquées multicoeur qui permettra à leurs développeurs d'optimiser et de déboguer plus rapidement ces applications.
La thèse se propose de définir une distance sémantique temporelle sur des niveaux d’abstraction afin de comparer les traces (comparaison basée sur des méthodes probabilistes).
Efficient storage model on the cloud based on the coordination of services
CASTREJON-CASTILLO Juan Carlos
under the direction of Christine COLLET, Genoveva VARGAS SOLAR and Rafael LOZANO (ITESM-CCM)
Funding: MSTII (Sep 11 - Sep 14)
Cloud architectures introduce new challenges to existing data management approaches. Assumptions based on a specific set of computing resources and data storage requirements may not be valid in current environments, in which unlimited availability of computing resources is possible through a model based on monetary costs, energy and services reputation. Data and services have an associated cost that can guide query evaluation, data storage and data continuity. The challenge is to build data storage solutions that take into account both the cost of the underlying infrastructure and the required resources, minimizing monetary costs and ensuring an adequate data use with high performance and availability.
The objective of this project is to propose an efficient storage model on the cloud based on the coordination of services that can be guided by different constraints: economic cost, computing time, energy consumption. This model will be validated on a cloud architecture and will serve as support for scientific applications.
Mise en contexte de traces pour une analyse en niveau d'abstraction
FOPA Léon Constantin
under the direction of Jean-François MEHAUT, Fabrice JOUANOT and Maurice TCHUENTE (DR, ENS-Lyon/Université de Yaoundé I, IRIMA-IDASCO)
Funding: FUI SocTrace (Jan 12 - Jan 15)
Le projet SoC-Trace a pour objectif le développement d’un ensemble de méthodes et d’outils basés sur les traces d’exécution d’applications embarquées multicoeur qui permettra à leurs développeurs d'optimiser et de déboguer plus rapidement ces applications.
La thèse doit proposer une représentation de haut niveau des informations contenues dans une trace afin de donner une vision synthétique des dysfonctionnements de l'application à la source de la trace. A partir des événements bas niveau, de données probabilistes, d'informations issues de techniques de fouille de données, et d'une connaissance du contexte logiciel et matériel, la trace sera interprétée sur des concepts de plus haut niveau formant des niveaux abstractions. La représentation retenue devra permettre déjà de caractériser et catégoriser un fonctionnement non optimal en l'associant à un ensemble d'évènements (par exemple un problème audio-vidéo pour une application de décompression), puis de manière plus avancée en mettant en relation les concepts de différents niveaux d'abstractions pour faciliter la compréhension du problème (par exemple un problème de synchronisation audio-vidéo corrélé à un problème de gestion d'interruptions).
Modeling and Calculating Trust in P2P File Sharing Network
AL-BAKRI Mustafa
under the direction of Marie-Christine ROUSSET and Manuel Atencia
Funding: PhD Contract with UJF. (Sep 11 - Sep 14)
Le modèle de confiance dans un contexte pair à pair doit permettre que différents pairs puissent ne pas avoir le même indice de confiance pour un même pair. La propagation d’indices de confiance entre pairs doit alors être étudiée avec soin car on doit pouvoir neutraliser l’impact de pairs peu fiables, voire malveillants, sans les connaître.
L’objectif de cette thèse est de proposer une modélisation adaptée au caractère dynamique, asynschrone et décentralisé des réseaux pair à pair et qui soit fondée sur des bases formelles (probabilistes ou logiques) de façon à fournir une interprétation mathématique aux indices de confiance. Le contexte d’étude sera les réseaux sociaux sémantiques dans lesquels chaque pair décrit ses ressources en fonction d’une ontologie qui lui est propre et établit des correspondances entre son ontologie et l’ontologie de certains des autres pairs (ses « connaissances » dans le réseau social). Il s’agira de montrer comment combiner plusieurs sources d’informations pour calculer un indice de confiance qui prenne en compte la qualité des alignements entre ontologies, ainsi que le feedback (direct ou indirect) sur les interactions passées entre pairs. Il s’agira également d’exploiter les indices de confiance ainsi calculés et mis à jour au cours du temps pour guider la découverte de nouvelles « connaissances » de confiance dans le réseau et pour améliorer les alignements entre ontologies.