Reusing simulation experiments for model composition and extension

Danhua Peng

doi:10.18453/rosdok_id00001864

Danhua Peng

Reusing simulation experiments for model composition and extension

Universität Rostock, 2017

https://doi.org/10.18453/rosdok_id00001864

Abstract: This thesis aims to reuse simulation experiments to support developing models via model reuse, with a focus on validating the resulting model. Individual models are annotated with their simulation experiments. Upon reuse of those models for building new ones, the associated simulation experiments are also reused and executed with the new model, to inspect whether the key behavior exhibited by the original models is preserved or not in the new model. Hence, the changes of model behavior resulting from the model reuse are revealed, and insights into validity of the new model are provided.

doctoral thesis free access

100%0 °

title:

Reusing simulation experiments for model composition and extension

contributing persons:

Danhua Peng[VerfasserIn]
	1126757535
Adelinde Uhrmacher , Prof. Dr[AkademischeR BetreuerIn]
	136258794
	University of Rostock, Institute of Computer Science
Jane Hillston , Prof. Dr.[AkademischeR BetreuerIn]
	University of Edinburgh, School of Informatics
François Fages , Prof. Dr.[AkademischeR BetreuerIn]
	1059103737
	University of Paris, Institut National de Recherche en Informatique et en Automatique (INRIA Research Center )

contributing corporate bodies:

Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution]
	10085032-7

abstract:

This thesis aims to reuse simulation experiments to support developing models via model reuse, with a focus on validating the resulting model. Individual models are annotated with their simulation experiments. Upon reuse of those models for building new ones, the associated simulation experiments are also reused and executed with the new model, to inspect whether the key behavior exhibited by the original models is preserved or not in the new model. Hence, the changes of model behavior resulting from the model reuse are revealed, and insights into validity of the new model are provided. [English]

document type:

doctoral thesis

institution:

Faculty of Computer Science and Electrical Engineering

language:

English

subject class (DDC):

000 Generalities, Science

publication /
production:

Rostock

Rostock: Universität Rostock

2017