skip to main content
10.1145/3312662.3312684acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicmssConference Proceedingsconference-collections
research-article

An Object Class Interaction Graph Modeling Method That Supports Parallel Discrete Event Simulation

Published: 12 January 2019 Publication History

Abstract

Parallel Discrete Event simulation (PDEs) is an important technology for studying large-scale complex systems[1]. And there are some problems in the present PDEs modeling, such as poor intuitiveness, low efficiency, difficulty in expansion and reuse, insufficient support of modeling environment for model checking, difficulty in model checking and so on. For these problems, a parallel discrete event simulation modeling method, named Object Class Interaction Graph(OCIG), based on basic event graph and object-oriented thinking is proposed. It has the natural and simple advantages of event graph modeling for discrete event simulation, and it can well meet the requirements of scalable, easy assembly, and layered parallelism for parallel discrete event simulation applications. The article also uses the set theory to formally define it, laying the foundation for the subsequent formal checking of the model [2].

References

[1]
Yao Yiping, Zhang Yingxing. Solution for Analytic Simulation Based on Parallel Processing{J}.Journal of System Simulation. 2008, 20(24):6617--6621.
[2]
Clarke EM, Emerson EA, Sifakis J. Model Checking: Algorithmic Verification and Debugging {J}. Communications of the ACM, 2009, 52(11): 75--84.
[3]
Savage EL, Schruben LW, Yücesan E. On the Generality of Event-Graph Models{J}. INFORMS Journal on Computing. 2005, 17(1): 3--9.
[4]
Buss A H. Basic Event Graph Modeling {J}. Simulation News Europe. 2001, 31(1):1--6.
[5]
K.S. Perumalla. μsik-a micro-kernel for parallel/distributed simulation systems {C}. Proc. of the 19th Workshop on Principles of Advanced and Distributed Simulation(PADS'05). Monterey, USA: IEEE computer society, 2005: 59--68.
[6]
SCHRUBEN L. Simulation Modeling with Event Graphs{J}. Communications of the ACM, 1983, 26(11): 957--963.
[7]
Zhu Feng. Graphical Developing Technology for Parallel Discrete Event Simulation {D}. National University of Defense Technology, ChangSha, 2015.
[8]
Buss A H, Sanchez P J. Building Complex Models with LEGOS (Listener Event Graph Objects){C{//Winter Simulation Conference. San Diego, USA: IEEE Computer Society, 2002:732--737.
[9]
Feng T H, Lee E A, Schruben L W Ptera. An Event-oriented Model of Computation{R}. Berkeley, USA: University of California, Tech. Rep.: UCB/EECS-2010-40, 2010.
[10]
YH-SUPE 2.0 Manual. Computer Science and Technology School of National University of Defense Technology, 2010.

Cited By

View all
  • (2020)MEMPHA: Model of Exascale Message-Passing Programs on Heterogeneous ArchitecturesIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2020.299586731:11(2570-2581)Online publication date: 1-Nov-2020

Index Terms

  1. An Object Class Interaction Graph Modeling Method That Supports Parallel Discrete Event Simulation

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    ICMSS 2019: Proceedings of the 2019 3rd International Conference on Management Engineering, Software Engineering and Service Sciences
    January 2019
    292 pages
    ISBN:9781450361897
    DOI:10.1145/3312662
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    In-Cooperation

    • China University of Geosciences

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 12 January 2019

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Event Graph
    2. Model Checking
    3. Object Class Interaction Graph
    4. Parallel Discrete Event Simulation

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    ICMSS 2019

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 01 Mar 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2020)MEMPHA: Model of Exascale Message-Passing Programs on Heterogeneous ArchitecturesIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2020.299586731:11(2570-2581)Online publication date: 1-Nov-2020

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media