NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.
Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.
An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Incorporating Abstraction Methods into System-Analysis Integration Methodology for Discrete Event Logistics Systems
Published
Author(s)
Timothy A. Sprock, Conrad E. Bock
Abstract
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
Sprock, T.
and Bock, C.
(2017),
Incorporating Abstraction Methods into System-Analysis Integration Methodology for Discrete Event Logistics Systems, Proceedings of the 2017 Winter Simulation Conference, Las Vegas, NV, [online], https://doi.org/10.1109/WSC.2017.8247847
(Accessed October 20, 2025)