Une approche formelle pour les applications web 2+

Name: Une approche formelle pour les applications web 2+
Brand: Meftah, Mohammed Charaf Eddine
SKU: NW-9783639758061
Price: 55.9 EUR
Availability: InStock

Audience : Adulte - Grand Public

Le Pitch

Littérature française

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 à ces limitations, nous proposons une approche complète qui propose une formalisation de processus de développement des applications web 2(+) tenant compte des 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 choisis (WS-BPEL, JAVA), de telle sorte que la dernière phase de codage devienne intuitive. Afficher moinsAfficher plus

Détails du livre

Titre complet

Une approche formelle pour les applications web 2+: Web 2+ : Etat de l’art Etude comparative Approche proposée Etude de cas

Auteur

Editeur

Format

Poche

Publication

01 novembre 2018

Audience

Adulte - Grand Public

Pages

148

Taille

22 x 15 x 0.9 cm

Poids

228

ISBN-13

9783639758061

Meftah, Mohammed Charaf Eddine

Une approche formelle pour les applications web 2+

55,90 €

Le Pitch

Littérature française

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 à ces limitations, nous proposons une approche complète qui propose une formalisation de processus de développement des applications web 2(+) tenant compte des 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 choisis (WS-BPEL, JAVA), de telle sorte que la dernière phase de codage devienne intuitive. Afficher moinsAfficher plus