Le concepteur du modèle devrait se concentrer sur les sujets de conception de modèles les plus importants, et non passer du temps sur des détails de cohérence. Open ModelSphere fournit une technologie assistée pour assurer l'intégrité du modèle.
La vérification d'intégrité est disponible pour les modèles de processus, de données, de domaines, d'items communs ainsi que pour les bibliothèques d'opérations.
En
utilisant l'option de vérification, une nouvelle fenêtre apparaîtra
pour vous informer des erreurs de cohérence possibles et à
quel endroit ces erreurs peuvent être corrigées. Cette fonctionnalité
vous indiquera aussi les liens vers les différents objets dans la
fenêtre Explorateur et les diverses fenêtres de propriétés.
Finalement, grâce à une liste de solutions possibles inscrites
dans la fenêtre Vérification, vous pourrez appliquer les modifications
directement.
Pour utiliser la fonction Vérifier l'Intégrité :
Vous
pouvez faire les changements directement de la fenêtre; utilisez
les liens fournis (Cliquer pour changer la valeur à non nul). Vous
pouvez faire également effectuer les changements à partir
de la fenêtre de propriétés de chaque objet; utiliser
le lien .
Pour les besoins du présent exemple, des erreurs ont été ajoutées au modèle. Si vous avez suivi les étapes de Créer un modèle de données, votre modèle ne devrait pas avoir d'erreur.
Voici
la liste des règles vérifiées selon les types de modèles
et leurs concepts :
Modèle Entité-Association
Les attributs suivants ne devraient pas être nuls. Ils font partie d'une clé primaire/unique:
- Changer l'attribut pour NON NUL.
Les clés primaires ou uniques suivantes n'ont pas de colonnes ni de dépendances.
3. Entité sans attribut (Avertissement)
Les entités suivantes n'ont pas d'attributs.
4. Entité ou association sans arc (Avertissement)
Les entités ou associations suivantes n'ont pas d'arc.
5. Entité sans clé primaire ou unique (Avertissement)
Les entitées suivantes ne possèdent ni clé primaire ni clé unique.
6. Rôle avec multiplicité non définie (Erreur)
La multiplicité des rôles suivants n'est pas définie.
7. Association ternaire avec dépendance (Erreur)
Les associations suivantes ne peuvent contenir un arc avec une dépendance puisque leur dimension est plus grande que deux.
8. Association avec dépendances sur plus d’un arc (Erreur)
Les associations suivantes ont plus d'un arc avec une dépendance.
9. Association avec moins de 2 arcs (Erreur)
Les associations suivantes relient moins de deux entités.
10. Association récursive avec dépendance (Erreur)
Les associations suivantes sont récursives et contiennent un arc avec une dépendance.
11. Association possedant un attribut et un rôle 1,1 (Avertissement)
Les associations suivantes ont au moins un attribut et un rôle avec une multiplicité "Exactement 1".
12. Arc avec dépendance dont la multiplicité n’est pas 1,1 (Erreur)
Les arcs suivants ont une dépendance et la multiplicité n'est pas "Exactement 1".
13. Association binaire avec erreur sur la propriété “ navigable ” des röles (Avertissement)
Les relations binaires suivantes ont des erreurs (avertissements) de navigabilité.
- Aucun rôle n'est navigable.
- Les deux rôles sont navigables.
- Le rôle navigable a une multiplicité maximale plus grande que l'autre rôle.
14.a. Arc dont le rôle est le seul membre d’une clé et dont l’arc opposé a une multiplicité maximale différente de 1 (Erreur)
Les arcs suivants ont une dépendance sur le rôle qui est le seul membre de la clé et le rôle opposé a une multiplicité maximale différente de 1.
14.b. Arc dont le rôle n’est pas le seul membre d’une clé et dont l’arc opposé a une multiplicité maximale égale à 1 (Erreur)
Les arcs suivants ont une dépendance sur le rôle qui n'est pas le seul membre de la clé et le rôle opposé a une multiplicité maximale égale à 1.
Modèle de données et de domaines
- Changer la colonne pour NON NUL
- Changer la colonne pour NON NUL
- Changer la multiplicité du rôle de ‘exactement un’ à
‘optionnel’ ou ‘un ou plus’ à ‘plusieurs’
- Changer la colonne pour NUL
- Changer la multiplicité du rôle de ‘optionnel’ à ‘exactement
un’ ou ‘plusieurs’ à ‘un ou plus’
- Changer la multiplicité du rôle parent de ‘exactement un’
à ‘un ou plus’ ou ‘optionnel’ à ‘plusieurs’
- Ajouter l’index unique ou modifier l’index de la clé étrangère
existante à une valeur unique
- Changer la multiplicité du rôle parent de ‘un ou plus’ à
‘exactement un’ ou ‘plusieurs’ à ‘optionnel’
- Modifier l’index de la clé étrangère existante à
une valeur non unique
7. Clé étrangère - Doit avoir une colonne.
8. Clé étrangère - Les attributs Longueur, Nbr. décimales
et Domaine devraient correspondre à ceux de la clé primaire
(avertissement).
9. Index - Doit avoir un élément indexé.
10. Déclencheurs - Devrait contenir des instructions(corps) et être
lié à une colonne (avertissement).
11. Association - Ne devrait avoir qu'une seule multiplicité maximale
supérieur à 1 (avertissement).
12. Rôle - Une règle de mise à jour devrait être
spécifiée (avertissement).
13. Rôle - La multiplicité doit être définie.
14. Les domaines doivent être liés à un type de données.
Bibliothèque d'opérations
2. Les paramètres doivent être liés à un type de données.
2. Un processus devrait avoir une représentation graphique (avertissement).
3. Un processus ne devrait pas être directement lié par un flux
à un autre processus (avertissement).
4. Un processus ne devrait pas être orphelin, sans flux entrant ou sortant
(avertissement).
5. Un processus devrait avoir au moins un flux entrant (avertissement).
6. Un processus devrait avoir au moins un flux sortant (avertissement).
7. Un processus devrait avoir un nom autre que le nom par défaut (avertissement).
8. Une entité externe devrait avoir une représentation graphique
(avertissement).
9. Une entité externe ne devrait pas être directement lié
par un flux à une autre entité externe (avertissement).
10. Une entité externe ne devrait pas être orphelin, sans flux
entrant ou sortant (avertissement).
11. Une entité externe devrait avoir au moins un flux entrant (avertissement).
12. Une entité externe devrait avoir au moins un flux sortant (avertissement).
13. Une entité externe devrait avoir un nom autre que le nom par défaut
(avertissement).
14. Un dépôt devrait avoir une représentation graphique
(avertissement).
15. Un dépôt ne devrait pas être directement lié
par un flux à un autre dépôt (avertissement).
16. Un dépôt ne devrait pas être directement lié
par un flux à une entité externe (avertissement).
17. Un dépôt ne devrait pas être orphelin, sans flux entrant
ou sortant (avertissement).
18. Un dépôt devrait avoir au moins un flux entrant (avertissement).
19. Un dépôt devrait avoir au moins un flux sortant (avertissement).
20. Un dépôt devrait avoir un nom autre que le nom par défaut
(avertissement).
21. Un flux devrait avoir une condition d'émission (avertissement).
22. Un flux devrait être lié à des objets à ses
deux extrémités (avertissement).
23. Un flux devrait avoir un nom autre que le nom par défaut (avertissement).