MODELING METHOD FOR DISCRETE EVENT SYSTEM USING EVENT FLOW CHART

• Main Author: RYU, MIN-SOO
• Format: Patent
• Language: English; French
• Published: 03.01.2002
• Edition: 7
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

Method for modeling a Discrete Event System using event flow chart, which can completely describe the Discrete Event System at ease only by describing event flow without using the concept of state of the Discrete Event System. The method for modeling a Dicrete Event System includes the steps of: a) receiving the user-defined requirement and specification of a Discrete Event System; b) extracting events and action from the user-defined requirement and specification and storing the events and action; c) generating a tree-type data structure including start node; d) searching the stored events to determine existence of allowable events from the event represented by a leaf node, which quits the generatoin of the tree-type data structure when there is no allowable event; e) when there is the allowable event in the stored events, generating a child node of the leaf node, the child node representing the allowable event; and f) iterating the step of searching and the step of generating a child node for all the leaf nodes of the tree-type data structure. La présente invention concerne un procédé permettant de modéliser un système d'événements discrets dans lequel est utilisé un diagramme de flux des événements, ce dernier pouvant décrire entièrement le système de flux d'événements simplement et facilement au moyen de la description du flux des événements sans employer le concept d'état du système d'événements discrets. Le procédé de modélisation d'un système d'événements discrets comprend les étapes suivantes: a) la réception des exigences et des caractéristiques définies par l'utilisateur relatives à un système d'événements discrets; b) l'extraction des événements et de l'action des exigences et des caractéristiques définies par l'utilisateur et le stockage des événements et de l'action; c) la génération d'une structure de données de type arborescent comprenant un noeud de départ; d) la recherche des événements stockés pour déterminer l'existence d'événements admissibles à partir de l'événement représenté par un noeud feuille, qui abandonne la génération de la structure de données de type arborescent lorsqu'il n'existe pas d'événement admissible; e) la génération, lorsque l'événement admissible existe parmi les événements stockés, d'un noeud fils sur le noeud feuille, le noeud fils représentant l'événement admissible; et f) l'itération de l'étape de recherche et de l'étape de génération d'un noeud fils pour tous les noeuds feuilles de la structure de données de type arborescent.