Multi-formal Tools For Specifying And Verifying Mobile Enterprises
2014
Thèse de Doctorat
Informatique

Université Ferhat Abbas - Sétif 1

B
Bouchoul, Faiza

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.

Mots-clès:

Nos services universitaires et académiques

Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).

Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!

Comment ça marche?
Nouveau
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
Logo Université


Documents et articles similaires:


footer.description

Le Moteur de recherche des thèses, mémoires et rapports soutenus en Algérie

Doctorat - Magister - Master - Ingéniorat - Licence - PFE - Articles - Rapports


©2025 Thèses-Algérie - Tous Droits Réservés
Powered by Abysoft
contact@theses-algerie.com