Thèses de Doctorat en Sciences

1


Thèse de : Doctorat en Sciences 
Titre : Un formalisme pour l'alignement des ontologies multipoints de vue basé sur une extension de la logique de description 
Auteur : Djakhdjakha Lynda 
Directeurs : Pr. Boufaida. Z 
Editeur : Université Constantine2 Abdelhamid Mehri - Constantine 
Année de publication : 2014 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : Alignement d’ontologies, Ontologies multipoints de vue, logiques de description, mécanisme d’estampillage, format de représentation des alignements. 
Mots Clés (Ar) : الويب الدلالي، تمثيل الوصلات، المحاذاة بين الأنطولوجيات، الانطولوجيا متعددة وجهات النظر، المنطق الوصفي 
Keywords : ontology alignment; multi-viewpoints ontologies, description logics, stamping mechanism, semantic correspondences; alignments representation. 
En ligne : Un formalisme pour l'alignement des ontologies multipoints de vue basé sur une extension de la logique de description



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



Thèse de : Doctorat en Sciences 
Titre : Un Cadre Formel pour La Modélisation et L’analyse Des Agents Mobiles 
Auteur : DEHIMI NARDJESS TISSILIA 
Directeurs : Pr Chaoui Allaoua - Univeristé Constantine2 
Editeur : Université Constantine2 - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : Agent Mobile, Labeled Reconfigurable Nets, MDA, Grammaires de Graphe, R-Maude, outil ATOM3 
Mots Clés (Ar) : وكيل محمول، LRN ، MDA ، قواعد الرسم البياني، Maude – R، أداة ATOM3 . 
Keywords : Mobile Agent, Labeled Reconfigurable Nets, MDA, Graph Grammars, R-Maude, ATOM3 tool 
En ligne : Un Cadre Formel pour La Modélisation et L’analyse Des Agents Mobiles


Scroll Up