BDI-modelling of complex intracellular dynamics

Journal of Theoretical Biology

Volumn 251, Issue 1, 2008, Pages 1-23

  Jonker, C M ^a,d   Snoep, J L ^a,b   Treur, J ^a   Westerhoff, H V ^a,c   Wijngaards, W C A ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b STELLENBOSCH UNIVERSITY   (South Africa)

^c STELLENBOSCH INSTITUTE FOR ADVANCED STUDY   (South Africa)

^d DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

BDI model; Catabolite repression; Continuous time; Intentional; Modelling of bacterial behaviour; Regulation

Indexed keywords

GLUCOSE; LACTOSE; OXYGEN;

BACTERIUM; BIOCHEMISTRY; CATABOLISM; DECISION MAKING; MICROBIAL ACTIVITY; MODELING;

ALGORITHM; ARTICLE; BEHAVIORAL SCIENCE; CYTOLOGY; DECISION MAKING; ESCHERICHIA COLI; PRIORITY JOURNAL; SCIENTIFIC LITERATURE; SIMULATION;

ANIMALS; COMPUTER SIMULATION; ESCHERICHIA COLI; GLUCOSE; INTRACELLULAR SPACE; LACTOSE; MODELS, BIOLOGICAL; MODELS, CHEMICAL; OXYGEN; SYSTEMS BIOLOGY;

BACTERIA (MICROORGANISMS); ESCHERICHIA COLI;

EID: 39149111276     PISSN: 00225193     EISSN: 10958541     Source Type: Journal    
DOI: 10.1016/j.jtbi.2007.10.017     Document Type: Article

References (55)

1. Bakker B.M., Michels P.A.M., Opperdoes F.R., and Westerhoff H.V. Glycolysis in bloodstream form Trypanosoma brucei can be understood in terms of the kinetics of the glycolytic enzymes. J. Biol. Chem. 272 (1997) 3207-3215
2. Barringer H., Fisher M., Gabbay D., Owens R., and Reynolds M. The Imperative Future: Principles of Executable Temporal Logic (1996), Research Studies Press Ltd., Wiley
3. Ben-Jacob E., Cohen I., Czirók A., Vicsek T., and Gutnick D.L. Chemomodulation of cellular movement and collective formation of vortices by swarming bacteria. Physica A 238 (1997) 181-197
4. Bosse T., Jonker C.M., van der Meij L., and Treur J. A language and environment for analysis of dynamics by SimulaTiOn. Int. J. Artif. Intell. Tools 16 2007 (2007) 435-464
5. Bosse T., Jonker C.M., van der Meij L., Sharpanskykh A., and Treur J. Specification and verification of dynamics in cognitive agent models. In: Nishida T., Klusch M., Sycara K., Yokoo M., Liu J., Wah B., Cheung W., and Cheung Y.-M. (Eds). Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT'06 (2006), IEEE Computer Society Press 247-254
6. Bruckner R., and Titgemeyer F. Carbon catabolite repression in bacteria: choice of the carbon source and autoregulation limitation. FEMS Microbiol. Lett. 209 (2002) 141-148
7. Chaochen Z., Hoare C.A.R., and Ravn A.P. A calculus of durations. Inform. Process. Lett. 40 (1991) 269-276
8. Dardenne A., van Lamsweerde A., and Fickas S. Goal-directed requirements acquisition. Sci. Comput. Programm. 20 (1993) 3-50
9. Darimont, R., Lamsweerde, A., 1996. Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4), pp. 179-190.
10. Death A., and Ferenci T. Between feast and famine: endogenous inducer synthesis in the adaptation of Escherichia coli to growth with limiting carbohydrates. J. Bacteriol. 176 (1994) 5101-5107
11. Dretske F.I. Explaining Behaviour: Reasons in a World of Causes (1988), MIT Press, Cambridge, MA
12. Dubois, E., Du Bois, P., Zeippen, J.M., 1995. A formal requirements engineering method for real-time, concurrent, and distributed systems. In: Proceedings of the Real-Time Systems Conference, RTS'95.
13. Elgot-Drapkin J.J., and Perlis D. Reasoning situated in time I: basic concepts. J. Exp. Theor. Artif. Intell. 2 (1990) 75-98
14. Finger M., and Gabbay D. Adding a temporal dimension to a logic system. J. Logic Language Inform. 1 (1992) 203-233
15. Fisher, M., 1994. A survey of concurrent MetateM-the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (Eds.), Temporal Logic-Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480-505.
16. Fisher M. Temporal development methods for agent-based systems. J. Autonom. Agents Multi-Agent Syst. 10 (2005) 41-66
17. Galton, A., 2003. Temporal Logic. Stanford Encyclopedia of Philosophy, URL: 〈http://plato.stanford.edu/entries/logic-temporal/#2〉.
18. Galton A. Operators vs arguments: the ins and outs of reification. Synthese 150 (2006) 415-441
19. Heinrich R., and Schuster S. The Regulation of Cellular Systems (1996), Chapman & Hall, New York, USA
20. Hutchison C.A., Peterson S.N., Gill S.R., Cline R.T., White O., Fraser C.M., Smith H.O., and Venter J.C. Global transposon mutagenesis and a minimal Mycoplasma genome. Science 286 5447 (1999) 2165-2169
21. Hynne F., Dano S., and Sorensen P.G. Full-scale model of glycolysis in Saccharomyces cerevisiae. Biophys. Chem. 94 1-2 (2001) 121-163
22. Jonker C.M., Snoep J.L., Treur J., Westerhoff H.V., and Wijngaards W.C.A. Putting intentions into cell biochemistry: an artificial intelligence perspective. J. Theor. Biol. 214 (2002) 105-134
23. Jonker C.M., Treur J., and Wijngaards W.C.A. A temporal modelling environment for internally grounded beliefs, desires and intentions. Cognit. Syst. Res. J. 4 3 (2003) 191-210
24. Kahn D., and Westerhoff H.V. Control theory of regulatory cascades. J. Theor Biol. 153 2 (1991) 255-285
25. Kholodenko B.N., Demin O.V., Moehren G., and Hoek J.B. Quantification of short term signaling by the epidermal growth factor receptor. J. Biol. Chem. 274 42 (1999) 30169-30181
26. Kim J. Philosophy of Mind (1996), Westview Press
27. Mendes P. Biochemistry by numbers: simulation of biochemical pathways with Gepasi 3. Trends Biochem. Sci. 22 (1997) 361-363. http://www.gepasi.org/ URL: 〈http://www.gepasi.org/〉
28. Moller K., Christensen B., Forster J., Piskur J., Nielsen J., and Olsson L. Aerobic glucose metabolism of Saccharomyces kluyveri: growth, metabolite production, and quantification of metabolic fluxes. Biotechnol. Bioeng. 77 2 (2002) 186-193
29. Mulquiney P.J., and Kuchel P.W. Model of 2,3-bisphosphoglycerate metabolism in the human erythrocyte based on detailed enzyme kinetic equations: computer simulation and metabolic control analysis. Biochem. J. 342 Part 3 (1999) 597-604
30. Nagel E. The Structure of Science (1961), Harcourt, Brace & World, New York
31. In: Neidhardt F.C., Curtiss III R., Ingraham J.L., Lin E.C.C., Brooks Low K., Magasanik B., Reznikoff W.S., Riley M., Schaechter M., and Umbarger H.E. (Eds). Escherichia coli and Salmonella typhimurium (1996), ASM Press, Washington, DC
32. Rao A.S., and Georgeff M.P. Modelling rational agents within a BDI-architecture. In: Allen J., Fikes R., and Sandewall E. (Eds). Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, (KR'91) (1991), Morgan Kaufmann 473-484
33. Rizzi M., Baltes M., Theobald U., and Reuss M. In vivo analysis of metabolic dynamics in Saccharomyces cerevisiae: II. Mathematical model. Biotechnol. Bioeng. 55 (1997) 592-608
34. Rohwer J.M., Jensen P.R., Shinohara Y., Postma P.W., and Westerhoff H.V. Changes in the cellular energy state affect the activity of the bacterial phosphotransferase system. Eur. J. Biochem. 235 1-2 (1996) 225-230
35. Rohwer J.M., Schuster S., and Westerhoff H.V. How to recognize monofunctional units in a metabolic system. J. Theor. Biol. 179 3 (1996) 213-228
36. Rohwer J.M., Postma P.W., Kholodenko B.N., and Westerhoff H.V. Implications of macromolecular crowding for signal transduction and metabolite channeling. Proc. Natl. Acad. Sci. USA 95 18 (1998) 10547-10552
37. Rohwer J.M., Meadow N.D., Roseman S., Westerhoff H.V., and Postma P.W. Understanding glucose transport by the bacterial phosphoenolpyruvate: glycose phosphotransfer-ase system on the basis of kinetic measurements in vitro. J. Biol. Chem. 275 45 (2000) 34909-34921
38. Sandewall E. Logic-based modelling of goal-directed behavior. Linköping Electron. Articles Comput. Inform. Sci. 2 19 (1997)
39. Schilling C.H., Letscher D., and Palsson B.Ø. Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway-oriented perspective. J. Theor. Biol. 203 (2000) 229-248
40. Sloman A., and Poli R. SIM_AGENT: a toolkit for exploring agent designs. In: Wooldridge W., Mueller J., and Tambe M. (Eds). Intelligent Agents Volume II (ATAL-95) (1995), Springer, New York 392-407
41. Stock J.B., Waygood E.B., Meadow N.D., Postma P.W., and Roseman S. Sugar transport by the bacterial phosphotransferase system. J. Biol. Chem. 257 (1982) 14543-14552
42. Teusink B., Passarge J., Reijenga C.A., Esgalhado E., van der Weijden C.C., Schepper M., Walsh M.C., Bakker B.M., van Dam K., Westerhoff H.V., and Snoep J.L. Can yeast glycolysis be understood in terms of in vitro kinetics of the constituent enzymes? Testing biochemistry. Eur. J. Biochem. 267 17 (2000) 5313-5329
43. Thomas R. Boolean formulization of genetic control circuits. J. Theor. Biol. 42 (1973) 565-583
44. In: Thomas R. (Ed). Kinetic Logic: a Boolean Approach to the Analysis of Complex Regulatory Systems, Lecture Notes in Biomathematics (1979), Springer, New York
45. Thomas R. Regulatory networks seen as asynchronous automata: a logical description. J. Theor. Biol. 153 (1991) 1-23
46. Tomita M., Hashimoto K., Takahashi K., Shimizu T., Matsuzaki Y., Miyoshi F., Saito K., Tanida S., Yugi K., Venter J.C., and Hutchison C. E-CELL: software environment for whole-cell simulation. Bioinformatics 15 1 (1999) 72-84
47. van Rotterdam B.J., Crielaard W., van Stokkum I.H., Hellingwerf K.J., and Westerhoff H.V. Simplicity in complexity: the photosynthetic reaction center performs as a simple 0.2 V battery. FEBS Lett. 510 1-2 (2002) 105-107
48. van Workum M., van Dooren S.J.M., Oldenburg N., Molenaar D., Jensen P.R., Snoep J.L., and Westerhoff H.V. Mol. Microbiol. 20 (1996) 351-360
49. Visser D., van der Heijden R., Mauch K., Reuss M., and Heijnen S. Tendency modeling: a new approach to obtain simplified kinetic models of metabolism applied to Saccharomyces cerevisiae. Metab. Eng. 2 3 (2002) 252-275
50. Wang J., Gilles E.D., Lengeler J.W., and Jahreis K. Modeling of inducer exclusion and catabolite repression based on a PTS-dependent sucrose and non-PTS-dependent glycerol transport systems in Escherichia coli K-12 and its experimental verification. J. Biotechnol. 92 2 (2001) 133-158
51. Warner J.B., and Lolkema J.S. CcpA-dependent carbon catabolite repression in bacteria. Microbiol. Mol. Biol. Rev. 67 (2003) 475-490
52. West A.H., and Stock A.M. Histidine kinase and response regulation proteins in two-component signalling systems. Trends Biochem. Sci. 26 (2001) 369-376
53. Westerhoff H.V. The silicon cell, not dead but live!. Metab. Eng. 3 3 (2001) 207-210
54. Westerhoff H.V., and van Dam K. Thermodynamics and Control of Biological Free-Energy Transduction (1987), Elsevier, Amsterdam
55. Wright B.E., and Albe K.R. Carbohydrate metabolism in Dictyostelium discoideum: I. Model construction. J. Theor. Biol. 169 (1994) 231-241