Thesis in progress

A methodology for building reliable service based applications

2012-03-20T08:34:55+00:00

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

2012-03-18T11:22:39+00:00

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)

Efficient storage model on the cloud based on the coordination of services

2012-03-20T08:28:09+00:00

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

2012-03-18T11:17:13+00:00

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

2012-03-18T19:02:36+00:00

AL-BAKRI Mustafa
under the direction of Marie-Christine ROUSSET and Manuel Atencia
Funding: PhD Contract with UJF. (Sep 11 - Sep 14)

L'objectif de cette thèse est d'étudier le problème de la modélisation et du calcul de la confiance dans un réseau pair à pair de partage de données à grande échelle. Un problème important et pourtant encore très peu étudié dans une vision totalement décentralisée est celui de l’élaboration et la propagation d’indices de confiance entre pairs sans passer par une autorité centrale. L’approche doit être complètement différente de l’approche centralisée des systèmes de calcul de réputation tels que ceux mis en œuvre dans les systèmes électroniques de vente par enchères comme ebay.
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.

Optimisation and evaluation on data services based queries

2012-03-20T08:31:22+00:00

LOPEZ ENRIQUEZ Carlos Manuel
under the direction of Christine COLLET and Genoveva VARGAS SOLAR
Funding: ANR OPTIMACS

Today there is a need to query large amounts of widely distributed data that are produced by different sources of data viewed as services (eg, sensors, devices, networks). Optimization of query evaluation based on services is a significant challenge to get the right information at the right place at the right time in an efficient way. This means to be able to evaluate classic queries, mobile and continuous queries by coordinating services that are nomad and static data providers producing data continuously or in batch. The theme of the thesis deals with multi-objective optimization of queries implemented by services coordinations (ie, query workflow). The idea is to provide a tool for enabling efficient access to data services, capable of optimizing query evaluation implemented by a services coodination. The objective is to combine services, and data streams with query evaluation while considering aspects of quality of service associated with the use of services.

QoS-aware Event Processing Systems for Wireless Sensor Networks

2012-03-20T08:24:34+00:00

GUTIERREZ MLOT Esteban
under the direction of Christine COLLET, Paolo PAGANO (CNIT, U. Santa Ana, Pisa, Italy), Genoveva VARGAS-SOLAR
Funding: CNIT Lab, U. Santa Anta, Pisa, Italy

Event-based systems (EBS) can offer anonymous and asynchronous communication (producers/servers and receivers/client do not know the identity of each other) to make interoperability and collaboration between autonomous and heterogeneous components easier. EBS can observe, convey, filter, aggregate, compose and notify events. Efficiency, scalability and reliability are among the most critical aspects to be considered in this sense. They have to be guaranteed by means of appropriate QoS management and event composition techniques. The correct definition of the appropriate QoS metrics and the consequent implementation of prioritization and differentiation techniques helps to balance the load on resources and to optimize data routing. Through event composition, the unnecessary transmission of data is avoided thanks to data aggregation and filtering. Wireless Sensor Networks play a crucial role in data acquisition and event management. The new generation of data acquisition systems shall be able to get data from heterogeneous sensors packed in embedded devices and manipulate such data in order to produce semantically rich events conveying data related to different contexts and priorities.
The objective of the doctoral thesis is to define new event composition and QoS management techniques especially targeted to Wireless Sensor Networks. In order to support the heterogeneity of network nodes and sensor platforms, the techniques will be integrated in an existing middleware interoperable with widely accepted network standards, such as IPv6.