Method and Implementation for Consistency Verification of DEVS Model against User Requirement

In this study, we propose a new method to assist the consistency verification of a discrete event simulation model, specified by DEVS formalism, against user requirement specification, expressed in natural language. Our approach is composed of successive steps of consistency verification. The first is the validity check of UML diagrams against the user requirement specification. The second step is verification of event sequences between an UML diagram and a DEVS model. The proposed verification method has been implemented in an automated tool named VERIDEVS. Inputs to VERIDEVS are UML diagrams and DEVS Graph, and outputs are verification result tables. VERIDEVS consists of a drawing element parser, activation composer, state composer, sequence generator, and sequence comparator.