• THESE

Une approche de composition de services Web à l’aide des Réseaux de Petri orientés objet


Thèse de : Doctorat en Sciences 
Titre : Une approche de composition de services Web à l’aide des Réseaux de Petri orientés objet 
Auteur : Chemaa Sofiane 
Directeurs : Pr. Allaoua Chaoui 
Editeur : Université Constantine2 Abdelhamid Mehri - Constantine 
Année de publication : 2014 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : Services web, Composition des services web, Vérification formelle, Réseaux de Petri, G-Nets, G-Net services, Algèbre de composition, Transformation de modèles, Métamodèle, PrT-Nets, Logique de réécriture, Maude, Maude LTL Model Checker 
Mots Clés (Ar) : خدمات الويب، تركيب خدمات الويب،التحقيق المنهجي،شبكات بيتري،قواعد التركيب ، تحويل النماذج، نموذج فوقي 
Keywords : Web services, Web services composition, Formal verification, Petri-Nets, G-Nets, G-Net services, Algebra, Model transformation, Meta-model, PrT-Nets, Rewriting logic, Maude, Maude LTL Model Checker 
En ligne : Une approche de composition de services Web à l’aide des Réseaux de Petri orientés objet

Scroll Up