This paper develops a visual modeling environment, DEVShop, which provides a graphical user interface for modeling of discrete event systems based on the DEVS formalism.
In the DEVS formalism, a system is represented in a hierarchical,modular form. While coupled DEVS models lend themselves to be graphically represented as block diagrams, a grphical representation of atomic DEVS models is still missing. This paper proposes atomic DEVSGraph which enables atomic DEVS model to be represented in graphical form.
The DEVShop consists of project manager which enables us to construct system decomposition tree , atomic model editor, coupled model editor and code generator. Atomic model editor based on DEVSGraph provides facilities for modeling atomic DEVS models in a graphical way. Coupled model editor enables modelers to develop coupled models by specifying a list of models, a coupling scheme and so on. Code generator generates a DEVS specification language code for logical analysis or a DEVSim++ code for performance analysis.
The paper also propose medeling methods using the DEVShop. Modeling methods take two steps, one for logical analysis and the other for performace analysis. To demonstrate the proposed modeling methods, verification and performance analysis of a communication protocol is exemplified.
