Cross-Formalism Decomposition of Devs Coupled Models

This paper proposes a cross-formalism model decomposition process such that Discrete Event System Specification (DEVS) coupled models can be automatically transformed to event graphs. We approach this process from both methodological and software implementation vantage points. A plurality of system models, from multiple modeling formalisms, may improve simulation project soft factors like collaborative model design and shared system understanding, as well as technical advantages like improved model portability. While additional research is needed to better understand the value of having multiple models, when one might otherwise suffice, well-defined and automated processes for cross-formalism modeling should facilitate the realization of this value. The choice of source and target modeling formalisms reflects the interest of the authors in investigating the role of hierarchy in these cross-formalism simulation problems and processes. Hierarchical modeling has significant overlap in technical and non-technical benefits, so it is an interesting concept to consider alongside cross-formalism modeling.