Illustration des principaux cas d'usage d'OntoCASE
La figure ci-contre présente les principaux cas d'usage d'OntoCASE et leur illustration sous la forme d'un vidéo-clip.
Premier pas dans OntoCASE
- Création d'un nouveau projet
- Créer un modèle MOT avec eLi
Formaliser un modèle semi-formel en ontologie
- Éditer un modèle
- Mettre les propriétés associées à l'ontologie cadre (Onto Ref Stereotype) à NON_DETERMINE
- Activer la procédure de formalisation
- Éditer l'ontologie du domaine avec TopBraid
Valider la syntaxe et la sémantique
- Choisir un modèle semi-formel préalablement formalisé
- Valider sémantiquement et éditer
- Valider syntaxiquement
- Générer un modèle semi-formel à partir de l'ontologie cadre
- Activer la routine de validation syntaxique et éditer le rapport de validation syntaxique
Désambiguïser un modèle semi-formel et valider
- Éditer un modèle non désambiguïsé
- Sélectionner l'élément du modèle à désambiguïser et attribuer la bonne propriété à l'élément
- Importation et désambiguïsation du modèle
- Reprendre la formalisation et valider syntaxiquement et sémantiquement
Vérification des instances
- Éditer un modèle semi-formel déjà formalisé
- Générer le modèle semi-formel restauré
- Produire la validation syntaxique et vérifier le bilan
- Produire un diagramme MOT (.motd) à partir du modèle MOT (.mot) restauré
- Valider le diagramme pour faire apparaître les nouvelles relations d'instanciation
- Vérifier les nouvelles instanciations
Corriger une erreur de catégorie
- Créer volontairement une erreur afin de tester le mécanisme de détection d'erreur de catégorie (procédure instancie une observable_opération)
- Formaliser
- Identifier l'erreur
- Lire le message d'erreur
- Changer la propriété associée à l'ontologie cadre
- Formaliser