Génération de modèles comportemementaux des applications des applications réparties

Rabea Boulifa 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Dans notre travail nous nous sommes intéressés à la vérification
automatique de propriétés comportementales d'applications réparties par des
méthodes fondées sur les
modèles. En particulier, nous étudions le problème de
génération de modèles
à partir de programmes Java répartis et représentés par des systèmes de transitions
communiquants.

Pour ce faire, nous définissons une sémantique comportementale de programmes ProActive, une
librairie Java pour la programmation parallèle, distribuée et
concurrente. À partir de cette sémantique nous construisons des modèles
comportementaux pour
des abstractions finies d'applications écrites dans ce langage. Ces
modèles sont basés sur la sémantique des algèbres de
processus et peuvent donc être construits de manière compositionnelle et
hiérarchique.
La construction de modèles finis n'est pas toujours possible. Pour
pouvoir traiter des problèmes prenant en compte des données, ainsi que
des problèmes concernant des topologies non bornées d'objets
répartis, nous définissons une nouvelle notion de modèleles
hiérarchiques, à base de systèmes de transitions paramétrés et de
réseau de synchronisation paramétrés. Moyennant des abstractions ces modèles permettent de
spécifier des applications possiblement infinies par des représentations
expressives, finies, et plus proche de la structure du code.
Par ailleurs, nous définissons un système de règles sémantiques
permettant de générer automatiquement ces modèles (finis ou
paramétrés) à partir d'une forme intermédiaire, obtenue par analyse statique,
des programmes analysés.
Les modèles ainsi générés sont exploitables directement ou après
instantiation par des outils de vérification.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2004. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00008927
Contributeur : Rabea Boulifa <>
Soumis le : vendredi 1 avril 2005 - 19:34:50
Dernière modification le : mercredi 1 juin 2016 - 23:31:23
Document(s) archivé(s) le : vendredi 2 avril 2010 - 21:55:53

Identifiants

  • HAL Id : tel-00008927, version 1

Collections

Citation

Rabea Boulifa. Génération de modèles comportemementaux des applications des applications réparties. Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2004. Français. 〈tel-00008927〉

Partager

Métriques

Consultations de
la notice

202

Téléchargements du document

200