Une approche formelle pour les applications web 2.0

MEFTAH, Mohammed Charaf Eddine (2016) Une approche formelle pour les applications web 2.0. ["eprint_fieldopt_thesis_type_phd" not defined] thesis, Université Mohamed Khider - Biskra.

[img]
Preview
Text
thèse_57_2016.pdf

Download (6MB) | Preview

Abstract

Ce travail propose une approche formelle pour le développement des applications Web 2.0 sûres. Cette approche consiste en la génération d'une implémentation de l’application à partir de spécifications formelles. On décrit préalablement l'application à l'aide de 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 étudiée ; ces phases de raffinement ont pour but de rendre les spécifications finales proches des langages d'implémentations cibles choisi (BPEL4SW, JAVA), de telle sorte que la dernière phase de codage devienne intuitive et naturelle. Généralement, le processus de raffinement est une tâche manuelle, relativement coûteuse, en particulier en phase de preuve. Grâce au caractère générique de ces règles de raffinement, un outil de raffinement assisté peut être réalisé, permettant ainsi la réduction du coût du processus de raffinement

Item Type: Thesis (["eprint_fieldopt_thesis_type_phd" not defined])
Uncontrolled Keywords: Service Web, Méthode Formelle B, Processus de Raffinement, CTT, BPEL4SW,JAVA
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie > Département d'informatique
Depositing User: Admin01 TMLBiskra
Date Deposited: 07 Jun 2016 08:04
Last Modified: 07 Jun 2016 08:04
URI: http://thesis.univ-biskra.dz/id/eprint/2501

Actions (login required)

View Item View Item