Browsing by Author "Chaboub, Halim"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Transformation d'une ontologie OWL-S vers un réseau de Pétri
    (Université Oum El Bouaghi, 2012) Chaboub, Halim; Hamri, Salah
    La 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.