University Sétif 1 FERHAT ABBAS Faculty of Sciences
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Génie Logiciel model-cheking logique temporelle patterns de spécification ontologie'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Titre : Assistant de spécification de propriétés a base d’ontologie Type de document : texte imprimé Auteurs : MEGUELATI ,Khadidja ; BOUAMARI,A, Directeur de thèse Editeur : Setif:UFA Année de publication : 2016 Importance : 1 vol (91f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie Logiciel
model-cheking
logique temporelle
patterns de spécification
ontologieIndex. décimale : 004 Informatique Résumé : Résumé
La spécification de propriétés à vérifier dans le cadre d’une vérification formelle par
model-checking est souvent difficile et nécessite des compétences spécialisées. Ce mémoire
présente une solution d'assistance basée sur les patterns de spécification et les ontologies et
propose une conception détaillée d’une solution logicielle de spécification assistée de
propriétés CTL. Le mémoire discute également les détails de réalisation de l’outil développé
Property-Specifier et les résultats obtenus.Note de contenu : Table des matières
Introduction générale ............................................................................................... 1
Partie I : Etat de l'art
Chapitre 1 Model-Checking
1.1 Introduction................................................................................................. 3
1.2 Vérification formelle................................................................................... 3
1.3 Model-Checking ........................................................................................... 4
1.3.1 Principes du Model-Checking.............................................................. 4
1.3.2 Outils du Model-Checking ................................................................... 5
1.3.3 Problèmes du Model-Checking............................................................ 5
1.4 Techniques de spécification........................................................................ 5
1.4.1 Logiques propositionnelles.................................................................. 6
1.4.2 Logiques temporelles ........................................................................... 6
1.4.3 Logiques temporelles temporisées...................................................... 6
1.5 Logique temporelle CTL............................................................................ 7
1.5.1 Le choix de CTL................................................................................... 7
1.5.2 Constituants de CTL............................................................................ 7
1.5.3 Classes de propriétés............................................................................ 9
1.5.4 Syntaxe de CTL.................................................................................... 9
1.5.5 Sémantique de CTL ............................................................................. 9
1.6 Conclusion ................................................................................................. 10
Chapitre 2 Spécification Assistée .................................Erreur ! Signet non défini.
2.1 Introduction............................................................................................... 11
2.2 Patterns de spécification........................................................................... 12
2.2.1 Classification des patterns................................................................. 13
2.2.2 Scopes (Portées des patterns)............................................................ 14
2.3 Travaux basés sur les patterns de spécification ..................................... 14
2.3.1 Support du choix des patterns .......................................................... 14
2.3.2 Nouvelles classifications des patterns............................................... 17
2.3.3 Autre assistants................................................................................... 19
2.3.4 Bilan sur l’utilisation des patterns.................................................... 21
2.4 Utilisations des ontologies dans la spécification des exigences ............. 22
2.4.1 Bilan sur l’utilisation des ontologies................................................. 26
2.5 Conclusion ................................................................................................. 27
Chapitre 3 Ontologies............................................................................................. 28
3.1 Introduction............................................................................................... 28
3.2 Apparition des ontologies......................................................................... 29
3.3 Définitions.................................................................................................. 29
3.4 Composants d’une ontologie .................................................................... 30
2.4.1 Concepts.............................................................................................. 30
2.4.2 Relations.............................................................................................. 31
2.4.3 Axiomes et instances .......................................................................... 32
3.5 Dimensions de classification des ontologies............................................ 33
2.5.1 Typologie selon l’objet de conceptualisation ................................... 33
2.5.2 Typologie selon le niveau de détails de l’ontologie.......................... 35
2.5.3 Typologie selon le niveau de complétude ......................................... 36
2.5.4 Typologie selon le niveau du formalisme ......................................... 36
3.6 OWL : le standard du Web sémantique ................................................. 37
3.7 Construction d’une ontologie................................................................... 38
2.7.1 Étapes de construction d’une ontologie ........................................... 38
2.7.2 Principes de construction d’ontologies............................................. 39
2.7.3 Environnements et outils de modélisation ....................................... 40
3.8 Conclusion ................................................................................................. 40
Partie II : Contribution
Chapitre 4 Spécification CTL basée Ontologie ................................................... 41
4.1 Introduction............................................................................................... 41
4.2 Proposition................................................................................................. 41
4.3 Méthode de construction de l’ontologie .................................................. 42
4.4 Etapes de développement ......................................................................... 44
4.4.1 Déterminer le domaine et la portée de l’ontologie .......................... 44
4.4.2 Envisager une éventuelle réutilisation des ontologies existantes... 45
4.4.3 Énumérer les termes importants dans l’ontologie .......................... 45
4.4.4 Définir les classes et la hiérarchie des classes.................................. 48
4.4.5 Définir les propriétés des classes (les attributs)............................... 49
4.4.6 Définir les facettes des attributs........................................................ 51
4.4.7 Réaliser les instances.......................................................................... 52
4.5 Discussion................................................................................................... 52
4.6 Conclusion ................................................................................................. 53
Chapitre 5 Analyse et Conception......................................................................... 54
5.1 Introduction............................................................................................... 54
5.2 Cahier de charges...................................................................................... 54
5.2.1 Introduction ........................................................................................ 54
5.2.2 Description générale........................................................................... 55
5.2.3 Spécification des besoins.................................................................... 55
5.3 Modélisation .............................................................................................. 56
5.3.1 Modélisation des fonctionnalités....................................................... 56
5.3.2 Modélisation de la dynamique .......................................................... 60
5.3.3 Modélisation de la structure.............................................................. 65
5.3.4 Modélisation des interactions............................................................ 66
5.4 Conclusion ................................................................................................. 71
Chapitre 6 Implémentation ................................................................................... 72
6.1 Introduction............................................................................................... 72
6.2 Langages et outils...................................................................................... 72
6.2.1 Java...................................................................................................... 72
6.2.2 SQWRL............................................................................................... 73
6.2.3 Jena...................................................................................................... 73
6.2.4 Eclipse.................................................................................................. 74
6.2.5 Protégé................................................................................................. 74
6.3 Implémentation de l’ontologie ................................................................. 75
6.3.1 Édition de l’ontologie ......................................................................... 75
6.3.2 Création des concepts ........................................................................ 75
6.3.3 Création des relations........................................................................ 76
6.3.4 Création d’attributs........................................................................... 77
6.3.5 Réalisation d’instances....................................................................... 77
6.3.6 Génération du graphe ........................................................................ 78
6.3.7 Génération du code OWL ................................................................. 79
6.4 Description de « Property-Specifier » ...................................................... 79
6.4.1 Vue principale..................................................................................... 80
6.4.2 Créer un nouveau projet ................................................................... 81
6.4.3 Ouvrir un projet existant................................................................... 82
6.4.4 Sauvegarder un projet....................................................................... 82
6.4.5 Gérer une propriété ........................................................................... 83
6.4.6 Ontology Based Assistant .................................................................. 83
6.4.7 Patterns Based Assistant.................................................................... 85
6.4.8 Help...................................................................................................... 88
6.5 Conclusion ................................................................................................. 88
Conclusion générale................................................................................................ 89Côte titre : MAI/0101 En ligne : https://drive.google.com/file/d/1QMDUS_FQ8jRmAjA-EmbQAA_4LzMnraum/view?usp=shari [...] Format de la ressource électronique : Assistant de spécification de propriétés a base d’ontologie [texte imprimé] / MEGUELATI ,Khadidja ; BOUAMARI,A, Directeur de thèse . - [S.l.] : Setif:UFA, 2016 . - 1 vol (91f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie Logiciel
model-cheking
logique temporelle
patterns de spécification
ontologieIndex. décimale : 004 Informatique Résumé : Résumé
La spécification de propriétés à vérifier dans le cadre d’une vérification formelle par
model-checking est souvent difficile et nécessite des compétences spécialisées. Ce mémoire
présente une solution d'assistance basée sur les patterns de spécification et les ontologies et
propose une conception détaillée d’une solution logicielle de spécification assistée de
propriétés CTL. Le mémoire discute également les détails de réalisation de l’outil développé
Property-Specifier et les résultats obtenus.Note de contenu : Table des matières
Introduction générale ............................................................................................... 1
Partie I : Etat de l'art
Chapitre 1 Model-Checking
1.1 Introduction................................................................................................. 3
1.2 Vérification formelle................................................................................... 3
1.3 Model-Checking ........................................................................................... 4
1.3.1 Principes du Model-Checking.............................................................. 4
1.3.2 Outils du Model-Checking ................................................................... 5
1.3.3 Problèmes du Model-Checking............................................................ 5
1.4 Techniques de spécification........................................................................ 5
1.4.1 Logiques propositionnelles.................................................................. 6
1.4.2 Logiques temporelles ........................................................................... 6
1.4.3 Logiques temporelles temporisées...................................................... 6
1.5 Logique temporelle CTL............................................................................ 7
1.5.1 Le choix de CTL................................................................................... 7
1.5.2 Constituants de CTL............................................................................ 7
1.5.3 Classes de propriétés............................................................................ 9
1.5.4 Syntaxe de CTL.................................................................................... 9
1.5.5 Sémantique de CTL ............................................................................. 9
1.6 Conclusion ................................................................................................. 10
Chapitre 2 Spécification Assistée .................................Erreur ! Signet non défini.
2.1 Introduction............................................................................................... 11
2.2 Patterns de spécification........................................................................... 12
2.2.1 Classification des patterns................................................................. 13
2.2.2 Scopes (Portées des patterns)............................................................ 14
2.3 Travaux basés sur les patterns de spécification ..................................... 14
2.3.1 Support du choix des patterns .......................................................... 14
2.3.2 Nouvelles classifications des patterns............................................... 17
2.3.3 Autre assistants................................................................................... 19
2.3.4 Bilan sur l’utilisation des patterns.................................................... 21
2.4 Utilisations des ontologies dans la spécification des exigences ............. 22
2.4.1 Bilan sur l’utilisation des ontologies................................................. 26
2.5 Conclusion ................................................................................................. 27
Chapitre 3 Ontologies............................................................................................. 28
3.1 Introduction............................................................................................... 28
3.2 Apparition des ontologies......................................................................... 29
3.3 Définitions.................................................................................................. 29
3.4 Composants d’une ontologie .................................................................... 30
2.4.1 Concepts.............................................................................................. 30
2.4.2 Relations.............................................................................................. 31
2.4.3 Axiomes et instances .......................................................................... 32
3.5 Dimensions de classification des ontologies............................................ 33
2.5.1 Typologie selon l’objet de conceptualisation ................................... 33
2.5.2 Typologie selon le niveau de détails de l’ontologie.......................... 35
2.5.3 Typologie selon le niveau de complétude ......................................... 36
2.5.4 Typologie selon le niveau du formalisme ......................................... 36
3.6 OWL : le standard du Web sémantique ................................................. 37
3.7 Construction d’une ontologie................................................................... 38
2.7.1 Étapes de construction d’une ontologie ........................................... 38
2.7.2 Principes de construction d’ontologies............................................. 39
2.7.3 Environnements et outils de modélisation ....................................... 40
3.8 Conclusion ................................................................................................. 40
Partie II : Contribution
Chapitre 4 Spécification CTL basée Ontologie ................................................... 41
4.1 Introduction............................................................................................... 41
4.2 Proposition................................................................................................. 41
4.3 Méthode de construction de l’ontologie .................................................. 42
4.4 Etapes de développement ......................................................................... 44
4.4.1 Déterminer le domaine et la portée de l’ontologie .......................... 44
4.4.2 Envisager une éventuelle réutilisation des ontologies existantes... 45
4.4.3 Énumérer les termes importants dans l’ontologie .......................... 45
4.4.4 Définir les classes et la hiérarchie des classes.................................. 48
4.4.5 Définir les propriétés des classes (les attributs)............................... 49
4.4.6 Définir les facettes des attributs........................................................ 51
4.4.7 Réaliser les instances.......................................................................... 52
4.5 Discussion................................................................................................... 52
4.6 Conclusion ................................................................................................. 53
Chapitre 5 Analyse et Conception......................................................................... 54
5.1 Introduction............................................................................................... 54
5.2 Cahier de charges...................................................................................... 54
5.2.1 Introduction ........................................................................................ 54
5.2.2 Description générale........................................................................... 55
5.2.3 Spécification des besoins.................................................................... 55
5.3 Modélisation .............................................................................................. 56
5.3.1 Modélisation des fonctionnalités....................................................... 56
5.3.2 Modélisation de la dynamique .......................................................... 60
5.3.3 Modélisation de la structure.............................................................. 65
5.3.4 Modélisation des interactions............................................................ 66
5.4 Conclusion ................................................................................................. 71
Chapitre 6 Implémentation ................................................................................... 72
6.1 Introduction............................................................................................... 72
6.2 Langages et outils...................................................................................... 72
6.2.1 Java...................................................................................................... 72
6.2.2 SQWRL............................................................................................... 73
6.2.3 Jena...................................................................................................... 73
6.2.4 Eclipse.................................................................................................. 74
6.2.5 Protégé................................................................................................. 74
6.3 Implémentation de l’ontologie ................................................................. 75
6.3.1 Édition de l’ontologie ......................................................................... 75
6.3.2 Création des concepts ........................................................................ 75
6.3.3 Création des relations........................................................................ 76
6.3.4 Création d’attributs........................................................................... 77
6.3.5 Réalisation d’instances....................................................................... 77
6.3.6 Génération du graphe ........................................................................ 78
6.3.7 Génération du code OWL ................................................................. 79
6.4 Description de « Property-Specifier » ...................................................... 79
6.4.1 Vue principale..................................................................................... 80
6.4.2 Créer un nouveau projet ................................................................... 81
6.4.3 Ouvrir un projet existant................................................................... 82
6.4.4 Sauvegarder un projet....................................................................... 82
6.4.5 Gérer une propriété ........................................................................... 83
6.4.6 Ontology Based Assistant .................................................................. 83
6.4.7 Patterns Based Assistant.................................................................... 85
6.4.8 Help...................................................................................................... 88
6.5 Conclusion ................................................................................................. 88
Conclusion générale................................................................................................ 89Côte titre : MAI/0101 En ligne : https://drive.google.com/file/d/1QMDUS_FQ8jRmAjA-EmbQAA_4LzMnraum/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0101 MAI/0101 Mémoire Bibliothéque des sciences Français Disponible
Disponible