La composition est considérée comme une révolution dans le concept SOA. Ce mécanisme, qui se définit comme étant le processus qui combine des services existants pour former de nouveaux services, peut être assuré par le biais des deux modèles complémentaires : l’orchestration et la chorégraphie. Cette dernière, introduite comme une nouvelle vue sur l’interaction des services, offre une coordination décentralisée, tandis que l’orchestration est un modèle de coordination centralisée exécuté à l’aide d’un moteur d’orchestration (orchestrateur). Bien que les chorégraphies servent comme un contrat entre les services partenaires, elles ne sont pas destinées à être exécutées. En effet, la chorégraphie décrit le comportement des services dans la composition, quant à l’orchestration, elle contient suffisamment d’informations pour permettre l’exécution des processus métier par un orchestrateur. En fait, les processus d’orchestration contiennent des informations additionnelles qui ne se trouvent pas dans la spécification de la chorégraphie : les chorégraphies fournissent les informations nécessaires pour une collaboration, tant que les détails sont mis en œuvre dans les orchestrations. Or, au-delà de ça, le passage de la chorégraphie à l’orchestration est dû au fait que les outils de la chorégraphie ne permettent pas de modéliser directement la majorité des activités. Dans cet axe de recherche, plusieurs travaux ont profité du plein essor de l’approche MDA pour  bénéficier de ses concepts pour réaliser des transformations, à base de modèles, de la chorégraphie à l’orchestration. Tout de même, la composition de services est une tâche complexe du fait de l’hétérogénéité des données et de leurs formats.
Toutefois, la chorégraphie, sur laquelle se base cette transformation, peut être le fruit d'une intégration d'un ensemble de chorégraphies locales qui sont spécifiées par différents formalismes. En effet, cette intégration nous aide à maîtriser les difficultés issues de l’hétérogénéité des services.
De plus,  traiter le problème de composition du point de vue globale, nous permet de prendre en compte les différentes situations de concurrence possibles. Néanmoins, l'intégration des services provenant de sources hétérogènes est toujours un défi majeur pour le développeur.
A cet égard,  une solution intégrée doit aborder tous les aspects de développements et ce pour faciliter le travail des différents intervenants (services) et réduire le temps des développements. Pour ce faire, et dans le cadre de notre première contribution, nous créons un méta-modèle qui englobe la majorité des concepts définis par les différents langages de spécification de la chorégraphie. A travers ce méta-modèle, nous éviterons les risques de chevauchements des concepts, les appels redondants possibles et la multitude de façons de manipulations évoquées dans les travaux de l’équipe ADELE.

Actuellement, les compositions de services Web constituent un élément primordial pour la mise en œuvre des applications distribuées. Cependant, le développement de services Web composés devient de plus en plus exposé à divers problèmes et pannes. De même, le test est une phase essentielle dans le processus de développement logiciel, particulièrement pour les compositions de services Web. Néanmoins, un domaine important qui est souvent négligé est le test de charge. En fait, il est normalement employé pour mesurer et analyser la capacité du système à tester dans son contexte d’exécution. Ce genre de test est réalisé pour déterminer la robustesse d’une application donnée en termes de charge extrême tolérée. Ceci aide les administrateurs à déterminer si l'application fonctionnera « correctement » en cas où la charge courante est au dessus du maximum de clients instantanés prévu. En plus de cette catégorie de test, nous sommes intéressés dans ce travail par le test de conformité où le but est de vérifier la conformité du système à tester par rapport à des spécifications données. Plus précisément, nous nous intéressons au test à base de modèles où les spécifications sont décrites par un modèle formel à partir duquel une série de tests est automatiquement générée. Les cas de tests obtenus sont alors appliqués sur le système afin de vérifier sa conformité et les délais des sorties par rapport à la spécification. Ainsi, l’objectif essentiel de ce travail est de proposer et de valider une approche de test de conformité à base de modèles pour les compositions de services Web sous des conditions de charge extrêmes.

La complexité croissante des applications informatiques actuelles a conduit à la conception de systèmes auto-adaptatifs caractérisés par des propriétés auto-* (d’auto-organisation, d’auto-réparation, d’auto-optimisation, …). Ces systèmes sont composés de plusieurs entités autonomes en interaction. Ils se comportent de manière autonome et présentent des caractéristiques améliorées leur permettant une meilleure gestion des changements pouvant avoir lieu au niveau du système lui-même ou au niveau de son environnement. Selon les résultats publiés du séminaire sur l’ingénierie logicielle des systèmes auto-adaptatifs, organisé dans la ville de Dagstuhl en octobre 2010, l’un des grands challenges dans ce domaine est la nécessité de donner des garanties concernant le comportement des systèmes auto-adaptatifs. Ainsi, la validation et la vérification de ces systèmes est une étape primordiale dans leur cycle de développement. Son objectif est de s’assurer que le système satisfait ses exigences fonctionnelles et répond aux critères de qualité attendus. Dans cet exposé, on s’intéresse particulièrement aux Systèmes Multi-Agents (SMA) auto-adaptatifs pour lesquels le comportement global du système est souvent dit émergeant des comportements individuels des agents. Ainsi, la première partie de cet exposé sera vouée pour donner les principales caractéristiques des SMA auto-adaptatifs. Nous considérons que les techniques formelles peuvent être d’une grande utilité pour s’assurer du comportement des ces systèmes. Ainsi, la deuxième partie de cet exposé sera consacrée pour présenter quelques travaux traitants la validation et la vérification formelle des SMA auto-adaptatifs.

La gestion des processus d’entreprise ou « Business Process Management (BPM) » est une approche holistique pour décrire, analyser, exécuter, gérer et améliorer les processus métiers au sein des entreprises (Business Processes BP). Un processus de l’entreprise ou processus métier, ou encore processus d’affaire peut être défini comme une collectionde tâches reliées pour accomplir un objectif bien défini. Suite à l’évolution constante de l’environnement dans lequel se trouve l’entreprise ou l’organisation, les processus statiques ne couvrent plus les besoins réels des entrepreneurs et l'adaptation de ces processus au contexte organisationnel est devenue une étape cruciale dans la gestion entrepreneuriale afin de bien maintenir des niveaux concurrentiels. Le changement des conditions environnementales de l’entreprise peut inclure les changements du contexte intra-entreprise aussi bien que les changements du contexte extra-entreprise. Les exemples de besoin d’adaptation des processus d’entreprises dû au changement de contexte extra-entreprise sont nombreux. Nous pouvons citer le changement de la saison, et comment il affecte les processus d’entreprises d’assurances pour les pays affectés par les inondations. Encore, les événements locauxet mondiaux, attendus ou non attendus (comme par exemple, une baisse du taux del'intérêt national). Une entreprise peut changer son processus d'expédition si les prix du carburant montentet le transport devient très coûteux. D’autre part, voici quelques exemples illustrant l’impact du contexte intra-entreprise sur les processus de celle-ci:Comment adapter le processus de production de l’entreprise pour remédier au problème du temps perdu avec l’embauche de nouveaux employés débutants ? Comment adapter un processus de production d’une entreprise de confection de vêtements lorsque cette dernière détecte qu’elle va travailler avec un nouveau tissu de qualité différente? Les exemples précédemment cités montrent que de nos jours, la création de processus d'affaires dynamiquement adaptables est devenue primordiale. En effet, agilité, flexibilité et sensibilité au contexte des processus de l’entreprise s’avèrent être des points clés pour amener la gestion de ces processus un pas plus loin. Cependant, la réalisation de l’adaptation de ces processus reste une tâche délicate à faire surtout si nous considérons des facteurs imprévus au départ. L’adaptation dynamique des processus métiers dans les entreprises reste donc une tâche insuffisamment explorée. Une étude de l’existant nous a mené à souligner les limites des différents travaux qui ont essayé de réaliser l’adaptation des Business Process : D’abord, la limite majeure de ces travaux réside dans le manque de sémantique dans la description de ces Processus. Ensuite, l’adaptation de ces processus touche principalement leur couche d’exécution et non pas leur couche de définition et modélisation.

Recent advances in Wireless Sensor Networks (WSN) have led to the improvement of sensors design and features which require the design of new routing protocols. These routing protocols should be energy efficient, reliable and ensure the timeliness of transmitted data. Also, they should afford an efficient data lookup and storage. Distributed Hash tables (DHT) have already proved their ability to achieve the former constraints in the large scale wired networks. Their success has encouraged researchers to combine DHT to WSN. Such combination has certainly a lot of advantages, but it brings also new challenges. In this presentation we highlight the different benefits as well as challenges of applying DHT techniques in WSN. We give a taxonomy and a short description of existing DHT- based protocols. Then, we present our proposed approach that combines DHT to WSN in an energy aware and flexible manner. We also explain how this approach can suite the WSN auto-deployment cases. Finally, we discuss the obtained simulation results and explain the need to achieve a mathematical study.

Le contenu multimédia, en particulier les images, devient de plus en plus important dans le Web. Ainsi, la gestion et la recherche efficace de l’information multimédia sont encore des défis dans le domaine de la recherche d’information. Plusieurs approches ont été proposées dans la littérature de la recherche d’images, quelques unes sont basées sur le contexte de l’image et d’autres sont basées sur le contenu. D’autres travaux ont proposé la combinaison des deux techniques afin de prendre en compte les avantages de l’une et de l’autre. Malgré ces nombreuses approches, la recherche d’images nécessite encore des efforts et des études pour aboutir à des résultats plus satisfaisantes à l’utilisateur vu le manque de la sémantique de la description visuelle ou contextuelle de l'image. Nous nous intéressons dans cette thèse à la combinaison de la recherche d’images basée contenu et la recherche d'images basée contexte. Plus précisément, nous envisageons construire des liens sémantiques entre les images pour améliorer les résultats de recherche. Dans la recherche d’information et même dans la recherche d’images, l'utilisation des liens entre les documents a montré son intérêt dans l’amélioration des performances de recherche. Toutefois, les liens qui sont construits manuellement présentent plusieurs inconvénients tels que la présence de liens navigationnels, les créateurs de pages se contentent à faire quelques liens sémantiques et pas tous, manque de liens entre les images, etc. Afin de palier ces inconvénients dans la recherche d’images, des liens sémantiques entre les images peuvent être construits automatiquement à partir du contexte et du contenu des images, et par la suite, les exploiter pour la recherche d’images.

We present in these slides a flow of characterization of embedded operating system energy consumption. The objective is to determine the energy overhead of the services of the embedded OS, we interest particularly on the context switch service. The modeling is based on measurements on the hardware platform OMAP35x EVM board, running Linux omap. Based on the analysis results, a relationship between energy overhead and a set of hardware and software parameters is established.

Ubiquitous computing called also pervasive computing is a new communication paradigm appeared recently. It represents and extended form of computing in which users make use of many different mobile, stationary and embedded computers over the course of the day.One significant aspect of this emerging mode of computing is the constantly changing context. As a result, exploiting these features such as context information, mobility may enhance the fonctionality and the usability of collaborative applications under ubiquitous environment. The challenge that arise when combining the requirements of the previous areas is how to build a context aware collaborative application over an ubiquitous environment. In fact, a context aware application is one which can capture the context, assign a meaning to it and finally change its behavior accordingly. To achieve the mentioned goal, a first step consists in picking up context information using Context Toolkit. Then, once obtained, a processing step is necessary in order to transform low level information into a high level one that is more useful to application. Having the relevent 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 adaptive threshold which may differ according to the context information itself. We aim at using mathematical methods to set appropriate adaptive threshold values.