Transformation d'une ontologie OWL-S vers un réseau de Pétri
No Thumbnail Available
Date
2012
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Université Oum El Bouaghi
Abstract
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.
Description
Keywords
Web sémantique, Ontologie, Model driven architecture, Réseau de Pétri