Dépôt Institutionnel de l'Université Ferhat ABBAS - Sétif 1 >
Faculté des Sciences >
Département d'Informatique >
Thèses de doctorat >
Veuillez utiliser cette adresse pour citer ce document :
http://dspace.univ-setif.dz:8888/jspui/handle/123456789/30
|
Titre: | Multi-formal tools for specifying and verifying mobile enterprises |
Auteur(s): | BOUCHOUL, Faiza |
Date de publication: | 27-oct-2014 |
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èseapparaî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 contributionest organisée en
deux phases : la première traite de la modélisationdes 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 REACTNets 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. |
URI/URL: | http://dspace.univ-setif.dz:8888/jspui/handle/123456789/30 |
Collection(s) : | Thèses de doctorat
|
Fichier(s) constituant ce document :
|
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.
|