Cross-Formalism Decomposition of Devs Coupled Models

Neal J. Debuhr, Hessam S. Sarjoughian

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

Abstract

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.
Pages2142-2153
Number of pages12
ISBN (Electronic)9798350309713
DOIs
StatePublished - 2022
Event2022 Winter Simulation Conference, WSC 2022 - Guilin, China
Duration: Dec 11 2022Dec 14 2022

Publication series

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

Conference

Conference2022 Winter Simulation Conference, WSC 2022
Country/TerritoryChina
CityGuilin
Period12/11/2212/14/22

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Computer Science Applications

Fingerprint

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

Cite this