{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T01:54:20Z","timestamp":1746496460984},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,1,18]],"date-time":"2007-01-18T00:00:00Z","timestamp":1169078400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,1,18]],"date-time":"2007-01-18T00:00:00Z","timestamp":1169078400000},"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,8]]},"DOI":"10.1007\/s10489-006-0030-2","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T13:21:40Z","timestamp":1169040100000},"page":"49-66","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["A framework for formal modeling and analysis of organizations"],"prefix":"10.1007","volume":"27","author":[{"given":"Catholijn M.","family":"Jonker","sequence":"first","affiliation":[]},{"given":"Alexei","family":"Sharpanskykh","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]},{"given":"PInar","family":"Yolum","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,18]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Amiguet M, Mueller J-P, Baez-Barranco J-A, Nagy A (2002) The MOCA Platform. In: Proceeding of MABS, pp 70\u201388","DOI":"10.1007\/3-540-36483-8_6"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Bosse T, Jonker CM, 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, and Huhns MN (eds) Proceedings of the third german conference on multi-agent system technologies, MATES\u201905. Lecture notes in Artificial intelligence, vol. 3550, pp 165\u2013178. Springer Verlag","DOI":"10.1007\/11550648_15"},{"issue":"3","key":"30_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P Bresciani","year":"2004","unstructured":"Bresciani P, Giorgini P, Giunchiglia F, Mylopoulos J, Perini A (2004) Tropos: an agent-oriented software development methodology. J Autonom Agent Multi-Agent Syst 8(3):203\u2013236","journal-title":"J Autonom Agent Multi-Agent Syst"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Burton RM, Obel B (2004) Strategic organizational diagnosis and design: developing theory for application. Kluwer Academic Publishers, Dordrecht","DOI":"10.1007\/978-1-4419-9114-0"},{"key":"30_CR5","first-page":"267","volume":"15","author":"K Carley","year":"1998","unstructured":"Carley K, Lee J-S (1998) Dynamic organizations: organizational adaptation in a changing environment. Discip Roots Strateg Manage Res 15:267\u2013295","journal-title":"Discip Roots Strateg Manage Res"},{"key":"30_CR6","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press"},{"key":"30_CR7","unstructured":"Dastani M, Hulstijn J, Dignum F, Meyer J-J (2004) Issues in multiagent system development. In: Proceedings of the third international joint conference on Autonomous Agents and Multi Agent Systems. AAMAS\u201904, pp 922\u2013929"},{"key":"30_CR8","unstructured":"David R, Alla H (2005) Discrete, Continuous, and Hybrid Petri Nets. Springer-Verlag"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Esteva M, Cruz D, Sierra C (2002) ISLANDER: an electronic institutions editor. In: Proceedings of the 1st international conference on autonomous agents and multiagent systems, pp 1045\u20131052","DOI":"10.1145\/545056.545069"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Ferber J, Gutknecht O (1998) A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings of third international conference on multi-agent systems (ICMAS\u201998), IEEE Computer Society, pp 128\u2013135.","DOI":"10.1109\/ICMAS.1998.699041"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Ferber J, Gutknecht O, Michel F (2003) From agents to organizations: an organizational view of multi-agent systems. In: Proceedings of 4th International Workshop AOSE, pp 214\u2013230","DOI":"10.1007\/978-3-540-24620-6_15"},{"key":"30_CR12","unstructured":"Forrester JW (1961) Industrial dynamics. Pegasus Communications, Waltham, MA"},{"key":"30_CR13","unstructured":"Fox M, Barbuceanu M, Gruninger M, Lin J (1997) An organization ontology for enterprise modelling. In: Prietula M, Carley K, Gasser L (eds) Simulating organizations: Computational models of institutions and groups. Menlo Park CA: AAAI\/MIT Press, pp 131\u2013152"},{"key":"30_CR14","unstructured":"Galton A (2003) Temporal Logic. In Stanford Encyclopedia of Philosophy, URL: http:\/\/plato.stanford.edu\/entries\/logic-temporal\/#2"},{"key":"30_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"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Hannoun M, Sichman JS, Boissier O, Sayettat C (1998) Dependence relations between roles in a multi-agent system: towards the detection of inconsistencies in organization. In Proceedings of MABS, pp 169\u2013182","DOI":"10.1007\/10692956_12"},{"key":"30_CR17","unstructured":"Hodgson A, Roennquist R, Busetta P, Howden N (2000) Team oriented programming with simpleteam. In: Proceedings of SimTecT 2000, Sydney, Australia, pp 115\u2013122."},{"key":"30_CR18","unstructured":"Hoogendoorn M, Jonker CM, Schut M, Treur J (2004) Modelling the organisation of organisational change. In: Proceedins of the sixth international workshop on agent-oriented information systems. pp. 29\u201346. Extended version: Jounal of Computational and Mathematical Organisation Theory. In press, 2006"},{"issue":"4","key":"30_CR19","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1017\/S0269888905000317","volume":"19","author":"B Horling","year":"2005","unstructured":"Horling B, Lesser V (2005) A survey of multi-agent organizational paradigms. Knowl Eng Rev 19(4):281\u2013316","journal-title":"Knowl Eng Rev"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Hubner JF, Sichman JS, Boissier O (2002) A model for the structural, functional and deontic specification of organizations in multiagent systems. In: Proceedings of SBIA, pp 118\u2013128","DOI":"10.1007\/3-540-36127-8_12"},{"key":"30_CR21","unstructured":"Jonker CM, Sharpanskykh A, Treur J, Yolum P (2006) Verifying interlevel relations within organizational models. Technical Report #TR-061909AI, Vrije Universiteit Amsterdam, URL: http:\/\/hdl.handle.net\/1871\/10210"},{"issue":"3","key":"30_CR22","doi-asserted-by":"publisher","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(3):137\u2013155","journal-title":"Cogn Syst Res J"},{"issue":"3","key":"30_CR23","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S1389-0417(03)00004-4","volume":"4","author":"CM Jonker","year":"2003","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","journal-title":"Cogn Syst Res J"},{"key":"30_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. N Gen Comput 4:67\u201395","journal-title":"N Gen Comput"},{"key":"30_CR25","unstructured":"Lomi A, Larsen ER (2001) Dynamics of organizations: computational modeling and organization theories. AAAI Press, Menlo Park"},{"issue":"2\u20133","key":"30_CR26","first-page":"227","volume":"12","author":"F Lopez y Lopez","year":"2005","unstructured":"Lopez y Lopez F, Luck M, d\u2019Inverno M (2005) A normative framework for agent-based systems. Comput Math Organ Theory 12(2\u20133):227\u2013250","journal-title":"Comput Math Organ Theory"},{"key":"30_CR27","unstructured":"Manzano M (1996) Extensions of first order logic. Cambridge University Press"},{"key":"30_CR28","unstructured":"Mintzberg H (1979) The structuring of organizations. Prentice Hall, Englewood Cliffs"},{"issue":"4","key":"30_CR29","first-page":"7","volume":"11","author":"RE Miles","year":"1997","unstructured":"Miles RE, Snow CC, Mathews JA, Coleman HJ (1997) Organizing in the knowledge age: anticipating the cellular form. Acad Manage Exec 11(4):7\u201320","journal-title":"Acad Manage Exec"},{"key":"30_CR30","unstructured":"Morgan G (1996) Images of organizations. SAGE Publications. Thousand Oaks London New Delhi"},{"key":"30_CR31","unstructured":"Odell J, Parunak HVD, Bauer B (2000) Extending UML for agents. In: Proceedings of agent-oriented information systems workshop at the 17th national conference on artificial intelligence, pp 3\u201317"},{"key":"30_CR32","doi-asserted-by":"crossref","unstructured":"Omicini A (2000) SODA: Societies and infrastructures in the analysis and design of agent-based systems. In: Proceedings of AOSE, pp 185\u2013193","DOI":"10.1007\/3-540-44564-1_12"},{"key":"30_CR33","doi-asserted-by":"crossref","unstructured":"Parunak HVD, Odell J (2002) Representing Social Structures in UML. In: Wooldridge M, Weiss G, Ciancarini P (eds) Proceedings of agent-oriented software engineering II workshop. Lecture notes on computer science, vol. 2222, pp 1\u201316. Springer-Verlag, Berlin","DOI":"10.1007\/3-540-70657-7_1"},{"key":"30_CR34","unstructured":"Prietula M, Gasser L, Carley K (1997) Simulating organizations. MIT Press"},{"key":"30_CR35","doi-asserted-by":"crossref","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical system. MIT Press, Cambridge MA","DOI":"10.7551\/mitpress\/4074.001.0001"},{"issue":"4","key":"30_CR36","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1080\/0954009021000068718","volume":"14","author":"M Schillo","year":"2003","unstructured":"Schillo M (2003) Self-organization and adjustable autonomy: two sides of the same coin? Connect Sci 14(4):345\u2013360","journal-title":"Connect Sci"},{"key":"30_CR37","doi-asserted-by":"crossref","unstructured":"Schillo M, Spresny D (2005) Organization: The central concept for qualitative and quantitative scalability. In: Fischer K, Florian M (eds) Socionics: Contributions to the scalability of complex social systems, vol. 3413. Lecture Notes in Artificial Intelligence, Springer, Berlin, pp 84\u2013103","DOI":"10.1007\/11594116_6"},{"key":"30_CR38","unstructured":"Scott J (2000) Social network analysis: a handbook (2nd edn). Sage, Newberry Park, CA"},{"key":"30_CR39","unstructured":"Scott WR (2001) Institutions and organizations, SAGE Publications, Thousand Oaks London New Delhi"},{"key":"30_CR40","unstructured":"Sharpanskykh A, Treur J (2006) Verifying interlevel relations within multi-agent systems. In: Proceedings of the 17th european conference on artificial intelligence, ECAI\u201906. IOS Press, pp 290\u2013294"},{"issue":"4","key":"30_CR41","first-page":"225","volume":"20","author":"J V.zquez-Salceda","year":"2005","unstructured":"V.zquez-Salceda J, Aldewereld HM, Dignum FPM (2005) Norms in multiagent systems: from theory to practice. Int J Comput Syst Sci Eng 20(4):225\u2013236","journal-title":"Int J Comput Syst Sci Eng"},{"issue":"3","key":"30_CR42","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F Zambonelli","year":"2003","unstructured":"Zambonelli F, Jennings NR, Wooldridge M (2003) Developing multiagent systems: the gaia methodology. ACM Trans Softw Eng Methodol 12(3):317\u2013370","journal-title":"ACM Trans Softw Eng Methodol"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0030-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10489-006-0030-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0030-2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0030-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T11:57:19Z","timestamp":1683719839000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10489-006-0030-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,18]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,8]]}},"alternative-id":["30"],"URL":"https:\/\/doi.org\/10.1007\/s10489-006-0030-2","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,18]]},"assertion":[{"value":"27 July 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 November 2006","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 January 2007","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}