Transformation d'une ontologie OWL-S vers un réseau de Pétri

Simple item page
dc.contributor.authorChaboub, Halim
dc.contributor.authorHamri, Salah
dc.date.accessioned2018-12-04T05:08:14Z
dc.date.available2018-12-04T05:08:14Z
dc.date.issued2012
dc.description.abstractLa 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.ar
dc.identifier.urihttp://hdl.handle.net/123456789/6776
dc.language.isofrar
dc.publisherUniversité Oum El Bouaghiar
dc.subjectWeb sémantiquear
dc.subjectOntologiear
dc.subjectModel driven architecturear
dc.subjectRéseau de Pétriar
dc.titleTransformation d'une ontologie OWL-S vers un réseau de Pétriar
dc.typeOtherar
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Transformation d'une ontologie OWL_S vers Un Réseau de Petri.pdf
Size:
4.36 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
قسم الإعلام الالي