Seventh International Conference on Simulation Tools and Techniques

Research Article

Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach

Download757 downloads
  • @INPROCEEDINGS{10.4108/icst.simutools.2014.254650,
        author={Stefan Rybacki and Fiete Haack and Karsten Wolf and Adelinde Uhrmacher},
        title={Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach},
        proceedings={Seventh International Conference on Simulation Tools and Techniques},
        publisher={ICST},
        proceedings_a={SIMUTOOLS},
        year={2014},
        month={8},
        keywords={modeling conceptual modeling workflow artifact},
        doi={10.4108/icst.simutools.2014.254650}
    }
    
  • Stefan Rybacki
    Fiete Haack
    Karsten Wolf
    Adelinde Uhrmacher
    Year: 2014
    Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach
    SIMUTOOLS
    ICST
    DOI: 10.4108/icst.simutools.2014.254650
Stefan Rybacki1,*, Fiete Haack1, Karsten Wolf1, Adelinde Uhrmacher1
  • 1: University of Rostock, Germany
*Contact email: stefan.rybacki@uni-rostock.de

Abstract

Developing a model for simulation is an art and a science. The question is how this process can be suitably supported. Integrating workflows into simulation systems promises user guidance, documentation and reproducibility of this process. However, the highly interactive, partly concurrent, partly optional nature of the modeling process challenges traditional activity-based workflow approaches. This is intensified by its multiple inter-dependencies and the need for an easy extension. We will illuminate this based on a modeling example from cell biology. To support the required flexibility, we propose an artifact-based workflow approach instead. Conceptual model, formal model and different data and information sources are specified declaratively as artifacts. The life cycle of an artifact is defined by stages, guards, milestones, and sentries, following the Guard-Stages-Milestone (GSM) approach. It is shown that the declarative specification provides a better fit for the process of developing a model.