{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T03:30:39Z","timestamp":1648697439307},"reference-count":48,"publisher":"Public Library of Science (PLoS)","issue":"5","license":[{"start":{"date-parts":[[2012,5,17]],"date-time":"2012-05-17T00:00:00Z","timestamp":1337212800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["www.ploscompbiol.org"],"crossmark-restriction":false},"short-container-title":["PLoS Comput Biol"],"DOI":"10.1371\/journal.pcbi.1002521","type":"journal-article","created":{"date-parts":[[2012,5,17]],"date-time":"2012-05-17T20:58:36Z","timestamp":1337288316000},"page":"e1002521","update-policy":"http:\/\/dx.doi.org\/10.1371\/journal.pcbi.corrections_policy","source":"Crossref","is-referenced-by-count":7,"title":["The Layer-Oriented Approach to Declarative Languages for Biological Modeling"],"prefix":"10.1371","volume":"8","author":[{"given":"Ivan","family":"Raikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"De Schutter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"340","published-online":{"date-parts":[[2012,5,17]]},"reference":[{"key":"ref1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/s12021-007-0004-5","article-title":"Interoperability of neuro-science modeling software: Current status and future directions.","volume":"5","author":"R Cannon","year":"2007","journal-title":"Neuroinformatics"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"e1000078","DOI":"10.1371\/journal.pcbi.1000078","article-title":"Why are computational neuroscience and systems biology so separate?","volume":"4","author":"E De Schutter","year":"2008","journal-title":"PLoS Comput Biol"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1634-6","article-title":"The Book of GENESIS: Exploring Realistic Neural Models with the GEneral NEural SImulation System","author":"J Bower","year":"1998"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511541612","article-title":"The NEURON Book","author":"N Carnevale","year":"2006"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1113\/jphysiol.1952.sp004764","article-title":"A quantitative description of membrane current and its application to conduction and excitation in nerve.","volume":"117","author":"A Hodgkin","year":"1952","journal-title":"J Physiol"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"e1000815","DOI":"10.1371\/journal.pcbi.1000815","article-title":"NeuroML: A language for describing data driven models of neurons and networks with a high degree of biological detail.","volume":"6","author":"P Gleeson","year":"2010","journal-title":"PLoS Comput Biol"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"1209","DOI":"10.1098\/rstb.2001.0910","article-title":"Towards NeuroML: Model description methods for collaborative modeling in neuroscience.","volume":"356","author":"N Goddard","year":"2001","journal-title":"Philos Trans R Soc Lond B Biol Sci"},{"key":"ref8","article-title":"Sys- tems biology markup language (SBML) Level 3 Version 1 Core.","author":"M Hucka","year":"2010"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1049\/sb:20045008","article-title":"Evolving a lingua franca and associated software infrastructure for computational systems biology: the systems biology markup language (SBML) project.","volume":"1","author":"M Hucka","year":"2004","journal-title":"Syst Biol"},{"key":"ref10","first-page":"451","article-title":"CellML 1.1 for the definition and exchange of biological models.","author":"A Cuellar","year":"2003"},{"key":"ref11","article-title":"CellML specification version 1.1.","author":"A Cuellar","year":"2002"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s12021-011-9136-8","article-title":"The promise and shortcomings of XML as an interchange format for computational models of biology.","volume":"10","author":"I Raikov","year":"2012","journal-title":"Neuroinformatics"},{"key":"ref13","first-page":"176","article-title":"SED-ML \u2013 An XML Format for the Implementation of the MIASE Guidelines.","author":"D Koehn","year":"2008"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1038\/npre.2010.4257.1","article-title":"A simple nested simulation for SED-ML.","author":"F Bergmann","year":"2010"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s12021-009-9054-1","article-title":"The International Neuroinformatics Coordinating Facility: evaluating the first years.","volume":"7","author":"E De Schutter","year":"2009","journal-title":"Neuroinformatics"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1016\/j.jbi.2010.06.007","article-title":"Multiple ontologies in action: Composite annotations for biosimulation models.","volume":"44","author":"J Gennari","year":"2011","journal-title":"J Biomed Inform"},{"key":"ref17","article-title":"XML in Scheme, version 3.0.","author":"O Kiselyov","year":"2004"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s12021-010-9082-x","article-title":"Code generation: a strategy for neural network simulators.","volume":"8","author":"D Goodman","year":"2010","journal-title":"Neuroinformatics"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1113\/expphysiol.2008.045161","article-title":"Facilitating modularity and reuse: guidelines for structuring CellML 1.1 models by isolating common biophysical concepts.","volume":"94","author":"S Wimalaratne","year":"2009","journal-title":"Exp Physiol"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"4899","DOI":"10.1523\/JNEUROSCI.23-12-04899.2003","article-title":"The contribution of resurgent sodium current to high- frequency firing in Purkinje neurons: An experimental and modeling study.","volume":"23","author":"Z Khaliq","year":"2003","journal-title":"J Neurosci"},{"key":"ref21","first-page":"20","article-title":"Determining K+ channel activation curves from K+ channel currents often requires the Goldman-Hodgkin-Katz equation.","volume":"3","author":"J Clay","year":"2009","journal-title":"Front Cell Neurosci"},{"key":"ref22","first-page":"211","article-title":"Calcium dynamics in large neuronal models.","author":"E De Schutter","year":"1998"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"1233","DOI":"10.1016\/0306-4522(82)91130-7","article-title":"Simulation of intrinsic bursting in CA3 hippocampal neurons.","volume":"7","author":"R Traub","year":"1982","journal-title":"Neuroscience"},{"key":"ref24","first-page":"91","article-title":"Accessing and integrating data and knowledge for biomedical research.","volume":"2008","author":"A Burgun","year":"2008","journal-title":"Yearb Med Inform"},{"key":"ref25","first-page":"161","article-title":"Modeling point neurons: From Hodgkin-Huxley to integrate-and-fire.","author":"N Brunel","year":"2010"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1008906225285","article-title":"Role of an A-type K+ conductance in the back- propagation of action potentials in the dendrites of hippocampal pyramidal neurons.","volume":"7","author":"M Migliore","year":"1999","journal-title":"J Comput Neurosci"},{"key":"ref27","first-page":"19","article-title":"Toward a mathematical semantics for computer languages.","author":"D Scott","year":"1971"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1023\/A:1010066127644","article-title":"Induction, domains, calculi: Strachey's contributions to programming-language engineering.","volume":"13","author":"D Schmidt","year":"2000","journal-title":"Higher-Order and Symbolic Computation"},{"key":"ref29","first-page":"27","article-title":"Cable theory for dendritic neurons.","author":"W Rall","year":"1998"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1145\/177492.177578","article-title":"Metalevel building blocks for modular systems.","volume":"16","author":"S Jagannathan","year":"1994","journal-title":"ACM Trans Program Lang Syst"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1146\/annurev.physchem.58.032806.104637","article-title":"Stochastic simulation of chemical kinetics.","volume":"58","author":"D Gillespie","year":"2007","journal-title":"Annu Rev Phys Chem"},{"key":"ref32","first-page":"1716","article-title":"Approximate accelerated stochastic simulation of chemically reacting systems.","volume":"115","author":"D Gillespie","year":"2001","journal-title":"Annu Rev Phys Chem"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1016\/j.biosystems.2006.12.009","article-title":"Stochastic p systems and the simulation of biochemical processes with dynamic compartments.","volume":"91","author":"A Spicher","year":"2008","journal-title":"Biosystems"},{"key":"ref34","first-page":"213","article-title":"Reasoning about functional programs.","author":"L Paulson","year":"1996"},{"key":"ref35","first-page":"45","article-title":"Multi-paradigm declarative languages.","author":"M Hanus","year":"2007"},{"key":"ref36","first-page":"18","article-title":"Practical advantages of declarative programming.","author":"J Lloyd","year":"1994"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"e1000886","DOI":"10.1371\/journal.pcbi.1000886","article-title":"Stochastic ion channel gating in dendritic neurons: Morphology dependence and probabilistic synaptic activation of dendritic spikes.","volume":"6","author":"R Cannon","year":"2010","journal-title":"PLoS Comput Biol"},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718195","article-title":"Simulating, Analyzing, and Animating Dynamical Systems: A Guide to XPPAUT for Researchers and Students.","author":"B Ermentrout","year":"2002"},{"key":"ref39","article-title":"Systems biology markup language (SBML) Level 2 Version 4: Structures and facilities for model definitions.","author":"M Hucka","year":"2008"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"447","DOI":"10.2170\/physiolsci.RP013308","article-title":"Specifications of insilicoML 1.0: A multilevel biophysical model description language.","volume":"58","author":"Y Asai","year":"2008","journal-title":"J Physiol Sci"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1038\/nrg1872","article-title":"Addressing the problems with life-science databases for traditional uses and systems biology.","volume":"7","author":"S Philippi","year":"2006","journal-title":"Nat Rev Genet"},{"key":"ref42","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3389\/neuro.11.011.2008","article-title":"PyNN: a common interface for neuronal network simulators.","volume":"2","author":"A Davison","year":"2008","journal-title":"Front Neuroinform"},{"key":"ref43","first-page":"723","article-title":"Lambda-calculus and combinators in the 20th century.","author":"F Cardone","year":"2009"},{"key":"ref44","article-title":"The Definition of Standard ML, Revised Edition","author":"R Milner","year":"1997"},{"key":"ref45","article-title":"Semantics of programming languages: structures and techniques","author":"C Gunter","year":"1992"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"9199","DOI":"10.1016\/S0164-1212(00)00089-3","article-title":"Notable design patterns for domain specific languages.","volume":"56","author":"D Spinellis","year":"2001","journal-title":"J Syst Softw"},{"key":"ref47","first-page":"19","article-title":"Revised report on the algorithmic language ALGOL 60.","author":"J Backus","year":"1997"},{"key":"ref48","first-page":"254","article-title":"A universal scripting framework or Lambda: the ultimate \u201clittle language\u201d.","author":"O Shivers","year":"1996"}],"container-title":["PLoS Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/dx.plos.org\/10.1371\/journal.pcbi.1002521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T21:23:48Z","timestamp":1561757028000},"score":1,"resource":{"primary":{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.1002521"}},"subtitle":[],"editor":[{"given":"Sean","family":"Hill","sequence":"first","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2012,5,17]]},"references-count":48,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2012,5,17]]}},"URL":"https:\/\/doi.org\/10.1371\/journal.pcbi.1002521","relation":{},"ISSN":["1553-7358"],"issn-type":[{"value":"1553-7358","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,17]]}}}