Une approche formelle pour les applications web 2+
Web 2+ : Etat de l’art Etude comparative Approche proposée Etude de cas
Ce travail propose une approche formelle pour le développement des applications Web 2(+) sûres.En analysant les travaux de recherche existants sur la formalisation de développement des applications web, nous détectons certaines limites.
Afin de répondre aux ces limitations , nous proposons une approche complète qui propose une formalisation de processus de développement des applications web 2(+) tenant compte les deux côtés architectural et technique.
Cette approche consiste en la génération d'une implémentation de l’application à partir des spécifications formelles.
On décrit préalablement l'application à l'aide des notations (CTT), puis un processus automatique est appliqué afin de les traduire en spécifications formelles B.
En utilisant le processus de raffinement B, un ensemble de règles de raffinement, opérant sur les opérations, est appliqué sur les spécifications ainsi obtenues.
Ces règles considèrent l’aspect dynamique de l’application Web ; ces phases de raffinement ont pour but de rendre les spécifications finales proches des langages d'implémentations cibles choisi (WS-BPEL, JAVA), de telle sorte que la dernière phase de codage devienne intuitive
Meftah Mohamed Charaf Eddine a obtenu son doctorat en informatique de l'Université de Biskra en 2016.
Actuellement est un Maître de conférence au département de l'informatique à l'université d'EL-Oued .
Son intérêt de recherche comprend : le Génie logiciel, les Services Web, les Approches Formelles et les Systèmes Multi-Agents.
Fiche technique
- Auteur
- MOHAMMED CHARAF EDDINE MEFTAH
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Année
- 2016
- Pages
- Pays
- Algérie
30 autres produits dans la même catégorie :
Voir toutLe Web Sémantique et l'Ontologie GOODRELATIONS en Commerce connecté
- Nouveau
Etude comparative des performances des méthodes ensemblistes
- Nouveau
Informatique : Un mot sur la maintenance en milieu d’entreprise
- Nouveau
La Mise en Place D'une Application Informatique Intelligente
- Nouveau
L’informatique en 4ème année Commerciale de Gestion :
- Nouveau
Adaptation des IHM en fonction des sentiments des utilisateurs
- Nouveau
Intelligence Economique et Stratégie de l’operateur de téléphonie mobile ORANGE CI
- Nouveau
Génération automatique de service web depuis ReLEL selon la méthodologie Praxeme
- Nouveau
Conception et réalisation d’un système de recommandation
- Nouveau
Analyse des sentiments sur les avis des clients dans le E-Commerce
- Nouveau
Manuel de Modélisation Stochastique : Formalismes & Applications
- Nouveau
La reconnaissance d’objets 3D basée sur l’apprentissage artificiel
- Nouveau
Mise en place d'une base de données pour les inscriptions des écoliers
- Nouveau
Etude de faisabilité de la mise en place du Data center à l'U.KA.
- Nouveau
Quel Avenir Pour Les Systèmes d'Information De Gestion Traditionnels ?
- Nouveau