Dialectic Models for Documenting and Conducting Simulation Studies: Exploring Feasibility

Zschaler, Steffen and Wilsdorf, Pia and Goldfrey, Thomas and Uhrmacher, Adelinde M. (2025) Dialectic Models for Documenting and Conducting Simulation Studies: Exploring Feasibility. In: 2025 Winter Simulation Conference (WSC), 7-10 Dec 2025, Seatle, Washington; USA. Proceedings, published by IEEE, pp. 2111-2122.

Full text not available from this repository.
Official URL: https://ieeexplore.ieee.org/document/11339048

Abstract

Validation and documentation of rationale are central to simulation studies. Most current approaches focus only on individual simulation artifacts—most typically simulation models—and their validity rather than their contribution to the overall simulation study. Approaches that aim to validate simulation studies as a whole either impose structured processes with the implicit assumption that this will ensure validity, or they rely on capturing provenance and rationale, most commonly in natural language, following accepted documentation guidelines. Inspired by dialectic approaches for developing mathematical proofs, we explore the feasibility of capturing validity and rationale information as a study unfolds through agent dialogs that also generate the overall simulation-study argument. We introduce a formal framework, an initial catalog of possible interactions, and a proof-of-concept tool to capture such information about a simulation study. We illustrate the ideas in the context of a cell biological simulation study.

Item Type: Conference or Workshop Item (Paper)
Additional Information: doi: 10.1109/WSC68292.2025.11339048