Des diagrammes UML 2.0 ver les diagrammes orientés aspect a l’aide de transformation de graphes
9 avril 2015
Un formalisme pour l’alignement des ontologies multipoints de vue basé sur une extension de la logique de description
9 avril 2015
Toute les actualités
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