Chaboub, HalimHamri, Salah2018-12-042018-12-042012http://hdl.handle.net/123456789/6776La 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.frWeb sémantiqueOntologieModel driven architectureRéseau de PétriOther