Cette procédure décrit l'exécution d'une simulation d'assemblage dynamique.
L'assistant de simulation d'assemblage dynamique est accessible par le menu Création ; il vous permet de spécifier ce qui suit :
- Projet Fabric
- Espace de nom
- Description du libellé (facultatif) - Cette zone vous permet de décrire votre simulation et ce qu'elle effectue.
- Composant d'assemblage dynamique (CAD) - Sélectionnable à partir d'une liste de tous les CAD visibles.
- Il existe également une entrée spécifique au concentrateur Fabric. La spécification de contexte qui sera appliquée à la nouvelle simulation est soit le contexte de concentrateur Fabric si ce dernier a été sélectionnée pour le CAD, soit la spécification de contexte associé au CAD sélectionné. Vous pouvez afficher et modifier un CAD à l'aide de l'éditeur CAD.
Quatre opérations de simulation sont prise en charge actuellement :
- Générer le contexte de la règle
- Générer le contexte de la règle de sélection
- Rechercher des candidats
- Sélectionner un noeud final
Vues Détails
La vue Détails comprend un onglet Général et un onglet Erreur. Toutes les vues de détail affichent le nom du CAD et de l'opération en haut à gauche. L'onglet Erreurs répertorie toutes les erreurs qui se sont produites pendant l'opération.
Les vues détaillées prennent en charge les opérations suivantes :
- Règle fusionnée - Cette opération vous permet de voir de quelle règle provient chaque assertion et ses valeurs correspondantes. En cliquant sur le lien de la règle, vous ouvrez l'éditeur de règles associé. En cliquant sur Type d'assertion, vous ouvrez l'éditeur des types d'assertion.
- Rechercher des candidats - Cette opération utilise trois onglet : Noeuds finaux candidats,
Candidats rejetés et Erreurs.
- Noeuds finaux candidats affiche les noeuds finaux concernés par la règle de l'opération précédente et le niveau. En cliquant sur le noeud final, vous ouvrez l'éditeur de noeuds finaux.
- Noeuds finaux rejetés contient tous les noeuds finaux qui n'ont pas été retenus et la cause du refus. En cliquant sur le noeud final, vous ouvrez l'éditeur correspondant.
- Sélectionner un noeud final. Si un noeud final a été sélectionné, il s'affiche dans un onglet distinct. Vous pouvez alors cliquer sur le noeud final pour ouvrir son éditeur. L'onglet Règle propagée contient une vue de la règle propagée ; sa présentation est similaire à celle de l'onglet Règle composite.
- Candidats rejetés - Répertorie tous les candidats potentiels qui n'ont pas été sélectionnés.
Vous trouverez ci-après une description de chaque onglet, par opération.
- Générer le contexte de la règle
- Général – Description générale de cette opération
- Erreurs
- Générer la règle de sélection
- Règle composite – Contient la liste de toutes les assertions utilisées dans la simulation ainsi que l'assertion à l'origine de l'assertion et les valeurs utilisées pendant la simulation.
- Erreurs
- Rechercher des candidats
- Noeuds finaux candidats – Table des noeuds finaux qui répondent aux critères de la règle de sélection générée ainsi que de leur niveau. Le niveau est un entier commençant à zéro. Les noeuds finaux d'une valeur de niveau plus bas sont sélectionnés. Les noeuds finaux de même valeur de niveau s'exécuteront de façon circulaire.
- Candidats rejetés – Noeuds finaux qui peuvent répondre à la demande mais qui ont été rejetés sur la base de la règle de sélection. Pour votre simulation, il y aura des noeuds finaux qui prennent en charge l'interface spécifiée. Un noeud final peut être rejetés pendant cette phase pour plusieurs raisons, notamment celles-ci : Type d'adresse non prise en charge, Filtré par règle de sélection, Filtré par exigence de noeud final.
- Erreurs
- Sélectionner un noeud final
- Noeud final sélectionné – Cet onglet ne s'affiche que si un noeud final a été sélectionné et qu'aucune erreur ne s'est produite pendant cette opération. Il affiche un lien au noeud final sélectionné.
- Règle propagée – Cet onglet montre la règle qui serait propagée sur le noeud final. Cette configuration se fait à l'aide de l'assertion Propager la règle.
Cette assertion déclare qu'un noeud final doit recevoir un sous-ensemble spécifique ou toute la règle de sélection. Ce résultat vous laisse voir quelles données de la règle sont envoyées sur votre noeud final.
- Candidats rejetés – Affiche une liste des noeuds finaux qui n'ont pas été sélectionnés et la raison de cette non sélection.
- Erreurs
Pour exécuter une simulation d'assemblage dynamique