Model Transformation Across Devs and Event Graph Formalisms

Abstract

This paper develops a model transformation mechanism across the Discrete Event System Specification (DEVS) and Event Graph (EG) modeling formalisms. We detail this cross-formalism model transformation from methodological and software implementation perspectives. By using simple, well-defined, and automated mechanisms of cross-formalism model transformation, modelers establish a plurality of vantage points, from which to understand and communicate model behavior. Model characteristics may be clarified, emphasized, obfuscated, or hidden across these different vantage points. This paper, therefore, serves as a step toward research into better modeling that can improve soft factors such as model reasoning and collaborative model design for developing better simulations.