Structure, function, and behaviour of computational models in systems biology

BMC Systems Biology

Volumn 7, Issue , 2013, Pages

  Knüpfer, Christian ^a   Beckstein, Clemens ^a   Dittrich, Peter ^a   Novère, Nicolas Le ^b  

^a FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

^b BABRAHAM INSTITUTE   (United Kingdom)

Author keywords

Knowledge representation; Meaning facets; Modelling and simulation; Philosophy of science; Semantics; System biology

Indexed keywords

ARTICLE; COMPUTER SIMULATION; METHODOLOGY; SYSTEMS BIOLOGY;

COMPUTER SIMULATION; SYSTEMS BIOLOGY;

EID: 84878371432     PISSN: None     EISSN: 17520509     Source Type: Journal    
DOI: 10.1186/1752-0509-7-43     Document Type: Article

References (44)

1. Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, Cuellar AA, Dronov S, Gilles ED, Ginkel M, Gor V, Goryanin II, Hedley WJ, Hodgman TC, Hofmeyr JH, Hunter PJ, Juty NS, Kasberger JL, Kremling A, Kummer U, Le Novère N, Loew LM, Lucio D, Mendes P, Minch E, Mjolsness ED, Nakayama Y, Nelson MR, Nielsen PF, Sakurada T, Schaff JC, Shapiro BE, Shimizu TS, Spence HD, Stelling J, Takahashi K, et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 2003, 19(4):524-531. 10.1093/bioinformatics/btg015, 12611808.
2. Cuellar AA, Lloyd CM, Nielsen PF, Bullivant DP, Nickerson DP, Hunter PJ. An overview of CellML 1.1, a biological model description language. Simulation 2003, 79(12):740-747. [http://sim.sagepub.com/cgi/content/abstract/79/12/740].
3. Fisher J, Henzinger TA. Executable cell biology. Nat Biotechnol 2007, 25(11):1239-1249. [http://dx.doi.org/10.1038/nbt1356], 10.1038/nbt1356, 17989686.
4. Knüpfer C, Beckstein C, Dittrich P. Towards a semantic description of bio-models: meaning facets - a case study. Proceedings of the Second International Symposium on Semantic Mining in Biomedicine (SMBM 2006) Jena, April 9-12, 2006,CEUR-WS 2006, 97-100. RWTH University, Aachen, Fluck J, Ananiadou S.
5. Kitano H. Computational systems biology. Nature 2002, 420(6912):206-210. 10.1038/nature01254, 12432404.
6. Le Novère N Vision of standards interoperability. Talk at the 2010 SBML-BioModels.net Hackathon, University of Washington Dept. of Bioengineering, May 1-4, 2010 2010, [http://sbml.org/images/a/a6/Lenovere-intro-2010-05-01.pdf], Le Novère N.
7. Goel A, Rugaber S, Vattam S. Structure, behavior, and function of complex systems: The structure, behavior, and function modeling language. Artif Intell Eng Des Anal Manuf 2009, 23:23-35.
8. Tyson J. Modeling the cell division cycle: cdc2 and cyclin interactions. Proc Natl Acad Sci USA 1991, 88(16):7328-7332. 10.1073/pnas.88.16.7328, 52288, 1831270.
9. Bornstein B, Broicher A, Le Novère N BioModels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res 2006, 34(Database issue):689-691. Le Novère N.
10. Knüpfer C, Beckstein C, Dittrich P. How to formalise the meaning of a bio-model: a case study. BioSysBio 2007 Systems Biology, Bioinformatics, Synthetic Biology - Meeting Abstracts, Manchester, UK, 11-13 January 2007, Volume 1 (Suppl 1) of BMC Systems Biology 2007, 28-28. Cumbers J, Gu X, Wong JS, [http://www.biomedcentral.com/1752-0509/1/S1/P28], 3226097, 17493283.
11. Le Novère N, Courtot M, Laibe C. Adding semantics in kinetics models of biochemical pathways. Proceedings of the 2nd International Symposium on Experimental Standard Conditions of Enzyme Characterizations 2007, 137-153. Beilstein-Institut, [http://www.beilstein-institut.de/escec2006/proceedings/LeNovere/LeNovere.pdf].
12. Fages F, Soliman S. Abstract interpretation and types for systems biology. Theor Comput Sci 2008, 403:52-70. [http://www.sciencedirect.com/science/article/pii/S0304397508003058].
13. Courtot M, Juty N, Knüpfer C, Waltemath D, Zhukova A, Dräger A, Dumontier M, Finney A, Golebiewski M, Hastings J, Hoops S, Keating S, Kell DB, Kerrien S, Lawson J, Lister A, Lu J, Machne R, Mendes P, Pocock M, Rodriguez N, Villeger A, Wilkinson DJ, Wimalaratne S, Laibe C, Hucka M, Le Novère N. Controlled vocabularies and semantics in systems biology. Mol Syst Biol 2011, 7:543. [http://dx.doi.org/10.1038/msb.2011.77], 3261705, 22027554.
14. Ausbrooks R, Buswell S, Dalmas S, Devitt S, Diaz A, Hunter R, Smith B, Soiffer N, Sutor R, Watt S. Mathematical Markup Language (MathML) Version 2.0. W3C, recommendation, World Wide Web Consortium 2003,
15. Apweiler R, Bairoch A, Wu C. UniProt: the Universal Protein knowledgebase. Nucleic Acids Res 2004, 32(Database issue):115-119. [http://www.hubmed.org/display.cgi?uids=14681372], 373264, 14704348.
16. Juty N, Le Novère N, Laibe C. Identifiers.org and MIRIAM Registry: community resources to provide persistent identification. Nucleic Acids Res 2012, 40(Database issue):580-586. [http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3245029/?tool=EBI].
17. Sayers EW, Barrett T, Benson DA, Bryant SH, Canese K, Chetvernin V, Church DM, DiCuccio M, Edgar R, Federhen S, Feolo M, Geer LY, Helmberg W, Kapustin Y, Landsman D, Lipman DJ, Madden TL, Maglott DR, Miller V, Mizrachi I, Ostell J, Pruitt KD, Schuler GD, Sequeira E, Sherry ST, Shumway M, Sirotkin K, Souvorov A, Starchenko G, Tatusova TA, et al. Database resources of the national center for biotechnology information. Nucleic Acids Res 2009, 37(Database issue):D5-D15. [http://dx.doi.org/10.1093/nar/gkn741], 2686545, 18940862.
18. Gene Ontology C. Creating the gene ontology resource design and implementation. Genome Res 2001, 11(8):1425-1433. 10.1101/gr.180801, 311077, 11483584.
19. Köhn D, Novère NL. SED-ML - An XML format for the implementation of the MIASE guidelines. Computational Methods in Systems Biology. Proceedings of the 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008., 2008, 176-190. : Lecture Notes in Computer Science.Berlin, Heidelberg:Springer, [http://dx.doi.org/10.1007/978-3-540-88562-7_15].
20. Apt K. Principles of Constraint Programming 2003, Cambridge: Cambridge University Press.
21. Bard J, Rhee SY, Ashburner M. An ontology for cell types. Genome Biol 2005, 6(2):R21. [http://dx.doi.org/10.1186/gb-2005-6-2-r21], 10.1186/gb-2005-6-2-r21, 551541, 15693950.
22. Kania R, Golebiewski M, Rey M, Shi L, Jong L, Algaa E, Weidemann A, Sauer-Danzwith H, Mir S, Krebs O, Bittkowski M, Wetsch E, Rojas I, Müller W, Wittig SABIO-RK-database for biochemical reaction kinetics. Nucleic Acids Res 2012, 40(Database issue):790-796. [http://www.ncbi.nlm.nih.gov/pubmed/22102587], Wittig.
23. Jones AR, Paton NW, Belhajjame A toolkit for capturing and sharing FuGE experiments. Bioinformatics 2008, 24(22):2647-2649. [http://dx.doi.org/10.1093/bioinformatics/btn496], 10.1093/bioinformatics/btn496, 18801749, Belhajjame.
24. Clarke EM, Grumberg O, Peled DA. Model Checking 1999, MIT Press.
25. Chabrier-Rivier N, Fages F, Soliman S The, Biochemical Abstract Machine BIOCHAM. Proceedings of the Second Workshop on Computational Methods in Systems Biology (CMSB'04),Lecture Notes in BioInformatics 2004, Berlin, Heidelberg: Springer-Verlag, Danos V, Schächter V, Soliman S.
26. Rizk A, Batt G, Fages F, Soliman S. Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor Comput Sci 2011, 412(26):2827-2839. [Foundations of Formal Reconstruction of Biochemical Networks].
27. Dada JO, Paton NW, Mendes P. Systems Biology Results Markup Language(SBRML) Level 1 structure and facilities for results representation. 2009, [http://www.comp-sys-bio.org/static/SBRML-specs-27-11-2009.pdf].
28. Klink P. Fielded text. [http://www.fieldedtext.org/].
29. Gay S, Soliman S, Fages F. A graphical method for reducing and relating models in systems biology. Bioinformatics 2010, 26(18):i575-i581. [http://bioinformatics.oxfordjournals.org/content/26/18/i575.abstract], 10.1093/bioinformatics/btq388, 2935413, 20823324.
30. Ono N, Ikegami T. Model of self-replicating cell capable of self-maintenance. Proceedings of the Fifth European Conference on Artificial Life (ECAL'99), Volume 1674 of Lecture Notes in Computer Science 1999, 399-406. Berlin: Springer, Mondana F, Floreano D, Nicoud JD.
31. Schaff J, Fink CC, Slepchenko B, Carson JH, Loew LM. A general computational framework for modeling cellular structure and function. Biophys J 1997, 73(3):1135-1146. [http://www.ncbi.nlm.nih.gov/pubmed/9284281?dopt=AbstractPlus], 10.1016/S0006-3495(97)78146-3, 1181013, 9284281.
32. Nowak MA, Bangham CRM. Population dynamics of immune responses to persistent viruses. Science 1996, 272(5258):74-79. [http://www.sciencemag.org/content/272/5258/74.abstract], 10.1126/science.272.5258.74, 8600540.
33. Smith BC. Reflection and Semantics in a procedural language. PhD,thesis Massachusetts Institute of Technology 1982, [http://publications.csail.mit.edu/lcs/specpub.php?id=840].
34. Simon HA. The Sciences of the Artificial 1969, Cambridge: MIT Press.
35. Rosen R. Anticipatory Systems 1985, Oxford: Pergamon Press.
36. Chelliah V, Endler L, Juty N, Laibe C, Li C, Rodriguez N, Le Novère N. Data integration and semantic enrichment of systems biology models and simulations. Data Integration in the Life Sciences - 6th International Workshop, DILS 2009, Manchester, UK, July 20-22,2009.Proceedings., Volume 5647 of Lecture Notes in Computer Science 2009, 5-15. Berlin / Heidelberg: Springer, [http://dx.doi.org/10.1007/978-3-642-02879-3_2].
37. Zeigler BP, Praehofer H, Kim TG. Theory of Modeling and Simulation 2000, San Diego: Academic Press.
38. Klir GJ. Architecture of Systems Problem Solving 1985, New York: Plenum Press.
39. Neal ML, Gennari JH, Arts T, Cook DL. Advances in semantic representation for multiscale biosimulation: a case study in merging models. Pac Symp Biocomput 2009, 14:304-315. [http://www.ncbi.nlm.nih.gov/pubmed/19209710?dopt=Abstract].
40. Gennari JH, Neal ML, Carlson BE, Cook DL. Integration of multi-scale biosimulation models via light-weight semantics. Pac Symp Biocomput 2008, 13:414-425.
41. Cook DL, Mejino JL, Neal ML, Gennari JH. Bridging biological ontologies and biosimulation: the ontology of physics for biology. AMIA Annu Symp Proc 2008, 136-140. [http://www.ncbi.nlm.nih.gov/pubmed/18999003].
42. Erden M, Komoto H, van Beek T, D'Amelio V, Echavarria E, Tomiyama T. A review of function modeling: approaches and applications. AI EDAM 2008, 22(02):147-169. [http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1807988&fulltextType=RA&fileId=S0890060408000103].
43. Umeda Y, Tomiyama T. FBS modeling: modeling scheme of function for conceptual design. Proc. Working Papers of the 9th Int. Workshop on Qualitative Reasoning About Physical Systems: 16-19 May 1995; Amsterdam. 1995, 271-278. [http://www.qrg.northwestern.edu/papers/files/qrworkshop/qr95/umeda_poster_1995_fbs_modeling_ conceptual_design.pdf].
44. Gero JS. Design prototypes: a knowledge representation schema for design. AI Mag 1990, 11(4):26-36. [http://portal.acm.org/citation.cfm?id=95793].