Browsing by Author "Hamri, Salah"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Transformation d'une ontologie OWL-S vers un réseau de Pétri(Université Oum El Bouaghi, 2012) Chaboub, Halim; Hamri, SalahLa transformation pour la vérification est une tache très importante dans le processus de développement des logiciels, les réseaux de Pétri sont comme l’outil le plus fort à cette transformation de l’ontologie OWL-S. Pour cela nous avons présenté une méthode totalement automatique pour générer un modèle de RDP à partir une ontologie OWL-S en utilise l’approche méta modélisation. Ces modèles OWL-S sont transformé automatiquement via ATL au modèles RDPs et après en des spécifications dans la syntaxe de l’analyseur INA afin de vérifier les propriétés des modèles de réseau de Pétri.Item Une Approche basée Web services pour la coordination des services métiers(Université De Larbi Ben M’hidi Oum EL Bouaghi, 2022) Gharbi, Abd Elkarim; Hamri, SalahLes services Web sont des programmes autonomes, auto- Descriptifs, des applications modulaires qui peuvent être publiées, localisées et invoquées à travers le Web. Notre travail utiliser la technologie des Web services basée sur l'architecture orientée services pour implémenter deux services métiers (deux Web services). Le premier correspond à un service de commande d'achats (1er fournisseur de services) et le deuxième (2ème fournisseur de services : sous-traitant) correspond à un service de livraison. Il s'agit au fait, d'intégrer ces deux Web services (services métiers) et de les coordonner pour répondre aux besoins d'un client dont la requête est de commander l'achat d'un produit, qui n'est pas totalement satisfaite par le premier Web service (1er fournisseur de services), et qu'il faut recourir au deuxième Web service (sous-traitant), pour la satisfaire.