Déclencheurs

Création de déclencheurs

Les déclencheurs sont soit créés en tant qu'instance d'un élément Signal, soit en tant qu'événement anonyme. Les déclencheurs sont connectés aux transitions dans la boîte de dialogue 'Transition Propriétés ' comme indiqué ici. Dans cet exemple, un déclencheur nommé 'Pushdown' a été défini sur la base du signal 'Signal_Pushdown'.

• L'omission des détails de Type et Spécification entraîne un simple déclencheur anonyme.
• Si des paramètres sont nécessaires, ils sont définis sur le signal et doivent être fournis au moment où l'événement se déclenche

Un déclencheur apparaîtra dans l'onglet 'Projet' de la fenêtre du Navigateur , comme illustré ici :

Utilisation des déclencheurs

Les déclencheurs sont déployés en les connectant à des transitions, comme dans l'exemple précédent, et sont utilisés pendant la simulation en les « déclenchant » dans la simulation en cours selon les besoins.

Lors de l'utilisation de déclencheurs, ces points doivent être pris en compte :

• Une transition "déclenchée" ne peut pas avoir lieu tant que son déclencheur effectif n'est pas signalé ou déclenché
• Lorsqu'un déclencheur est reçu, il active toutes les transitions en attente en cours qui dépendent de ce déclencheur (c'est-à-dire que le déclencheur est diffusé)
• Les déclencheurs sont évalués sur toutes les transitions pour tous les parents d'un état enfant actuel ; cela permet à un état parent de quitter tous les états enfants si nécessaire
• Une fois utilisé dans une simulation, un déclencheur est consommé et doit être relancé si nécessaire à nouveau
• Ensembles de déclencheurs peuvent être enregistrés et déclenchés manuellement ou automatiquement pour faciliter la simulation de modèle automatisée sous différents modèles d'événements

Déclencheurs de tir

Lancer des déclencheurs signifie signaler ou activer un déclencheur dans la simulation en cours. Cela pourrait activer zéro, une ou plusieurs transitions en attente en fonction de l'état et de la simultanéité de la Simulation en cours.

Les déclencheurs de tir peuvent être obtenus de plusieurs façons. La plus efficace est la liste ' Déclencheurs en Attente '.

Au cours de la Simulation du modèle, si le simulateur se trouve dans une impasse en raison de l'indisponibilité des déclencheurs requis (déclenchés), la liste de tous les déclencheurs candidats possibles s'affiche dans la liste ' Déclencheurs en Attente ' de la fenêtre Événements de Simulation .

Double-cliquer sur un déclencheur dans cette liste le déclenchera dans la Simulation . Voici d'autres façons de déclencher un déclencheur :

1. Double-cliquez sur un déclencheur non signalé dans la fenêtre Événements .
   
   Vous pouvez également utiliser le menu contextuel sur ces événements pour signaler un événement non signalé ou pour signaler à nouveau un événement qui a déjà été déclenché précédemment.
2. Utilisez le menu contextuel de la transition à déclencher et sélectionnez l'option de menu "Signal Trigger in Simulation ".