{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:52:22Z","timestamp":1649199142948},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,1,24]],"date-time":"2007-01-24T00:00:00Z","timestamp":1169596800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,1,24]],"date-time":"2007-01-24T00:00:00Z","timestamp":1169596800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1007\/s10489-006-0024-0","type":"journal-article","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T18:09:14Z","timestamp":1169575754000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Specification, analysis and simulation of the dynamics within an organisation"],"prefix":"10.1007","volume":"27","author":[{"given":"Catholijn M.","family":"Jonker","sequence":"first","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]},{"given":"Wouter C. A.","family":"Wijngaards","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,24]]},"reference":[{"key":"24_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":"24_CR2","doi-asserted-by":"crossref","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) Proc. of the third german conference on multi-agent system technologies, MATES\u201905. Lecture Notes in Artificial Intelligence, vol. 3550. Springer Verlag, pp 165\u2013178","DOI":"10.1007\/11550648_15"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Bosse T, Jonker CM, van der Meij L, Sharpanskykh A, Treur J (2006) Specification and verification of dynamics in cognitive agent models. In: Proceedings of the sixth international conference on intelligent agent technology, IAT\u201906. IEEE Computer Society Press, to appear.","DOI":"10.1109\/IAT.2006.112"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Brazier FMT, Jonker CM, Treur J (2002) Principles of component-based design of intelligent agents. Data and Knowledge Engineering, 41:1\u201328. Also In: Cuena J, Demazeau Y, Garcia A, Treur J (eds) (2004) Knowledge engineering and agent technology. IOS Press, pp 89\u2013113","DOI":"10.1016\/S0169-023X(01)00058-1"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Brazier FMT, Jonker CM, J\u00fcngen FJ, Treur J (1999) Distributed scheduling to support a call centre: a co-operative multi-agent approach. In: Nwana HS, Ndumu DT (eds) Applied artificial intelligence journal, vol. 13. Special Issue on Multi-Agent Systems, pp 65\u201390","DOI":"10.1080\/088395199117496"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Bouajjani A, Lakhnech Y, Yovine S (1996) Model checking for extended timed temporal logic. In: Jonsson B, Parrow J (eds) Proc. of the 4th international symposium formal techniques in real-time and fault-tolerant systems, FTRTFT\u201996, Uppsala, Sweden, September 1996. Lecture Notes in Computer Science, vol. 1135, Springer-Verlag, pp 306\u2013326","DOI":"10.1007\/3-540-61648-9_48"},{"key":"24_CR7","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press"},{"key":"24_CR8","unstructured":"Ferber J, Gutknecht O (1998) A meta-model for the analysis and design of organisations in multi-agent systems. In: Demazeau Y (ed) Proc of the third international conference on multi-agent systems (ICMAS \u201998) Proceedings. IEEE Computer Society, pp 128\u2013135"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Ferber J, Gutknecht O (2000) Operational semantics of a role-based agent architecture. In: Jennings NR, Lesperance Y (eds) Intelligent Agents IV, Proceedings of the 6th Int. Workshop on Agent Theories, Architectures and Languages. Lecture Notes in AI, vol. 1757, Springer-Verlag, pp 205\u2013217.","DOI":"10.1007\/10719619_15"},{"key":"24_CR10","unstructured":"Ferber J, Gutknecht O, Jonker CM, M\u00fcller JP, Treur J (2000) Organisation models and behavioural requirements specification for multi-agent systems. In: Demazeau Y, Garijo F (eds) Multi-agent system organisations. Proc. of the 10th European workshop on modelling autonomous agents in a multi-agent world, MAAMAW\u201901, pp 1\u201319."},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Ferber J, Gutknecht O, Michel F (2004) From agents to organizations: an organizational view of multi-agent systems. In: Giorgini P, Muller JP, Odell J (eds) Agent-oriented software engineering IV: Proc. of the fourth international workshop, AOSE 2003, Lecture Notes in AI, vol 2935, Springer Verlag, Berlin, 2004, pp 214\u2013230","DOI":"10.1007\/978-3-540-24620-6_15"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Fisher M (1994) A survey of concurrent metateM\u2014the language and its applications. In: Gabbay DM, Ohlbach HJ (eds) Temporal logic\u2014proceedings of the first international conference, Lecture Notes in AI, vol. 827, pp 480\u2013505","DOI":"10.1007\/BFb0014005"},{"key":"24_CR13","doi-asserted-by":"publisher","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":"24_CR14","unstructured":"Galton A (2003) Temporal logic. Stanford Encyclopedia of Philosophy, URL: http:\/\/plato.stanford.edu\/entries\/logic-temporal\/#2"},{"key":"24_CR15","doi-asserted-by":"publisher","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"},{"issue":"2","key":"24_CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T Henzinger","year":"1994","unstructured":"Henzinger T, Nicollin X, Sifakis J, Yovine S (1994) Symbolic model checking for real-time systems. Inf Comput 111(2):193\u2013244, Academic Press","journal-title":"Inf Comput"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Herlea DE, Jonker CM, Treur J, Wijngaards NJE (1999) Specification of behavioural requirements within compositional multi-agent system design. In: Garijo FJ, Boman M (eds) Multi-agent system engineering, Proc of the 9th european workshop on modelling autonomous agents in a multi-agent world, MAAMAW\u201999. Lecture Notes in AI, vol. 1647, Springer Verlag, pp 8\u201327","DOI":"10.1007\/3-540-48437-X_2"},{"key":"24_CR18","doi-asserted-by":"publisher","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":"24_CR19","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler S, Thielscher M (1990) A new deductive approach to planning. New Gener Comput 8:225\u2013244","journal-title":"New Gener Comput"},{"key":"24_CR20","unstructured":"Hodkinson I, Reynolds M (2005) Separation \u2013 past, present and future. In: Artemov S, Barringer H, d\u2019Avila Garcez AS, Lamb LC, Woods J (eds) We will show them: essays in honour of Dov Gabbay, Vol 2. College Publications, pp 117\u2013142"},{"key":"24_CR21","doi-asserted-by":"crossref","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) Proc. of the 2nd international workshop on agent-oriented software engineering, AOSE\u201901. Lecture Notes in Computer Science, vol. 2222. Springer Verlag, pp 17\u201332","DOI":"10.1007\/3-540-70657-7_2"},{"key":"24_CR22","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) (1998) Proceedings of the international workshop on compositionality, COMPOS\u201997. Lecture Notes in Computer Science, Springer Verlag, vol. 1536, pp 350\u2013380","DOI":"10.1007\/3-540-49213-5_13"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Jonker CM, Treur J (2003) Relating structure and dynamics in an organisation model. In: Sichman JS, Bousquet F, Davidson P (eds) Multi-Agent-Based Simulation II, Proc. of the third international workshop on multi-agent based simulation, MABS\u201902. Lecture Notes in AI, vol. 2581, Springer Verlag, pp 50\u201369","DOI":"10.1007\/3-540-36483-8_5"},{"key":"24_CR24","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski R, Sergot M (1986) A logic-based calculus of events. New Gener Comput 4:67\u201395","journal-title":"New Gener Comput"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Manna Z, Pnueli A (1995) Temporal verification of reactive systems: safety. Springer Verlag.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"24_CR26","first-page":"463","volume":"4","author":"J McCarthy","year":"1969","unstructured":"McCarthy J, Hayes P (1969) Some philosophical problems from the standpoint of artificial intelligence. Mach Intell 4:463\u2013502","journal-title":"Mach Intell"},{"issue":"1","key":"24_CR27","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1009600530279","volume":"4","author":"S Moss","year":"1998","unstructured":"Moss S, Gaylard H, Wallis S, Edmonds B (1998) SDML: A multi-agent language for organizational modelling. Comput Math Organ Theory 4(1):43\u201370","journal-title":"Comput Math Organ Theory"},{"key":"24_CR28","volume-title":"Mind as motion: explorations in the dynamics of cognition","year":"1995","unstructured":"Port RF, van Gelder T (eds) (1995) Mind as motion: explorations in the dynamics of cognition. MIT Press, Cambridge, Mass"},{"key":"24_CR29","unstructured":"Prietula M, Gasser L, Carley K (1997) Simulating organizations. MIT Press"},{"key":"24_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: Logical oundations for specifying and implementing dynamical systems","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: Logical oundations for specifying and implementing dynamical systems. MIT Press, Cambridge, MA"},{"key":"24_CR31","doi-asserted-by":"crossref","unstructured":"Stirling C (2001) Modal and temporal properties of processes. Springer Verlag","DOI":"10.1007\/978-1-4757-3550-5"},{"key":"24_CR32","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S Yovine","year":"1997","unstructured":"Yovine S (1997) Kronos: a verification tool for real-time systems. Int J Softw Tools Technol Transfer 1:123\u2013133","journal-title":"Int J Softw Tools Technol Transfer"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0024-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10489-006-0024-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0024-0.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0024-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T17:32:22Z","timestamp":1630431142000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10489-006-0024-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,24]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,10]]}},"alternative-id":["24"],"URL":"https:\/\/doi.org\/10.1007\/s10489-006-0024-0","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,24]]},"assertion":[{"value":"24 January 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"131"}}