Hypothesis-driven simulation experiments with an extension to SED-ML

Download

index.pdf

Date

2022-03-01

Author

Cam, S.
Oğuztüzün, Mehmet Halit S.
Yilmaz, L.

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

197
views

58
downloads

Most of the frameworks or assistance systems for experiment specification do not provide a process explicitly based on formally specified hypotheses. This deficiency leads to inaccurate or insufficient record of an experiment, decreasing the trustworthiness and reproducibility of the experiment. Moreover, the wide variety of models, metamodels, tools, and data for experimentation requires Global Model Management (GMM) that is utilizing Model-Driven Engineering techniques, facilitates documentation, sharing, reusability, and replicability of simulation experiments. In this study, we strive to illustrate how to support simulation experimentation with hypotheses as a scientific workflow through GMM with an extension to the Simulation Experiment Description Mark-up Language (SED-ML). In particular, we present a megamodel built to serve as a repository to manage the artefacts employed in a simulation experiment. Based on the SED-ML, and enriched with hypothesis handling, our megamodel attempts to address all the phases of a simulation experiment, including specification, input data generation, execution, and output data analysis.

Subject Keywords

Design of Experiments, Simulation Experiment Description Markup Language, Global Model Management, Signal Temporal Logic, GUIDELINES, MODEL

URI

https://hdl.handle.net/11511/97291

Journal

INTERNATIONAL JOURNAL OF SIMULATION MODELLING

DOI

https://doi.org/10.2507/ijsimm21-1-583

Collections

Department of Computer Engineering, Article

Suggestions

OpenMETU
Core

Model-driven engineering framework for replicable simulation experiments Dayıbaş, Orçu; Oğuztüzün, Halil.; Department of Computer Engineering (2019) Simulation experiments allow the user to capture the specific variability of multiple interdependent processes. The use of simulation models is widely accepted by practitioners from diverse areas of applied sciences. Therefore, simulation experiments are an essential part of computational science and engineering. Nevertheless, simulations are rarely replicated due to reuse and maintenance challenges related to models and data. In this respect, it is proposed that some crucial and labor intensive parts of th...
Dynamic simulation metamodeling using MARS: A case of radar simulation Bozagac, Doruk; Batmaz, İnci; Oğuztüzün, Mehmet Halit S. (2016-06-01) Dynamic system simulations require relating the inputs to the multivariate output which can be a function of time space coordinates. In this work, we propose a methodology for the metamodeling of dynamic simulation models via Multivariate Adaptive Regression Splines (MARS). To handle incomplete output processes, where the simulation model does not produce an output in some steps due to missing inputs, we have devised a two-stage metamodeling scheme. The methodology is demonstrated on a dynamic radar simulat...
Stochastic modelling of biochemical networks and inference of modelparameters Purutçuoğlu Gazi, Vilda (null, Springer, 2018-01-01) There are many approaches to model the biochemical systems deterministically or stochastically. In deterministic approaches, we aim to describe the steady-state behaviours of the system, whereas, under stochastic models, we present the random nature of the system, for instance, during transcription or translation processes. Here, we represent the stochastic modelling approaches of biological networks and explain in details the inference of the model parameters within the Bayesian framework.
Controller synthesis for an I/O-based hierarchical system architecture Perk, Sebastian; Moor, Thomas; Schmidt, Klaus Verner (2008-10-08) In our previous work, a framework for the hierarchical design of discrete event systems has been introduced that is based on a notion of inputs and outputs. I/O-plant models describe the interaction of each subsystem with the operator (or controller) and the environment. By alternation of subsystem composition and controller synthesis, a hierarchy of controllers is obtained that complements a hierarchy of environment models. An admissibility condition was presented that implies liveness while allowing for a...
Computation of projections for the abstraction-based diagnosability verification Schmidt, Klaus Verner (null; 2010-12-01) The verification of language-diagnosability (LD) for discrete event systems (DES) generally requires the explicit evaluation of the overall system model which is infeasible for practical systems. In order to circumvent this problem, our previous work proposes the abstraction-based LD verification using natural projections that fulfill the loop-preserving observer (LPO) property. In this paper, we develop algorithms for the verification and computation of such natural projections. We first present a polynomi...

Citation Formats

S. Cam, M. H. S. Oğuztüzün, and L. Yilmaz, “Hypothesis-driven simulation experiments with an extension to SED-ML,” INTERNATIONAL JOURNAL OF SIMULATION MODELLING, vol. 21, no. 1, pp. 17–28, 2022, Accessed: 00, 2022. [Online]. Available: https://hdl.handle.net/11511/97291.