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

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].