Déclencheurs

Création Déclencheurs

Déclencheurs sont créés soit comme une instance d'un élément Signal, soit comme un événement anonyme. Déclencheurs sont connectés aux transitions dans la dialogue « Propriétés de transition », comme illustré 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 Type et Spécification donne un simple Déclencheur anonyme.
• Si des paramètres sont nécessaires, ceux-ci 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 Navigateur , comme illustré ici :

Utilisation Déclencheurs

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 « tirant » dans la simulation en cours d'exécution selon les besoins.

Lors de l'utilisation 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 dépendant de ce déclencheur (c'est-à-dire que le déclencheur est diffusé)
• 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 réactivé si nécessaire.
• Ensembles de déclencheurs peuvent être enregistrés et déclenchés manuellement ou automatiquement pour faciliter la simulation automatisée de modèles sous différents modèles d'événements

Tir Déclencheurs

Le déclenchement déclencheurs signifie signaler ou activer un déclencheur dans la simulation en cours. Cela peut activer zéro, une ou plusieurs transitions en attente en fonction de l'état et de la concurrence de la Simulation en cours.

Le déclenchement déclencheurs peut être réalisé de plusieurs manières. La plus efficace est la liste « Déclencheurs en Attente ».

Au cours de Simulation du modèle, si le simulateur atteint une impasse en raison de déclencheurs requis non disponibles (déclenchés), la liste de tous déclencheurs candidats possibles est affichée dans la liste « Déclencheurs en Attente » de la fenêtre Événements Simulation .

Un double-clic sur un déclencheur dans cette liste le déclenchera dans la Simulation . D'autres façons de déclencher un déclencheur incluent :

1. Double-cliquez sur un déclencheur non signalé dans la fenêtre Événements .
   
   Vous pouvez également utiliser le menu contextuel de 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 requise pour tirer et sélectionnez l'option de menu 'Signal Déclencheur en Simulation '.