Mémoires de Fin d’Etudes
Etablissement
Université de Biskra - Mohamed Khider
Affiliation
Département d’Informatique
Auteur
Meftah, Mohammed Charef Eddi
Directeur de thèse
Mr.Kazar Okba (Maitre de conférence)
Filière
Informatique
Diplôme
Doctorat
Titre
Une approche formelle pour les applications Web 2.0
Mots clés
Web 2.0, Service Web, Approche formelle, Vérifications, Spécifications;…
Résumé
L’un des objectifs du génie logiciel est de rationaliser le développement des applications de qualité. Ces dernières années, des progrès considérables ont été réalisés dans la conception et le développement des applications et des services web participatif (Web 2.0). L’expression « Web 2.0 » désigne certaines des technologies et des usages du World Wide Web qui ont suivi la forme initiale du web, en particulier les interfaces permettant aux internautes ayant peu de connaissances techniques de s’approprier les nouvelles fonctionnalités du web et ainsi d’interagir de façon simple à la fois avec le contenu et la structure des pages et aussi entre eux, créant ainsi notamment le Web social. En ce sens, les sites (applications) Web participatif facilitent l’interaction entre utilisateurs ; et agissent plus comme des points de présence, ou portails Web centrés sur l’utilisateur plutôt que sur les sites Web traditionnels. Dans le Web 2.0, les internautes sont considérés comme co-développeurs et l’internaute devient acteur en alimentant les sites en contenu (exemple : blogs,…). A l’heure où le triptyque (coût - qualité – délai) devient un maître mot ; et que les notions d’agilité, d’adaptabilité, et d’évolution dynamique (en cours d’exécution), différencient aujourd’hui les approches orientées service Web des précédentes approches, et deviennent un réel défi. Ce sujet s’articule autour de l’utilisation des méthodes formelles pour les applications et les services (un service définit une entité: ressource, module, composant logiciel, application, etc…qui communique via un échange de messages) de web participatif dans un contexte du Génie Logiciel. L’objectif de ce sujet est d’étudier les techniques existantes dans ce domaine puis la propositions d’une approche formelle pour les applications Web participatif, en particulier pour combattre la complexité due à la capacité d’être agile , c’est-à-dire de pouvoir être modifiée dynamiquement en cours d’exécution ; la flexibilité, l’ouverture, l’hétérogénéité,la réutilisation, la fiabilité, la traçabilité,… dues à l’accroissement des applications et des services web réparties et coopératives requérant l’utilisation des méthodologies basées sur des méthodes formelles; ce qui permet de : - Raisonner sur les organisations des composants et des services web et d’effectuer des vérifications des propriétés. - Faciliter la génération de tests et permettre la réutilisation des tests pour tester de nouveaux services. - Définir de manière formelle des fonctionnalités que les services doivent fournir, et pour tester si un service qui vient d’être ajouté (une nouvelle fonctionnalité) travaille correctement par rapport aux contraintes exprimées. - Dans le domaine de la sécurité : obligation d’utiliser des méthodes formelles pour certains niveaux de sécurité.
Statut
Signalé