Cross-Formalism Decomposition of Devs Coupled Models

Neal J. Debuhr, Hessam S. Sarjoughian

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.

Original languageEnglish (US)
Title of host publicationProceedings of the 2022 Winter Simulation Conference, WSC 2022
EditorsB. Feng, G. Pedrielli, Y. Peng, S. Shashaani, E. Song, C.G. Corlu, L.H. Lee, E.P. Chew, T. Roeder, P. Lendermann
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages12
ISBN (Electronic)9798350309713
StatePublished - 2022
Event2022 Winter Simulation Conference, WSC 2022 - Guilin, China
Duration: Dec 11 2022Dec 14 2022

Publication series

NameProceedings - Winter Simulation Conference
ISSN (Print)0891-7736


Conference2022 Winter Simulation Conference, WSC 2022

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Computer Science Applications


Dive into the research topics of 'Cross-Formalism Decomposition of Devs Coupled Models'. Together they form a unique fingerprint.

Cite this