{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:11:12Z","timestamp":1770750672586,"version":"3.50.0"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,12,8]],"date-time":"2006-12-08T00:00:00Z","timestamp":1165536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2007,6,18]]},"DOI":"10.1007\/s10489-006-0026-y","type":"journal-article","created":{"date-parts":[[2006,12,7]],"date-time":"2006-12-07T20:31:54Z","timestamp":1165523514000},"page":"1-20","source":"Crossref","is-referenced-by-count":2,"title":["Agent-oriented modeling of the dynamics of biological organisms"],"prefix":"10.1007","volume":"27","author":[{"given":"Catholijn M.","family":"Jonker","sequence":"first","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,12,8]]},"reference":[{"key":"26_CR1","unstructured":"Barringer H, Fisher M, Gabbay D, Owens R, Reynolds M (1996) The imperative future: principles of executable temporal logic. Research Studies Press Ltd. and John Wiley & Sons"},{"key":"26_CR2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0378-4371(96)00457-8","volume":"238","author":"E Ben-Jacob","year":"1997","unstructured":"Ben-Jacob E, Cohen I, Czir\u00f3k A, Vicsek T, Gutnick DL (1997) Chemomodulation of cellular movement and collective formation of vortices by swarming bacteria. Physica A 238:181\u2013197","journal-title":"Physica A"},{"key":"26_CR3","unstructured":"Bosse T, Jonker CM, van der Meij L, Treur J (2005) LEADSTO: A language and environment for analysis of dynamics by simulation. In: Eymann T, Kluegl F, Lamersdorf W, Klusch M, Huhns MN (eds) Proceedings of the third german conference on multi-agent system technologies, MATES\u201905. Lecture notes in artificial intelligence, vol. 3550. Springer Verlag, pp 165\u2013178"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Bosse T, Jonker CM, Treur J (2006) On the use of multi-agent organisation modelling techniques to address biological organisation. Technical Report. Vrije Universiteit Amsterdam","DOI":"10.3233\/MGS-2007-3205"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Brazier FMT, Dunin-Keplicz B, Treur J, Verbrugge LC (1999) Modelling internal dynamic behavior of BDI agents. In: Meyer J-JCh, Schobbes PY (eds) Formal models of agents (Selected papers from final ModelAge Workshop). Lecture notes in AI, vol 1760. Springer Verlag, pp 36\u201356","DOI":"10.1007\/3-540-46581-2_4"},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0169-023X(01)00058-1","volume":"41","author":"FMT Brazier","year":"2002","unstructured":"Brazier FMT, Jonker CM, Treur J (2002) Principles of component-based design of intelligent agents. Data Knowl Eng 41:1\u201328","journal-title":"Data Knowl Eng"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1080\/088395100403397","volume":"14","author":"FMT Brazier","year":"2000","unstructured":"Brazier FMT, Jonker CM, Treur J (2000) Compositional design and reuse of a generic agent model. Appl Artif Intell J 14:491\u2013538","journal-title":"Appl Artif Intell J"},{"key":"26_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20:3\u201350","journal-title":"Sci Comput Program"},{"key":"26_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2027085","volume":"88","author":"DC Dennett","year":"1991","unstructured":"Dennett DC (1991) Real patterns. J Philos 88:27\u201351","journal-title":"J Philos"},{"key":"26_CR10","volume-title":"The intentional stance","author":"D Dennett","year":"1987","unstructured":"Dennett D (1987) The intentional stance. MIT Press, Cambridge, MA"},{"key":"26_CR11","unstructured":"Dubois E, Du Bois P, Zeippen JM (1995) A formal requirements engineering method for real-time, concurrent, and distributed systems. In: Proceedings of the real-time systems conference, RTS\u201995"},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s10458-004-3140-4","volume":"10","author":"M Fisher","year":"2005","unstructured":"Fisher M (2005) Temporal development methods for agent-based systems. J Auton Agents Multi-Agent Syst 10:41\u201366","journal-title":"J Auton Agents Multi-Agent Syst"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Fisher M (1996) A temporal semantics for concurrent METATEM. J Symbolic Comput 22(5):627\u2013648, November\/December 1996, Academic Press","DOI":"10.1006\/jsco.1996.0069"},{"key":"26_CR14","unstructured":"Galton A (2003) Temporal logic. Stanford Encyclopedia of Philosophy, URL: http:\/\/plato.stanford.edu\/entries\/logic-temporal\/#2 ."},{"key":"26_CR15","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/s11229-005-5516-7","volume":"150","author":"A Galton","year":"2006","unstructured":"Galton A (2006) Operators vs arguments: The Ins and Outs of reification. Synthese 150:415\u2013441","journal-title":"Synthese"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Gamboa R (2000) Continuity and differentiability in ACL2. In: Kaufmann M, Manolios P, Moore JS (eds) Computer-aided reasoning: ACL2 case studies. Kluwer Academic Press","DOI":"10.1007\/978-1-4757-3188-0_18"},{"key":"26_CR17","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1023\/A:1011908113514","volume":"27","author":"R Gamboa","year":"2001","unstructured":"Gamboa R, Kaufmann M (2001) Nonstandard analysis in ACL2. J Autom Reasoning 27:323\u2013351","journal-title":"J Autom Reasoning"},{"key":"26_CR18","unstructured":"Georgeff MP, Lansky AL (1987) Reactive reasoning and planning. In: Proceedings of the national conference of the American association for AI, AAAI\u201987. Morgan Kaufman"},{"key":"26_CR19","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1086\/286983","volume":"15","author":"CG Hempel","year":"1948","unstructured":"Hempel CG, Oppenheim P (1948) Studies in the logic of explanation. Philos Sci 15:135\u2013175","journal-title":"Philos Sci"},{"key":"26_CR20","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/j.knosys.2005.05.002","volume":"18","author":"DE Herlea Damian","year":"2005","unstructured":"Herlea Damian DE, Jonker CM, Treur J, Wijngaards NJE (2005) Integration of behavioural requirements specification within compositional knowledge engineering. Knowl-Based Syst J 18:353\u2013365","journal-title":"Knowl-Based Syst J"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Herlea DE, Jonker CM, Treur J, Wijngaards NJE (1999) Specification of behavioral requirements within compositional multi-agent system design. In: Garijo FJ, Boman M (eds) Multi-agent system engineering. Proceedings of the 9th European workshop on modelling autonomous agents in a multi-agent world, MAAMAW\u201999. Lecture notes in AI, vol 1647. Springer Verlag, Berlin, pp 8\u201327","DOI":"10.1007\/3-540-48437-X_2"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Jacob P (1997) What minds can do: intentionality in a non-intentional world. Cambridge University Press","DOI":"10.1017\/CBO9780511583315"},{"key":"26_CR23","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"NR Jennings","year":"2000","unstructured":"Jennings NR (2000) On agent-based software engineering. Artif Intell 117:277\u2013296","journal-title":"Artif Intell"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Jennings NR, Wooldridge M (1998) Applications of intelligent agents. In: (Jennings and Wooldridge, 1998) pp 3\u201328","DOI":"10.1007\/978-3-662-03678-5_1"},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"Jennings NR, Wooldridge M (eds) (1998) Agent technology: foundations, applications, and markets. Springer Verlag","DOI":"10.1007\/978-3-662-03678-5"},{"key":"26_CR26","unstructured":"Jonker CM, Letia IA, Treur J (2002) Diagnosis of the dynamics within an organisation by trace checking of behavioural requirements. In: Wooldridge M, Weiss G, Ciancarini P (eds) Proceedings of the 2nd international workshop on agent-oriented software engineering, AOSE\u201901. Lecture notes in computer science, vol 2222. Springer Verlag, pp 17\u201332"},{"key":"26_CR27","unstructured":"Jonker CM, Snoep JL, Treur J, Westerhoff HV, Wijngaards WCA (2001) Temporal modelling of the dynamics of intentional bacterial behaviour. In: Cottam R, Paton R (eds) Proceedings of the fourth international workshop on information processing in cells and tissues. IPCAT 2001"},{"key":"26_CR28","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jtbi.2001.2444","volume":"214","author":"CM Jonker","year":"2002","unstructured":"Jonker CM, Snoep JL, Treur J, Westerhoff HV, Wijngaards WCA (2002) Putting intentions into cell biochemistry: an artificial intelligence perspective. J Theor Biol 214:105\u2013134","journal-title":"J Theor Biol"},{"key":"26_CR29","doi-asserted-by":"crossref","unstructured":"Jonker CM, Treur J (2002) Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. Int J Coop Inf Syst 11:51\u201392. Earlier, shorter version in: de Roever WP, Langmaack H, Pnueli A (eds) Proceedings of the international workshop on compositionality, COMPOS\u201997. Lecture notes in computer science, vol 1536. Springer Verlag, 1998, pp 350\u2013380","DOI":"10.1142\/S0218843002000480"},{"key":"26_CR30","unstructured":"Jonker CM, Treur J (1998) Agent-based simulation of reactive, pro-active and social animal behavior. In: Mira J, del Pobil AP, Ali M (eds) Methodology and tools in knowledge-based systems (Proceedings of the 11th international conference on industrial and engineering applications of AI and expert systems, IEA\/AIE\u201998, vol I), Lecture Notes in AI, vol 1415. Springer Verlag, pp 584\u2013595"},{"key":"26_CR31","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S1389-0417(02)00103-1","volume":"4","author":"CM Jonker","year":"2003","unstructured":"Jonker CM, Treur J (2003) A temporal-interactivist perspective on the dynamics of mental states. Cogn Syst Res J 4:137\u2013155","journal-title":"Cogn Syst Res J"},{"key":"26_CR32","doi-asserted-by":"crossref","unstructured":"Jonker CM, Treur J, Wijngaards WCA (2003) A temporal modelling environment for internally grounded beliefs, desires and intentions. Cogn Syst Res J 4(3):191\u2013210. Earlier, shorter version in: Dunin-Keplicz B, Nawarecki E (eds) From theory to practice in multi-agent systems, Proceedings of the second international workshop of central and eastern Europe on multi-agent systems, CEEMAS\u201901, 2001. Lecture Notes in AI, vol 2296. Springer Verlag, 2002","DOI":"10.1016\/S1389-0417(03)00004-4"},{"key":"26_CR33","doi-asserted-by":"crossref","unstructured":"Kholodenko BN, Demin OV, Moehren G, Hoek JB (1999) Quantification of short term signaling by the epidermal growth factor receptor. J Biol Chem 274(42):30169\u201330181","DOI":"10.1074\/jbc.274.42.30169"},{"key":"26_CR34","unstructured":"Kim J (1996) Philosophy of mind. Westview press"},{"key":"26_CR35","doi-asserted-by":"crossref","unstructured":"M\u00fcller JP (1996) The design of intelligent agents: a layered approach. Lecture notes in AI, vol 1177. Springer Verlag","DOI":"10.1007\/BFb0017806"},{"key":"26_CR36","unstructured":"M\u00fcller JP, Pischel M, Thiel M (1995) Modelling reactive behavior in vertically layered agent architectures. In: (Wooldridge and Jennings, 1995) pp 261\u2013276"},{"key":"26_CR37","doi-asserted-by":"crossref","unstructured":"Nwana HS (1996) Software agents: an overview. Knowl Eng Rev 11(3):205\u2013244","DOI":"10.1017\/S026988890000789X"},{"key":"26_CR38","unstructured":"Nwana HS, Ndumu DT (1998) A brief introduction to software agent technology. In: (Jennings and Wooldridge, 1998) pp 29\u201347"},{"key":"26_CR39","unstructured":"Odell J, Van Dyke Parunak H, Bauer B (2000) Representing agent interaction protocols in UML. Proceedings AOSE 2000, vol 1957. Springer Verlag, LNCS, pp 121\u2013140"},{"issue":"1","key":"26_CR40","doi-asserted-by":"crossref","first-page":"39","DOI":"10.5381\/jot.2003.2.1.c5","volume":"2","author":"J Odell","year":"2003","unstructured":"Odell J, Van Dyke Parunak H, Fleischer M (2003) Modeling agents and their environment: The communication environment. J Object Technol 2(1):39\u201352","journal-title":"J Object Technol"},{"issue":"3","key":"26_CR41","doi-asserted-by":"crossref","first-page":"39","DOI":"10.5381\/jot.2003.2.3.c5","volume":"2","author":"J Odell","year":"2003","unstructured":"Odell J, Van Dyke Parunak H, Fleischer M (2003) Modeling agents and their environment: the communication environment. J Object Technol 2(3):39\u201352","journal-title":"J Object Technol"},{"key":"26_CR42","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1023\/A:1018980001403","volume":"75","author":"HVD Parunak","year":"1997","unstructured":"Parunak HVD (1997) \u2018Go to the Ant\u2019: Engineering principles from natural agent systems. Ann Oper Res 75:69\u2013101","journal-title":"Ann Oper Res"},{"key":"26_CR43","unstructured":"Rao AS, Georgeff MP (1991) Modeling rational agents within a BDI architecture. In: Fikes R, Sandewall E (eds) Proceedings of the second conference on knowledge representation and reasoning. Morgan Kaufman, pp 473\u2013484"},{"key":"26_CR44","doi-asserted-by":"crossref","first-page":"592","DOI":"10.1002\/(SICI)1097-0290(19970820)55:4<592::AID-BIT2>3.0.CO;2-C","volume":"55","author":"M Rizzi","year":"1997","unstructured":"Rizzi M, Baltes M, Theobald U, Reuss M (1997) In vivo analysis of metabolic dynamics in Saccharomyces cerevisiae: II. Mathematical model. Biotechnol Bioeng 55:592\u2013608","journal-title":"Mathematical model. Biotechnol Bioeng"},{"issue":"45","key":"26_CR45","doi-asserted-by":"crossref","first-page":"34909","DOI":"10.1074\/jbc.M002461200","volume":"275","author":"JM Rohwer","year":"2000","unstructured":"Rohwer JM, Meadow ND, Roseman S, Westerhoff HV, Postma PW (2000) Understanding glucose transport by the bacterial phosphoenolpyruvate: glycose phosphotransferase system on the basis of kinetic measurements in vitro. J Biol Chem 275(45):34909\u201334921","journal-title":"J Biol Chem"},{"key":"26_CR46","doi-asserted-by":"crossref","unstructured":"van Rotterdam BJ, Crielaard W, van Stokkum IH, Hellingwerf KJ, Westerhoff HV (2002) Simplicity in complexity: the photosynthetic reaction center performs as a simple 0.2 V battery. FEBS Lett 510(1\u20132):105\u2013107","DOI":"10.1016\/S0014-5793(01)03210-0"},{"key":"26_CR47","unstructured":"Sharpanskykh A, Treur J (2006) Verifying interlevel relations within multi-agent systems. In: Proceedings of the 17th European conference on artificial intelligence. Riva del Garda. IOS Press"},{"key":"26_CR48","unstructured":"Stuart AM, Humphries AR (1996) Dynamical systems and numerical analysis. Cambrige University Press"},{"issue":"17","key":"26_CR49","doi-asserted-by":"crossref","first-page":"5313","DOI":"10.1046\/j.1432-1327.2000.01527.x","volume":"267","author":"B Teusink","year":"2000","unstructured":"Teusink B, Passarge J, Reijenga CA, Esgalhado E, van der Weijden CC, Schepper M, Walsh MC, Bakker BM, van Dam K, Westerhoff HV, Snoep JL (2000) Can yeast glycolysis be understood in terms of in vitro kinetics of the constituent enzymes? Testing biochemistry. Eur J Biochem 267(17):5313\u20135329","journal-title":"Eur J Biochem"},{"key":"26_CR50","unstructured":"Vauclair J (1996) Animal cognition. Harvard Univerity Press, Cambridge, Massachusetts."},{"key":"26_CR51","doi-asserted-by":"crossref","unstructured":"Westerhoff HV (2001) The silicon cell, not dead but live! Metab Eng 3(3):207\u2013210","DOI":"10.1006\/mben.2001.0192"},{"key":"26_CR52","doi-asserted-by":"crossref","unstructured":"Wooldridge M, Jennings NR (eds) (1995) Intelligent agents. Lecture notes in artificial intelligence, vol 890. Springer Verlag, Berlin","DOI":"10.1007\/3-540-58855-8"},{"key":"26_CR53","doi-asserted-by":"crossref","unstructured":"Wooldridge MJ, Jennings NR (1995) Agent theories, architectures, and languages: a survey. In: (Wooldridge and Jennings, 1995) pp 1\u201339","DOI":"10.1007\/3-540-58855-8_1"},{"issue":"2","key":"26_CR54","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"MJ Wooldridge","year":"1995","unstructured":"Wooldridge MJ, Jennings NR (1995) Intelligent agents: theory and practice. Knowl Eng Rev 10(2):115\u2013152","journal-title":"Knowl Eng Rev"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0026-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-006-0026-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0026-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T22:24:16Z","timestamp":1683671056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-006-0026-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,8]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,6,18]]}},"alternative-id":["26"],"URL":"https:\/\/doi.org\/10.1007\/s10489-006-0026-y","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,8]]}}}