Towards semantic model composition via experiments

SIGSIM-PADS 2014 - Proceedings of the 2014 ACM Conference on SIGSIM Principles of Advanced Discrete Simulation

Volumn , Issue , 2014, Pages 151-162

  Peng, Danhua ^a   Ewald, Roland ^a   Uhrmacher, Adelinde M ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Reuse of models; Semantic composition; Simulation experiments; Validation

Indexed keywords

EXPERIMENTS; MODEL CHECKING; SEMANTICS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

AUTOMATICALLY GENERATED; CONTINUOUS STOCHASTIC LOGIC; LOTKA-VOLTERRA MODELS; MODEL COMPOSITION; MODEL PROPERTIES; SEMANTIC COMPOSITION; STATISTICAL MODEL CHECKING; VALIDATION;

COMPUTER SIMULATION;

EID: 84901840217     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2601381.2601394     Document Type: Conference Paper

References (47)

1. J. Bézivin, S. Bouzitouna, M. D. Del Fabro, et al. A canonical scheme for model composition. In Model Driven Architecture-Foundations and Applications, pages 346-360. Springer, 2006.
2. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
3. P. K. Davis and R. H. Anderson. Improving the composability of DoD models and simulations. JDMS, 1(1): 5-17, Apr. 2004.
4. L. De Alfaro and T. A. Henzinger. Interface-based design. In Engineering Theories of Software-intensive Systems, Volume 195 of NATO Science Series: Mathematics, Physics, and Chemistry, pages 83-104. Springer, M. Broy, J. Gruenbauer, D. Harel, and C.A.R. Hoare, 2005.
5. G. De Giacomo and M. Y. Vardi. Linear temporal logic and linear dynamic logic on finite traces. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI'13, pages 854-860. AAAI Press, 2013.
6. M. Droz and A. Pekalski. Different strategies of evolution in a predator-prey system. Physica A: Statistical Mechanics and its Applications, 298: 545-552, 2001.
7. P. Du, W. A. Kibbe, and S. M. Lin. Improved peak detection in mass spectrum by incorporating continuous wavelet transform-based pattern matching. Bioinformatics, 22(17): 2059-2065, 2006.
8. H. Elmqvist, S. E. Mattsson, and M. Otter. Object-oriented and hybrid modeling in modelica. Journal Européen des systèmes automatisés, 35(1): 1-10, 2001.
9. R. Ewald and A. M. Uhrmacher. SESSL: A Domain-Specific Language for Simulation Experiments. ACM Transactions on Modeling and Computer Simulation, 2014 (to appear). See http://sessl.org.
10. F. Fages and A. Rizk. On the analysis of numerical data time series in temporal logic. In Computational Methods in Systems Biology, 2007.
11. D. T. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry, 81(25), 1977.
12. L. Ginzburg and H. Akçakaya. Consequences of ratio-dependent predation for steady-state properties of ecosystems. Ecology, 73(5): 1536-1543, 1992.
13. P. Godefroid. Compositional dynamic test generation. In Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 47-54, New York, NY, USA, 2007. ACM.
14. A. Hallagan, B. Ward, and L. F. Perrone. An experiment automation framework for ns-3. In Proceedings of the 3rd Int'l ICST Conference on Simulation Tools and Techniques. ICST, 2010.
15. T. Helms, M. Luboschik, H. Schumann, and A. M. Uhrmacher. An approximate execution of rule-based multi-level models. In Proceedings of the 11th International Conference on Computational Methods in Systems Biology, 2013.
16. J. Himmelspach and A. M. Uhrmacher. Plug'n simulate. In Proceedings of the 40th Annual Simulation Symposium, ANSS'07, pages 137-143, Washington, DC, USA, 2007. IEEE Computer Society.
17. M. Hucka, L. Smith, D. Wilkinson, M. Hucka, et al. The systems biology markup language (SBML): language specification for level 3 version 1 core. Nature Precedings, Oct. 2010.
18. C. Li, M. Donizelli, N. Rodriguez, et al. BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models. BMC Systems Biology, 4: 92, Jun 2010.
19. A. Lotka. Elements of Physical Biology. Williams & Wilkins Company, 1925.
20. E. D. Maria, F. Fages, and S. Soliman. On coupling models using model-checking: Effects of irinotecan injections on the mammalian cell cycle. In Proceedings of Computational Methods in Systems Biology, pages 142-157. Springer, 2009.
21. C. Maus, S. Rybacki, and A. M. Uhrmacher. Rule-based multi-level modeling of cell biological systems. BMC Systems Biology, 5(166), 2011.
22. O. Mazemondet, M. John, S. Leye, A. Rolfs, and A. M. Uhrmacher. Elucidating the sources of beta-catenin dynamics in human neural progenitor cells. Plos One, 7(8): e42792-e42792, 2012.
23. P. McMinn. Search-based software test data generation: a survey. Software Testing, Verification and Reliability, 14(2): 105-156, June 2004.
24. D. Nicol, C. Priami, H. Nielson, and A. Uhrmacher, editors. Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings 0161, 2006. ISSN 1862-4405.
25. C. M. Overstreet, R. Nance, and O. Balci. Issues in Enhancing Model Reuse. In First International Conference on Grand Challenges for Modeling and Simulation, 2002.
26. D. Peng, A. Steiniger, T. Helms, and A. Uhrmacher. Towards Composing ML-Rules Models. In Proceedings of the 2013 Winter Simulation Conference, 2013.
27. M. D. Petty and E. W. Weisel. A composability lexicon. In Spring Simulation Interoperability Workshop (SISO), pages 181-187, 2003.
28. C. Pǎsǎreanu and W. Visser. A survey of new trends in symbolic execution for software testing and analysis. International Journal on Software Tools for Technology Transfer, 11(4): 339-353, Oct. 2009.
29. R. Randhawa, C. A. Shaffer, and J. J. Tyson. Model aggregation: a building-block approach to creating large macromolecular regulatory networks. Bioinformatics (Oxford, England), 25(24): 3289-95, Dec. 2009.
30. E. Renshaw. Modelling Biological Populations in Space and Time. Cambridge Studies in Mathematical Biology. Cambridge University Press, 1991.
31. M. Röhl and A. M. Uhrmacher. Definition and analysis of composition structures for discrete-event models. In Proceedings of the 2008 Winter Simulation Conference, pages 942-950, 2008.
32. S. Rybacki, F. Haack, K. Wolf, and A. Uhrmacher. Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach. In SimuTools, 2014.
33. S. Sanchez and H. Wan. Work smarter, not harder: A tutorial on designing and conducting simulation experiments. In Proceedings of the 2012 Winter Simulation Conference (WSC), pages 1-15, Dec 2012.
34. F. Scholkmann, J. Boss, and M. Wolf. An efficient algorithm for automatic peak detection in noisy periodic and quasi-periodic signals. Algorithms, 5(4): 588-603, 2012.
35. K. Sen, M. Viswanathan, and G. Agha. On statistical model checking of stochastic systems. In K. Etessami and S. Rajamani, editors, Computer Aided Verification, Volume 3576 of Lecture Notes in Computer Science, pages 266-280. Springer Berlin Heidelberg, 2005.
36. C. A. Shaffer, R. Randhawa, and J. J. Tyson. The role of composition and aggregation in modeling macromolecular regulatory networks. In Proceedings of the 38th conference on Winter simulation, pages 1628-1636. Winter Simulation Conference, 2006.
37. J. Srba. On the power of labels in transition systems. In Proceedings of the 12th International Conference on Concurrency Theory, pages 277-291, 2001.
38. C. Szabo and Y. Teo. An approach for validation of semantic composability in simulation models... on Principles of Advanced and Distributed Simulation, pages 3-10, June 2009.
39. C. Szyperski, D. Gruntz, and S. Murer. Component Software: Beyond Object-oriented Programming. ACM Press Series. ACM Press, 2002.
40. A. Tolk. What comes after the semantic web - pads implications for the dynamic web. In Workshop on Principles of Advanced and Distributed Simulation (PADS), page 55. IEEE Computer Society, 2006.
41. V. Vito. Variazioni e fluttuazioni del numero d'individui in specie animali conviventi. Mem. R. Accad. Naz. dei Lincei, 2: 31-113, 1926.
42. D. Waltemath, R. Adams, D. A. Beard, F. T. Bergmann, et al. Minimum Information About a Simulation Experiment (MIASE). PLoS Computational Biology, 7(4): e1001122, 2011.
43. D. Waltemath, R. Adams, F. Bergmann, M. Hucka, et al. Reproducible computational biology experiments with SED-ML - the simulation experiment description markup language. BMC Systems Biology, 5: 198, 2011.
44. E. Weisel, M. Petty, and R. Mielke. Validity of models and classes of models in semantic composability. Proceedings of the Fall 2003 SIW, 2003.
45. H. L. Younes and R. G. Simmons. Statistical probabilistic model checking with a focus on time-bounded properties. Information and Computation, 204(9): 1368-1409, 2006.
46. H. L. S. Younes and R. G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In Proceedings 14th International Conference on Computer Aided Verification, Volume 2404 of LNCS, pages 223-235. Springer, 2002.
47. P. Zuliani, A. Platzer, and E. M. Clarke. Bayesian statistical model checking with application to simulink/stateflow verification. In Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC'10, pages 243-252, New York, NY, USA, 2010. ACM.