Design of Rule Translator for Temporal Rules Execution of BM-DEVS Model

With the increasing complexity of systems, various studies are being conducted to accurately express and solve problems. Discrete Event System Specification (DEVS), one of the simulation theories, expresses a problem as a hierarchical model. The Behavior Monitoring-DEVS (BM-DEVS) theory is an extension of DEVS. It monitors the behavior of interest by expressing it as temporal rules in the model. In BM-DEVS, the defined temporal rules need to be converted into Büchi automata and applied to the model to evaluate the behavior expressed by the rules. To achieve this, modelers need to translate temporal rules into automata and verify these. This consumes a substantial amount of time. To solve this problem, this paper proposes a method to automatically translate temporal rules into automata for rule evaluation. In this proposed method, when temporal rules are input, structuring work is performed to match the rule structure and model structure. Moreover, a more convenient modeling environment is provided to modelers through the rule expansion function.