Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.


The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Incorporating Abstraction Methods into System-Analysis Integration Methodology for Discrete Event Logistics Systems



Timothy A. Sprock, Conrad E. Bock


Analysis models, such as discrete event simulation models, are used to support design and operation of discrete event logistics systems (DELS). The time and expertise required to construct these analysis models can be significantly reduced by automatically generating them from formal models of the systems being analyzed. DELS analysis models can be constructed from system abstractions much more reliably when the system and analysis are specified at compatible levels of abstraction. Formal modeling languages, such as those used in object-orientation, make abstraction explicit, simplifying the mappings between system and analysis models and increasing reusability of the integration. In this paper, we propose fundamental abstractions for DELS and identify corresponding libraries of analysis models. These are used in a system-analysis integration methodology that incorporates abstraction as an explicit step, providing a path to refine and extend those abstractions and model libraries to generate analysis models.
Proceedings Title
Proceedings of the 2017 Winter Simulation Conference
Conference Dates
December 3-6, 2017
Conference Location
Las Vegas, NV
Created December 6, 2017, Updated November 10, 2018