1. http://creativecommons.org/licens es/by-sa/2.0/

2. Simulation Programs: What is out there? A critical evaluation. Prof:Rui Alves ralves@cmb.udl.es 973702406 Dept Ciencies Mediques Basiques, 1st Floor, Room 1.08 Website of the Course:http://web.udl.es/usuaris/pg193845/Courses/Bioinformatics_2007/ Course: http://10.100.14.36/Student_Server/

3. Simulation is becoming widespread Kinetic models are becoming a common tool for testing biological hypothesis. A plethora of different software packages for model building, simulation and analysis is available. How far are we from having reliable tools that make simulation accessible to non-expert mathematical modelers? What tools are more adequate for different types of problems?

4. Addressing the questions Choose representative simulation packages. Identify features in each of them. Test how accurately these features work. Evaluate how much expertise one needs to use each program.

5. Emphasis Simulators –Type of input Models used for testing Analytical capabilities of the software Cross-compatibility between the software What to use for each type of problem

6. Rationale for excluding software Kinetic Modeling Packages that require expert knowledge about the mother-software excluded –Not for non-experts + expensive Commercial user-friendly simulation software provides no new functionality with respect to free software. Also, we could not get temporary evaluation licenses for some of them, so we excluded them all.

7. List of software

8. Evaluated Simulation Packages Kinetic Modeling Packages –Excludes software that implement functionality in a pre-existing software platform (e.g. BST lab in MATLAB). Free Stand alone simulators –Excludes e.g. STELLA and MADONNA Free Internet Simulation Servers Free Network editors

9. Evaluated software

10. Text-based input

11. Dialog-based input

12. Diagrammatic input

13. Comparison of diagrammatic interfaces

14. Rationale for choices of models Models that allowed the testing of the different features. In some cases model with analytical solutions so that accuracy of calculations could be determined

15. Models used in the evaluation (1) Escherichia coli’s phosphoenolpyruvate:glucose phosphotransferase system (mass action; 1 compartment) GAL4 system of Saccharomyces cerevisiae (mass action; 1 compartment) Tests for stochastic simulators

16. Models used in the evaluation (2) Source reactions Reactions with catalysts Reactions with modifiers Homo molecular reactions

17. Models used in the evaluation (3) Simple difusion two compartment model

18. Models used in the evaluation (4) Simple two reaction model with analytical solution to evaluate sensitivity and stability analysis X1X2 Tests for stability and sensitivity analysis as well as moiety conservation calculations

19. Analytical capabilities of the software Incorrectly implemented jacobian calculations Incorrect for models with moiety conservation

20. Stability/Sensitivity analysis for model 5

21. Analytical capabilities of the software

22. Compartmental model implementation model 4 Write all equations/Draw diagrams Choose Kinetic equations/Write KEs Interface reaction parameters must be correct to have the appropriate units Permeability constant converted into apparent rate constants Kinetic parameters multiplied by volume of corresponding compartment

23. Exceptions: V-Cell Dizzy – Convert everything into ammounts rather than concentrations Cellware – Chose a reference compartment and convert all concentrations to that compartment

24. Crosstalk between software It is important to be able to share models between different software programs SBML is becoming the standard

25. SBML compatibility

26. Verified SBML compatibility

27. Trouble in SBMLland reaction stoichiometries defined as floating point values; boundary metabolites; source reactions sink reactions reactions where the stoichiometry for one of reactants or products is larger than 1; kinetic type definitions can prevent correct interpretation of models by stochastic simulators. Definition of compartments breaks down for variable volumes

28. There is hope in SBMLand A small amount of editing is in general sufficient to correct imcompatible SBML models A redefinition of comparments is straightforward

29. Goals of the model (I) Large scale modeling –Reconstructing the full network of the genome –Red Blood Cell Metabolism Dialog or diagram based, with possibility for modular implementation –COPASI, GEPASI, V-CELL, CELLDESIGNER,JDESIGNER Sensitivity analysis –COPASI, GEPASI, jdesigner, v-cell

30. Goals of the model (I) Modeling Specific Pathways/Circuits –Non-catalytic lipid peroxidation –MAPK Pathways Any type of input; Sensitivity analysis –COPASI, GEPASI, jdesigner, PLAS, v-cell, celldesigner

31. Goals of the model (I) Generating alternative hypothesys for the topology of the model. Must allow for structured functional forms and for large scale parameter scans –COPASI, GEPASI, jdesigner, PLAS, celldesigner

32. Goals of the model (II) Estimating parameter values –Must have fitting algorithms COPASI, GEPASI,DYNAFIT Identifying Design Principles –None, so far; however we have a MATHEMATICA package that allows you to do this.

33. Final Conclusion Our analysis has convinced us that a non- trivial degree of expertise is still required for the use of simulation programs to create models. It is dangerous to expect that a non-expert will create a useful and correct model of a biological process. Alves et al. Nature Biotechnology 2006