Peng, Danhua and Warnke, Tom and Haack, Fiete and Uhrmacher, Adelinde M. (2017) Reusing simulation experiment specifications in developing models by successive composition — a case study of the Wnt/β-catenin signaling pathway. Simulation: Transactions of the Society for Modeling and Simulation International, 93 (8), pp. 659-677. ISSN 0037-5497 (online 1741-3133).
Full text not available from this repository.Abstract
With the increasing size and complexity of models, developing models by composing existing ones becomes more important. We exploit the idea of reusing simulation experiments of individual models for composition to automatically generate experiments for the composed model. First, we illustrate the process of modeling based on composition and discuss the role simulation experiments can play in this process. Our focus is on semantic validation of the composed model. We explicitly specify simulation experiments in SESSL, including the desired model behavioral properties and their required experiment set-ups. Models are annotated with experiment specifications, and upon composition, those specifications are adapted and automatically executed for the composed model. The approach is applied in a case study of developing a Wnt/β-catenin signaling pathway model by successively composing three individual models, where we exploit Metric Interval Temporal Logic to describe model behavioral properties and check averages of stochastic simulation results against those properties.
| Item Type: | Article |
|---|---|
| Projects: | Developing Valid Models via Reuse, GrEASE |
