Imen Graja (February 24, 2012 at 16:00)
Modélisation formelle d’un style architectural
SOA pour la conception correcte des systèmes orientés services
L’architecture logicielle est une discipline récente du génie logiciel focalisant sur la structure,
le comportement et les propriétés globales d’un système et s’adresse plus particulièrement à la
conception de systèmes de grandes tailles. Les praticiens ont réalisé que le fait d’avoir une
architecture logicielle correcte est un facteur crucial de succès pour la conception et le
développement de systèmes. Dans ce contexte, la notion de style architectural est mise en avant.
Un style cadre la conception architecturale à travers un ensemble de contraintes et de propriétés
qui doivent être préservées tout au long du cycle de vie d’un système logiciel. La conception
correcte d’un style architectural constitue par conséquent l’un des enjeux les plus importants.
C’est dans ce contexte que s’inscrivent nos travaux de mastère qui portent sur le problème central
de la conception correcte de styles architecturaux pendant la phase de conception. Nous nous
intéressons au style SOA et nous proposons une démarche de construction de styles par la composition
de schémas de communication simples, réutilisables et corrects.
Wafa Gabsi (February 10, 2012 at 16:00)
Tolérence aux pannes pour les systèmes
temps réel distribuées dynamiquement reconfigurables
La complexité et le développement des systèmes informatiques évoluent d'une manière
très rapide à cause des besoins en fonctionnalités temps réel, en dynamisme et en
distribution de ces systèmes. C'est pour cette raison, quelles que soient les précautions
prises, l'occurrence de fautes devient parfois inévitable. D'ou la naissance du besoin de
techniques assurant la sûreté de fonctionnement des systèmes distribués temps réel
dynamiquement reconfigurables. Parmi ces moyens, on distingue la tolérance aux pannes,
définie par la capacité d'un système de continuer de fournir un service acceptable malgré
la présence d'erreurs.
Le but de notre travail de thèse consiste d’une part à intégrer la représentation des
éléments tolérants aux pannes dés le stage de modélisation d’un système pour profiter
ainsi des fonctionnalités d’analyse et de vérification possible à ce stade. D'autre part,
étant donné que la tolérance aux pannes est une préoccupation non fonctionnelle, nous
décidons d'implanter les différents algorithmes en utilisant la programmation orientée
aspect.
Nesrine Khabou (January 27, 2012 at 16:00)
How to adapt
collaborative activities to context changes in ubiquitous environments?
Ubiquitous computing is a new mode of communication characterized by constantly
changing context. This feature enhances the functionality and the usability of
collaborative applications under these environments. So how to build a context aware
collaborative application over ubiquitous environments?
To achieve the mentioned goal, a first step consists in picking up context information
using Context Toolkit. Then, having the relevant context information, we perform an
analysis step. The idea behind this is to detect context changes and so to be able to
trigger reconfiguration action when needed in order to adapt the system to the new
constraints imposed by the environment. The analysis technique is based on setting
thresholds which may differ according to the context information itself. We aim at
using mathematical methods to set appropriate thresholds.
Hajer Ayedi (January 6, 2012 at 16:00)
Plateforme d'aide à la conception
et à la simulation d’architectures logicielles avec détection de contexte d'usage
pour systèmes ubiquitaires
La phase de monitoring des applications distribuées permet de collecter des mesures
sur le taux d’interactions entre les composants, la variation de charge de travail
de chaque composant et comment ils réagissent. Comme cette tâche est indispensable,
et voyant l’importance celui-ci, elle doit être guidée par des plans de monitoring.
Toutefois la difficulté principale de cette tâche est de garder la performance de
l’application en cas d’un accès excessif des moniteurs.\nNos travaux de recherche
abordent les problèmes exposés ci-dessus. En effet ils visent à proposer un moniteur
standard pouvant être introduit par diverses applications distribuées.
Nous définissons pour cela toute une démarche partant d’une étude de l’aspect
comportemental des moniteurs, passant par une proposition d’un profil UML de
monitoring et finalisant par la phase de génération automatique de code.
Sihem Loukil (December 23, 2011 at 16:00)
Une approche basée sur les
modèles d’exécution pour la gestion d’applications distribuées à base de
composants.
Les systèmes logiciels déployés dans un grand nombre de domaines
(entreprises, banques, aéroports, etc) sont de plus en plus complexes
étant donné qu’ils sont constitués de composants distribués. Ces systèmes
doivent être toujours disponibles et s'adapter en permanence aux variations
des conditions environnementales et les exigences des utilisateurs. Par
conséquent, une large gamme d'adaptations possibles à l'exécution était
proposée. Les modèles d’exécution (Models @Run.Time) est une approche
prometteuse proposée pour gérer cette complexité dans des environnements
d'exécution. Cette technique consiste à étendre les techniques dirigée par
les modèles pour les appliquer à des systèmes en cours d'exécution. Le but
des modèles d'exécution est de développer des mécanismes d'adaptation pour
les systèmes logiciels.
Dans le cadre de ce travail, nous proposons
une approche des modèles d’exécution qui assurent la surveillance des systèmes
à base de composants et des systèmes embarqués en particulier ainsi que leur
adaptation basée sur la combinaison du paradigme de la Programmation Orientée
Aspect (AOP) et les langages de description d'architecture (ADL).
Mariam Lahami (December 16, 2011 at 16:00)
Runtime Testing Framework for
Adaptable and Distributed Real-time systems
This work focuses on testing the consistency of distributed real-time systems when
their configurations evolve dynamically. In this context, runtime testing which is
carried out on the final execution environment is emerging as a new solution for
the validation of these systems. Applying this kind of testing is extremely
challenging for the reason that runtime testing can be very resource-intense and
can influence the normal behavior of the running system. Therefore, we aim in this
thesis to propose a runtime testing framework that resolve these two mainly
problems.
Mohamed-Amine Haddar (December 9, 2011 at 16:00)
Codage d'algorithmes distribués
d'agents mobiles à l'aide de calculs locaux
De nos jours, les systèmes distribués doivent répondre de plus en plus
à de nouvelles exigences de qualité de service et à l’émergence de
nouvelles applications comme le calcul sur la grille ; ce qui
généralement se traduit par des impératifs de dynamicité et de
mobilité. Si des solutions satisfaisantes existent pour des
environnements distribués statiques, elles sont inadaptées dans le cas
où le système devient dynamique (mobilité, évolution, modification de
composants). En effet, la conception d’algorithmes distribués est
traditionnellement fondée sur l’hypothèse d’un réseau dont la
topologie est statique. Notre objectif dans cette thèse est de définir
et d’étudier un modèle à base d’agents mobiles pour l’implémentation
et l’exécution d’algorithmes distribués codés par des calculs locaux.
Ce modèle doit tenir en compte des pannes qui peuvent altérer le
fonctionnement du système distribué. Il doit aussi améliorer les
performances vis-à-vis des modèles classiques (à envoi de messages)
François Verdier (November 4, 2011 at 16:00)
Conception d'architectures
embarquées flexibles
Dans le domaine de la conception d'architectures matérielles embarquées,
l'évolution des besoins s'est principalement orientée vers la flexibilité
de ces architectures. C'est à dire que le coût de ces architectures
étant devenu la première dépense à prévoir dans les équipes de
conception, on a cherché de plus en plus à concevoir des architectures
programmables, reconfigurables voire même totalement flexibles.
Je présenterai donc dans cet exposé les principaux projets que j'ai pu
mener sur la co-conception matérielle et logicielle, sur la modélisation
des systèmes d'exploitation embarqués, sur l'intérêt de penser les
applications sous la forme de collections d'objets ou de composants et
enfin, sur la conception de plate-formes (auto)reconfigurables.
Maissa Ben Jemaa (October 28, 2011 at 16:00)
RSS-based Localization
Wireless Sensor Network invention has enabled a tremendous number of applications
for both indoor and outdoor environments. Most of these applications are intended
for monitoring, surveillance and tracking purposes. In these applications the
reported data is meaningless without knowing from where it has been collected.
Therefore, a location estimation system becomes a necessity for WSN applications.
Due to cost and energy constraints in WSNs, GPS based localization systems can not
be used, unless when a small number of nodes is deployed. Thus, other localization
systems should be designed for WSNs. RSS-based localization systems are the most
traditional and cheapest systems as most of today’s radio chips for WSNs provide
it at no extra hardware cost. Nevertheless, this benefit comes along with a poor
localization accuracy and labor intensive environment profiling phase. This fact
motivated us to find a thorough methodology aiming at improving RSS-based
localization systems.
Olfa Bouchaala (October 21, 2011 at 16:00)
Supervision et configuration sensible au métier d’applications à base
de services dans un environnement de Cloud
Dans un contexte de réduction des coûts des postes non directement liés à la
production, d’optimisation des processus et de diminution de la consommation
énergétique, le passage au Cloud devient un enjeu important pour la durabilité
des entreprises. Le paradigme du Cloud Computing permet la livraison de ressources
(applications, plateformes, infrastructures ou réseaux) en tant que services tout
en permettant le passage à l’échelle.
Lorsqu’on se place au niveau de la prestation de plateformes, trois types
d’acteurs sont considérés : le fournisseur de la plateforme (appelée Platformes
as a Service ou PaaS) du Cloud, le fournisseur d’applications déployées sur le PaaS
et le consommateur final des applications déployées. Un contrat de service est
généralement négocié entre le fournisseur du PaaS et le fournisseur des applications
déployées en fonction du niveau du service souhaité. Afin de remplir les contrats,
les fournisseurs de PaaS adoptent des mécanismes de surveillance et procède, en cas
de dégradation, à des actions de (re)configuration des applications déployées. Les
mécanismes actuellement développés souffrent d'un inconvénient principal lié à la
sensibilité au métier. En effet, ils sont indépendants des spécificités métier des
applications déployées et ne peuvent par conséquent pas fournir des moyens de
surveillance et de configuration les plus optimales. L’objectif de cette thèse est
ainsi de proposer une approche de supervision et de configuration sensible au métier
d’applications à base de services dans un environnement de Cloud.
Nabil Baklouti (October 14, 2011 at 16:00)
Enhancing Linguistic Web Service Discovery
The Lingware Engineering is a sub-domain of the Software Engineering domain
related to Natural Language Processing (NLP). Our work is part of the NLP
tools development. Indeed, these latter occupy a prominent place in the
communication between different communities (man-machine dialog, man-phone
dialog even machine-machine). The existence of many reference applications
such as Automatic Summary, Information Retrieval, Machine Translation,
Question/Response system, and so on which use tools such as segmenter,
tagger, morphological analyser, … on the one hand and the custom development
(i.e., Programming Language, Operating System, Input/Output format, …) of NLP
tools on the other hand, present many problems related to reuse and
interoperability. The Service Oriented Architecture (SOA) is recently adopted
as a solution for integration and interoperability problems. To promote the
automation of service discovery and composition, different semantic languages
have been created that allow describing the functionality of services such as
OWL-S, WSMO and SAWSDL. However these approaches are not appropriate for our
domain that has its own specificities such as the processing level (i.e.,
syntactic, morphological, semantic, pragmatic), the treated phenomenon (i.e.,
ellipsis, anaphora …), and so on. Due to this limitation, we will propose a
rich semantic and adapted framework for the linguistic service description to
promote its discovery. Therefore, we are going to extend the OWL-S approach
by adding the NLP specificities.
Slim Kallel (September 30, 2011 at
16:00)
Specifying and Monitoring Non-functional
Properties
The main contribution of this thesis is to provide a holistic and generic
approach for implementing non-functional properties. This approach, called
Seven-pro, combines formal methods and aspect-oriented programming for
specifying and enforcing non-functional properties. It covers the main phases
of the development process: formal specication, structural validation, formal
verication, and runtime enforcement of the specied properties. We applied,
our approach to three applications domains, namely, software architecture,
access control protocols and service oriented applications. When addressing
these application domains we dealt with structural and behavioral
non-functional properties. To be able to formally specify and enforce the
dierent kinds of properties, it was necessary to dene domain specic
languages, by combining existing ones, and to extend some aspect oriented
languages.
Anis Kalboussi (June 6, 2011
at 14:30)
Un système d'invocation de services Web à base d'annotations
de l'utilisateur
Au cours des dernières années, plusieurs travaux de recherche se sont
intéressés aux approches mettant en œuvre l'adaptation dans les services Web.
Cette dernière nous incite à se focaliser plus particulièrement à l'étude du
profil utilisateur. De ce fait la prise en compte de ce profil dans les
services apparaît comme étant une solution adéquate satisfaisant les
préférences et les besoins des internautes. D'autre part, le besoin en outils
d'annotation dans les pages web devient de plus en plus revendiqué et
ressenti. En effet, d'un côté, ces outils vont offrir à l'utilisateur un
moyen d'exprimer ses besoins et signaler ses objectifs, et d'un autre côté,
aux concepteurs d'avoir une représentation formelle de ces besoins et
objectifs voire des attitudes comportementales de cet utilisateur. Nos
travaux s'articulent autour de deux axes principaux :
- Dans un premier temps, nous
nous intéressons à étudier l'activité annotative de l'utilisateur comme
moyen d'invoquer les services Web appropriés. Ainsi, moyennant ses
annotations, il est possible de dégager les objectifs de l'utilisateur et
par conséquent lui rendre les services souhaités relatifs aux buts
entrepris dans son projet de lecture.
- Dans un second temps, il
paraît intéressant d'adapter les services répondant à l'utilisateur à
travers son profil. Pour cela, nous allons étudier la faisabilité d'une
nouvelle technique de prise en compte du profil dans les services Web.
Cette technique consiste à développer une ontologie modélisant le profil de
l'utilisateur et à l'intégrer par la suite dans un service web dédié à la
gestion du profil utilisateur et à l'interaction avec les services
invoqués.
Alvine Belle (May 16, 2011 at
14:30)
Design and development of a middleware for RTES dynamically
reconfigurable
Ensuring the functioning of a real-time embedded system (RTES) is a complex
task because it requires to manage the heterogeneity of its elements
(devices, networks, programming languages, data formats,...) and often
requires that the system evolves according to the runtime environment, while
remaining available. The evolution of such a system is possible using dynamic
reconfiguration which refers to the change of the configuration of a system
while it is running.
Mechanisms to support dynamic
reconfiguration of a real-time embedded system, while managing its
heterogeneity, can be implemented using a middleware. However, the latter
must deal with the difficulty of maintaining the timeliness, the
embeddability and the consistency of the system to reconfigure. Therefore, we
propose an approach to develop a middleware that addresses these various
issues.
Wafa
Gabsi (May 9, 2011 at 14:30)
Models@ Runtime of component based
systems
The Models@Run.Time technique extends the techniques of model driven
engineering with consideration of running applications. This technique not
only allows modeling applications with a certain level of abstraction but
also managing and monitoring the application during its execution. If needed,
such monitoring triggers a dynamic adaptation that can be performed in two
ways: on one hand, any change on the execution level must be reflected on the
model. On the other hand, any change of a component or a connection on the
model must be concretized on the executing application. In this context, we
aim at combining the use of aspect-oriented programming and architecture
description languages (AADL) in order to manage component based systems and
achieve a Models@Runtime process.
Nasreddine Hajlaoui (May 2, 2011 at
14:30)
QoS management for multimedia applications in wireless
networks new generation
Recently Wireless local area networks (WLANs) increasingly become the edge
network of choice thanks to their cost effectiveness, ease of installation,
flexibility and specially their mobility. The emerging widespread use of
multimedia applications (i.e., VoIP, Video streaming, IPTV, HDTV…) makes the
Quality of Service (QoS) a key problem in WLANs. That's why wireless
technologies rapidly evolve. The latest generation of high-speed WLANs
solutions offers promising prospects for effective deployment of new
multimedia services that meet the needs of users. For example, the new
standard IEEE 802.11n is expected to deliver rates of up to 600Mbps. The
objective of this thesis is to propose effective solutions that provide a
real support of QoS for multimedia applications in these new generation
WLANs. In this presentation, I will present the new standard IEEE 802.11n and
some existing approaches for the support of QoS in
802.11.
Amel Ltifi (April 25,
2011 at 14:30)
Cooperation, trust and routing for highly dynamic spontaneous
network
With their ease of deployment and their low cost, spontaneous networks are
increasingly used in various fields of applications, such as driver
assistance, military surveillance, agriculture or the supervision of
sensitive sites, These networks are governed by strong constraints on the
storage capacity, on the computing power and energy consumption. In addition,
these networks are vulnerable to attacks because they are usually deployed in
an open and therefore easily accessible. In this subject, my task consists of
defining a system of trust management and effective cooperation for highly
dynamic spontaneous networks . This system of trust management should help to
ensure efficient routing, reliable and safe. In this presentation, I will
present some existing approches for trust management systems for VANETs
(Vehicular Adhoc NETworks)
Borhen Marzougui (April 18, 2011 at
14:30)
A new formalism for Modeling Multi-agent
Systems
"In this talk, I will present a new formalism for Modeling Multi-Agent
Systems (MAS). The proposed approach is based on agents called Agent Petri
Nets (APN). This model is designed not only to describe the internal state of
each entity of the system but also and especially, its behavior. In order to
describe the behavior and the interactions between entities of the system or
the constraints on the variable characteristics of the system, a dynamic
modeling is used. In addition, we are also interested in verifying the
consistency model and its
compatibility.
Khaled El Fakih (April 11, 2011 at
14:30)
Finite State Machine Based Incremental Testing
Methods
Given a specification of a system and its conforming implementation,
incremental testing methods deal with the derivation of tests that check that
the modified parts of the specification are implemented correctly in the
corresponding modified implementation. We study the problem for the case when
the system specification and implementation can be modeled as finite state
machines.
Amal Gassara (February
21, 2011 at
14:30)
Vérification Formelle des Propriétés non Fonctionnelles des
Systèmes Tempsréel Embarqués Dynamiquement
Reconfigurables
Un système embarqué est reconfigurable lorsqu'il peut modifier son
comportement et son architecture au cours de l'exécution. Les
reconfigurations se produisent selon l'évolution des exigences du contexte
d'utilisation et la variation des contraintes de l'environnement d'exécution.
Cependant, la reconfiguration au cours de l'exécution du système peut
provoquer le mal fonctionnement du système par la production des anomalies et
la perturbation de certaines propriétés non fonctionnelles. Il est donc
nécessaire de vérifier la validité de ces propriétés après l'exécution d'une
action de reconfiguration. Pour cela, il faut proposer un formalisme formel
qui permet la vérification certaine du bon fonctionnement du système embarqué
temps réel dynamiquement reconfigurable. Les contributions de ce sujet se
répartissent sur deux axes :
1. Une étude bibliographie sur les formalismes formels existants et les
propriétés non fonctionnelles des systèmes embarqués temps réel dynamiquement
reconfigurables.
2. La définition et le développement des outils permettant la traduction des
modèles UML vers un formalisme formel et la vérification de certaines
propriétés non
fonctionnelles
Ismail Bouassida (February 14, 2011 at
14:30)
Dynamic Management of Software Architecture for Communicating
Collaborative
Systems
In this work, we study dynamic reconfiguration of collaborative communicating
applications. Providing generic and scalable solutions for automated
self-reconfiguration in group collaboration support systems can be driven by
rule-based reconfiguration policies. To achieve this goal, we elaborate a
dynamic graph-based modelling approach and we develop structural models that
can represent the different interaction dependencies from different
configuration-related point of views: communication flows between the
distributed machines, the networked deployment nodes, and the service
composition. Our solution is based on graph grammars rewriting. We provide
graph transformation to specify rules for changing deployment architecture
while being in conformance to an architectural style. In order to handle the
complex design of communicating collaborative system architectures and the
related adaptation issues, we propose a multi-layer modelling approach. This
approach assures generic solutions for automatic context aware adaptation.
Our approach is based on the observation that semantic data analysis that can
be exploited to manage priorities and more generally to manage
communications. This allows us to represent, in a richer way, the semantics
of the managed
systems.
Nesrine Khelifi (17/01/2011 at 14:30)
[Cancled]
HEERP: Hierarchical Energy Efficient Routing Protocol for
Wireless Sensor
Networks
There are various applications where sensors' networks are used such as
environment tracking, health monitoring, industrial control and intrusion
detection applications. Sensors' networks consist of small-sized nodes,
deployed generally in inaccessible environment to the human, in order to
collect information about this environment. These motes are autonomous and
work on battery. The critical character of these networks is: energy. It is
the main cause which has to drive their conception to increase their
lifetime.
Energy consumption is a delicate point because it has an impact on all
levels: application software, motes (software and hardware) routing and
communication channel. The objective of this thesis is to propose a strategy
of routing mechanism to reduce the energy consumption of motes sensors and
subsequently increase network's lifetime. In this seminar, we will present
our new protocol called HEERP (Hierarchical Energy Efficient Routing
Protocol).We will assure its performance by comparing its simulation results
with one of the most popular routing protocols called LEACH (Low Energy
Adaptive Clustering
Hierarchy)
Chiraz Chaabane
(03/01/2011)
An Approach for audio communication using ZigBee Network for
mobile
devices
The increasing number and complexity of features built into wireless mobile
communicating devices (mobile phone, PDA for example) implies an increase in
energy consumption. This is one of the most important aspects for wireless
communication protocols. Among these protocols, we quote the 802.15.4/ZigBee
protocol, a protocol designed for networks and WPAN type characterized by low
power consumption and low speed.
Our study was interested in the audio transmission in an 802.15.4/ZigBee
network with mobile nodes. In a first phase of our work, we were interested
in the mobility aspect. Some previous studies show that the mobility is not
well taken into account by the standard. The study of this aspect is made
with the NS-2 simulator. This was only possible after having made certain
changes to the implementation of the 802.15.4/ZigBee layer in the
simulator.
The presentation will be divided into three parts.First, we will introduce
main issues related to network architecture for mobile communication devices.
In the second part, we will present the proposed model. The third part will
be reserved for the study of mobility management in such
architecture.
M. Karim Chine (30/12/2010,
15:00)
Cloud computing pour la recherche et l'éducation: Vers une
plate-forme de calcul scientifique et statistique distribuée, ouverte et
collaborative
Les grilles de calcul n'ont pas tenu leurs promesses et n'ont pas été adoptés
par la majorité des chercheurs. Le calcul à la demande et les clouds
publiques tel qu'Amazon EC2 sont porteurs de nouvelles promesses et sont
susceptibles d'avoir un impact majeur sur la recherche et l'éducation. Ils
ont rendu possible la conception d'une nouvelle génération d'environnements
virtuels pour les sciences computationnelles et la fouille de données qui
vont accélérer le mouvement vers une science plus ouverte, plus
participative, plus collaborative et plus facilement reproductible.
Elastic-R est la première plate-forme à combiner le potentiel de
l'infrastructure-comme-service avec les outils les plus utilisés de l'analyse
statistique et de la simulation numérique. Désormais, Le scientifique,
l'éducateur et l'étudiant peuvent facilement allouer des ressources sur un
cloud et les utiliser travailler à partir d'un simple navigateur, avec R,
Scilab, Python, etc. sans contrainte de mémoire ni de puissance de calcul.
Les utilisateurs d'Elastic-R peuvent ainsi analyser des données massives,
collaborer en temps réel, créer et publier des services à contenu
scientifique, lancer aisément des calculs parallèles massifs, connecter leurs
feuilles Excel et leurs documents à des moteurs de calcul distants... Ils
peuvent partager avec leurs collaborateurs, leurs étudiants, les examinateurs
de leurs papiers scientifiques, etc. tous les artefacts produits.
La présentation sera un tour d'horizon des cas d'utilisation les plus
importants dans le contexte de l'e-Science, de l'e-Learning et du ubiquitous
computing. Des démonstrations utilisant le portail opérationnel sur Amazon
EC2, http://www.elastic-r.org , illustreront les différents
concepts.
Ghofrane Fersi
(29/11/2010)
Energy-aware routing protocol for Wireless Sensor
Networks
In the last recent years, Wireless Sensor Networks (WSN) become a suitable
solution for a tremendous number of applications such as health monitoring,
intelligent agriculture, intrusion detection applications and industrial
control. In spite of the intensive researches in this domain, wireless sensor
networks still face a lot of challenges such as energy optimization, fault
tolerance, security, network robustness and scalability. The energy
optimization remains the most important challenge since the lifetime of a
sensor is related to the critical amount of energy of its battery. The
research committee believes that the routing protocol is the most responsible
for energy dissipation in a WSN. Several proposed routing protocols have
treated the problem of energy consumption, but up to now, results are not
completely optimal, especially in WSNs presenting high data traffic. In this
presentation, we will highlight these routing protocols and present our point
of view and
solution.
Emna Fki
(22/11/2010)
Composition de services basée sur les
patrons de
services
Dans la cadre des applications
orientées services, la tâche de délivrer les services appropriés pour
satisfaire les besoins de l'utilisateur est une problématique importante. En
effet, ces besoins sont de plus en plus complexes, et des services
individuels ne peuvent répondre à cette complexité. Donc la composition de
services est une solution adéquate. La composition doit fournir un résultat «
à la volée » tout en tenant compte des besoins des utilisateurs et de leur
contexte. Il est nécessaire, d'adapter la composition de services pour
délivrer le service composé le plus adapté au besoin de l'utilisateur. Une
solution doit être proposée pour fournir au moment de l'exécution une
composition de services adaptable, qui à la fois facilite la découverte et la
sélection des services, et tient compte des besoins des utilisateurs. Nous
proposons dans ce travail un mécanisme de composition guidé par un modèle
structurant les besoins en un réseau d'intentions, et qui utilise des
composants réutilisables fournis au moment de conception appelés patrons de
services.
Khaled ben Bahri
(01/11/2010)
Cloud Computing et le stockage de
données
Cet exposé
est composé de deux parties. La première est une introduction au Cloud
Computing, son architecture les différents services qu'il fournit. La
deuxième partie accentue le service HDFS de Hadoop. HDFS est une solution
gratuite et opensource de stockage de grandes quantités de données. Il s'agit
d'un système de traitement de données évolutif pour le stockage et le
traitement par lot de très grande quantité de données. Il est tout à fait
adapté aux stockages de grande taille et aux analyses de type "ad hoc" sur de
très grandes quantités de
données.
Afef Jmal
(25/10/2010)
Combining Stress and Conformance Testing for Orchestrated Web
Services
Nowadays, Web service composition is a fundamental key to build up
distributed applications. Nevertheless, the development of composed Web
services is becoming increasingly more susceptible to obscure
bugs.
Testing is an essential part of the software development process,
particularly in case of composed Web services. However, an important area
that is often misunderstood or overlooked is stress testing, which is
normally used to understand the upper limits of capacity within the
application landscape. This kind of test is done to determine the application
robustness in terms of extreme load and helps application administrators to
determine if the application will perform sufficiently if the current load
goes well above the expected maximum. In addition to this test category, we
are interested within this work in conformance testing where the aim is to
check conformance of the System Under Test (SUT) to a given specification.
More precisely, we are interested in model-based testing where the
specification is described by a formal model from which a test suite is
automatically generated. The obtained tests are then applied to the SUT in
order to check both its conformance and the timing delays of the outputs with
respect to the specification in
hand.
In our work, we present a distributed framework that automatically
generates and executes parallel tests online (i.e. the complete test scenario
is built during test execution) for stress and conformance (S&C) testing
of WS-BPEL based orchestration processes. The proposed framework considers
unit testing and it is based on a timed modeling of a BPEL specification, a
distributed S&C testing architecture, and an online testing algorithm
that generates, executes and assigns verdicts to every generated concurrent
test case
request.
