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

Author

Kim, Do Hyung

Author_Institution

Agency for Defense Dev., Taejon

Volume

1

fYear

2008

fDate

17-20 Feb. 2008

Firstpage

400

Lastpage

404

Abstract

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.

Keywords

Unified Modeling Language; discrete event systems; formal specification; formal verification; DEVS model consistency verification; UML; discrete event simulation model; event sequences; natural language; user requirement specification; Collaboration; Communication standards; Discrete event simulation; Discrete event systems; Electronic mail; Mathematical model; Natural languages; Object oriented modeling; Power system modeling; Unified modeling language; Consistency verification; DEVS model; UML diagram; VERIDEVS; user requirement;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Communication Technology, 2008. ICACT 2008. 10th International Conference on

Conference_Location

Gangwon-Do

ISSN

1738-9445

Print_ISBN

978-89-5519-136-3

Type

conf

DOI

10.1109/ICACT.2008.4493787

Filename

4493787