| Titre : | Multi-formal tools for specifying and verifying mobile enterprises |
| Auteurs : | Faiza Bouchoul ; Mohammed Mostéfai, Directeur de thèse |
| Type de document : | texte imprimé |
| Editeur : | Sétif : Universite ferhat abbas faculté des sciences de l’ingénieur département d’informatique, 2010 |
| ISBN/ISSN/EAN : | TS4/7960 |
| Format : | 1 vol. (161 f.) / ill. |
| Note générale : | Index |
| Langues: | Français |
| Catégories : | |
| Résumé : |
Le Travail de cette thèse s’inscrit dans le cadre des activités de recherche du Laboratoire d’Automatique de l’Université de Sétif (L.A.S). Il traite de la spécification et de la vérification des systèmes de production "entreprises" en général et des entreprises mobiles en particulier. La Contribution majeure de cette thèse apparaît dans l’étude de l’intégration de la mobilité dans les entreprises. En effet, une architecture des entreprises mobiles est proposée et comporte une couche WebServices et une couche multi-agents combinant des agents statiques et des agents mobiles. Cette contribution est organisée en deux phases : la première traite de la modélisation des entreprises moyennant les WorkFlow. Le modèle étant validé analytiquement par une analyse de performances. La seconde consiste à explorer et exploiter quelques outils formels pour la spécification des entreprises mobiles à savoir : les REACTN ets pour la spécification et la vérification de la couche Web-Services et MAUDE pour la spécification et la vérification du comportement des agents mobiles. |
Exemplaires (1)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| TS4/7960 | Thèse | Bibliothèque centrale | Disponible |
Accueil
