{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T10:36:03Z","timestamp":1778582163137,"version":"3.51.4"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T00:00:00Z","timestamp":1154304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Math Organiz Theor"],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1007\/s10588-006-8873-y","type":"journal-article","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T22:58:33Z","timestamp":1154559513000},"page":"283-312","source":"Crossref","is-referenced-by-count":55,"title":["Validation and verification of social processes within agent-based computational organization models"],"prefix":"10.1007","volume":"12","author":[{"given":"Levent","family":"Yilmaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,7,31]]},"reference":[{"key":"8873_CR1","first-page":"255","volume-title":"Algorithms for finding patterns in strings. Handbook of Theoretical Computer Science, Volume A: Algorithms and complexity","author":"VA Aho","year":"1990","unstructured":"Aho VA (1990) Algorithms for finding patterns in strings. Handbook of Theoretical Computer Science, Volume A: Algorithms and complexity, North Holland, Amsterdam, Elsevier Science Publishers B. V (North Holland), Amsterdam, pp 255\u2013400"},{"key":"8873_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-662-03366-1_2","volume-title":"Simulating Social Phenomena","author":"R Axelrod","year":"1997","unstructured":"Axelrod R (1997) Advancing the art of simulation in the social sciences. In: Conte Rosario, Hegselmann Rainer, and Terna Pietro (eds) Simulating Social Phenomena. Springer, Berlin, pp 21\u201340"},{"key":"8873_CR3","unstructured":"Axtell R (2003) The new coevolution of information science and social science, Working Paper, Brookings Institution 2003"},{"issue":"2","key":"8873_CR4","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1177\/003754978504500204","volume":"45","author":"O Balci","year":"1985","unstructured":"Balci O, Nance RE (1985) Formulated problem verification as an explicit requirement of model credibility. Simulation 45(2):76\u201386","journal-title":"Simulation"},{"key":"8873_CR5","volume-title":"Methodology and Validation proceedings of the conference on methodology and validation, 6-9 April","author":"O Balci","year":"1987","unstructured":"Balci O (1987) Credibility and assessment of simulation results: The State of the Art. In: Balci O (ed) Methodology and Validation proceedings of the conference on methodology and validation, 6\u20139 April. Orlando Fl. San Diego, CA, Society for Computer Simulation"},{"key":"8873_CR6","first-page":"13","volume-title":"Methodology and Validation Proceedings of the conference on methodology and validation","author":"J Banks","year":"1987","unstructured":"Banks J, Gerstein S, Searles SP (1987) Modeling processes, validation, and verification of complex simulations: A survey. In: Balci O (ed) Methodology and Validation Proceedings of the conference on methodology and validation, Orlando Fl, San Diego, CA, Society for Computer Simulation, pp. 13\u201318"},{"key":"8873_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3784-6","volume-title":"The science of fractal images","author":"MF Barnsley","year":"1988","unstructured":"Barnsley MF et al (1988) The science of fractal images. Springer-Verlag, New York"},{"issue":"4","key":"8873_CR8","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1080\/0022250X.1994.9990145","volume":"19","author":"MK Carley","year":"1994","unstructured":"Carley MK, Newell A (1994) The nature of the social agent. J Math Sociol 19(4): 221\u2013262","journal-title":"J Math Sociol"},{"key":"8873_CR9","unstructured":"Carley MK, Butts C (1997) An algorithmic approach to the comparison of partially labeled graphs. In: Proceedings of the 1997 International Symposium on Command and Control Research and Technology, Washington, DC"},{"key":"8873_CR10","first-page":"206","volume-title":"Distributed artificial intelligence","author":"MK Carley","year":"1999","unstructured":"Carley MK, Gasser L (1999) Computational organization theory. In: G. Weiss (ed.) Distributed artificial intelligence, MIT Press, Cambridge, MA, (Ch. 7), pp 206\u2013220"},{"key":"8873_CR11","doi-asserted-by":"crossref","unstructured":"Carley MK (2002) Computational organizational science and organizational engineering. Simulation Practice and Theory. (In press)","DOI":"10.1016\/S1569-190X(02)00119-3"},{"issue":"5","key":"8873_CR12","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"EM Clarke","year":"1994","unstructured":"Clarke EM, Grumberg O, Long DE (1994) Model checking and abstraction. ACM Transa Programming Lang Sys 16(5):1512\u20131542","journal-title":"ACM Transa Programming Lang Sys"},{"issue":"3","key":"8873_CR13","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/971617.971620","volume":"47","author":"PN Dalal","year":"2004","unstructured":"Dalal PN, Kamath M, Kolarik WJ, Sivaraman E (2004) Toward an integrated framework for modeling enterprise processes. Communications of the ACM, 47(3):83\u201387","journal-title":"Communications of the ACM"},{"issue":"2","key":"8873_CR14","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/0377-2217(93)90311-A","volume":"66","author":"R Derry","year":"1993","unstructured":"Derry R, Landry M, Banville C (1993) Revisiting the issue of model validation in OR: An epistemological view. Eur J Oper Res 66(2):168\u2013184","journal-title":"Eur J Oper Res"},{"key":"8873_CR15","unstructured":"Ferber J (1999) Multi agent systems: An introduction to distributed Artificial Intelligence. Addison Wesley"},{"key":"8873_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3374.001.0001","volume-title":"Growing artificial societies: Social science from the Bottom Up","author":"J Epstein","year":"1996","unstructured":"Epstein J, Axtell R (1996) Growing artificial societies: Social science from the Bottom Up, MIT Press Brookings, MA"},{"key":"8873_CR17","doi-asserted-by":"crossref","unstructured":"Gasser L, Hulhage I, Leverich B, Lieb J, Majchrzak A (1993) Organization as Complex Dynamic Design Problems, Progress in Artificial Intelligence. Lecture Notes in Artificial Intelligence 727. Springer-Verlag","DOI":"10.1007\/3-540-57287-2_34"},{"key":"8873_CR18","unstructured":"Jain R (1991) The art of computer systems performance analysis. Addison-Wesley"},{"key":"8873_CR19","volume-title":"Miller and freuds probability and statistics for engineers","author":"E Johnson","year":"1994","unstructured":"Johnson E (1994) Miller and freuds probability and statistics for engineers, 5th Edition, Englewood-Cliffs, N.J, Prentice Hall","edition":"5th Edition"},{"key":"8873_CR20","volume-title":"At home in the universe: The search for laws of Self-Organization and Complexity","author":"S Kaufmann","year":"1996","unstructured":"Kaufmann S (1996) At home in the universe: The search for laws of Self-Organization and Complexity, Oxford Univ. Press, Oxford, England"},{"key":"8873_CR21","volume-title":"Foundations of behavioral research","author":"F Kerlinger","year":"1973","unstructured":"Kerlinger F (1973) Foundations of behavioral research. Reinhart & Winston, New York"},{"issue":"3","key":"8873_CR22","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0377-2217(83)90257-6","volume":"14","author":"M Landry","year":"1983","unstructured":"Landry M, Malouin JL, Oral M (1983) Model validation in operations research. Eur J Oper Res 14(3):207\u2013220","journal-title":"Eur J Oper Res"},{"key":"8873_CR23","volume-title":"Simulation modeling and analysis","author":"AM Law","year":"1991","unstructured":"Law AM, Kelton WD (1991) Simulation modeling and analysis. 2nd edition. McGraw-Hill, New York, NY","edition":"2nd edition"},{"issue":"6","key":"8873_CR24","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B Liskov","year":"1997","unstructured":"Liskov B, Wing MJ (1997) A behavioral notion of subtyping. ACM TOPLAS 16(6):1811\u20131841","journal-title":"ACM TOPLAS"},{"key":"8873_CR25","unstructured":"MacKenzie G, Schulmeyer G, Yilmaz L (2002) Verification technology potential with different modeling and simulation development and implementation Paradigms, Foundations for V & V in the 21st Century Workshop (Foundations \u203202) The Johns Hopkins University Applied Physics Laboratory Laurel, Maryland, USA"},{"key":"8873_CR26","first-page":"38","volume-title":"Methodology and validation","author":"ER Nance","year":"1987","unstructured":"Nance ER (1987) The conical methodology: A framework for simulation model development. Methodology and validation, SCS, San Diego, CA, pp 38\u201343"},{"key":"8873_CR27","doi-asserted-by":"crossref","unstructured":"Naylor TH, Finger JM (1963) Verification of computer simulation models. Management Science 14(2)","DOI":"10.1287\/mnsc.14.2.B92"},{"key":"8873_CR28","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0020-7373(89)80002-1","volume":"30","author":"LD Nazareth","year":"1989","unstructured":"Nazareth LD (1989) Issues in the verification of knowledge in rule-based systems. Inter J Man-Machine Studies 30:255\u2013271","journal-title":"Inter J Man-Machine Studies"},{"issue":"3","key":"8873_CR29","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00849196","volume":"7","author":"MR O\u2019Keefe","year":"1993","unstructured":"O\u2019Keefe MR, O\u2019Leary DE (1993) Expert system verification and validation. Artif Intell Rev 7(3):3\u201342","journal-title":"Artif Intell Rev"},{"issue":"2","key":"8873_CR30","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1016\/0377-2217(93)90314-D","volume":"66","author":"M Oral","year":"1993","unstructured":"Oral M, Kettani O (1993) The facets of the modeling and validation process in operations research. Eur J Oper Res 66(2):216\u2013234","journal-title":"Eur J Oper Res"},{"key":"8873_CR31","unstructured":"Pace Dale K (2000) Simulation conceptual model issues: Development methods (Part 1), Interaction with Simulation requirements (Part 2), and simulation development costs and V & V Costs (Part 3). In: Proceedings of the 2000 Summer Computer Simulation Conference, July 16\u201320, 2000, Vancouver, British Columbia"},{"key":"8873_CR32","unstructured":"Pace KD (2003) The roles of metrics in simulation verification and validation. In: Proceedings of the Spring 2003 Simulation Interoperability Workshop, March 30\u2013April 4, 2003, Kissimmee, FL, CD"},{"key":"8873_CR33","unstructured":"Pearl J (1999) Causality: Models, Reasoning, and Inference. Cambridge University Press this month (March 2000)"},{"key":"8873_CR34","unstructured":"Sankof D, Kruskal JB (1983) Time Warps, String Edits, and Macromolecules: The Theory and Practice of Sequence Comparison. Addison-Wesley Publishing Company"},{"key":"8873_CR35","doi-asserted-by":"crossref","unstructured":"Sargent GR (1996) Verifying and validating simulation models. In: Proceedings of the 1996 Winter Simulation Conference, pp 55\u201364","DOI":"10.1145\/256562.256572"},{"key":"8873_CR36","first-page":"39","volume-title":"Proceedings of the 1999 Winter Simulation Conference","author":"RG Sargent","year":"1999","unstructured":"Sargent RG (1999) Validation and verification of simulation models. In: Farrington PA, Nembhard HB, Sturrock DT, and Evans GW, (eds), Proceedings of the 1999 Winter Simulation Conference, IEEE, Piscataway, NJ, pp 39\u201348"},{"key":"8873_CR37","volume-title":"Computer-Aided Modelling and Simulation","author":"JA Spriet","year":"1982","unstructured":"Spriet JA, Vansteenkiste GC (1982) Computer-Aided Modelling and Simulation. Academic Press, London, England)"},{"key":"8873_CR38","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y Shoham","year":"1993","unstructured":"Shoham Y (1993) Agent oriented programming. Artif Intell 60:51\u201392","journal-title":"Artif Intell"},{"key":"8873_CR39","doi-asserted-by":"crossref","DOI":"10.1142\/2418","volume-title":"String searching algorithms","author":"AG Stephen","year":"1994","unstructured":"Stephen AG (1994). String searching algorithms. World Scientific Publishing, Singapore"},{"key":"8873_CR40","unstructured":"Waldrop MM (1993) Complexity: The Emerging science at the edge of order and chaos. Touchstone books"},{"issue":"4","key":"8873_CR41","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/222132.222148","volume":"20","author":"MJ Wing","year":"1995","unstructured":"Wing MJ, Farahani MV (1995) Model checking software systems: A case study. SIGSOFT Software Engineering Notes 20(4):128\u201339","journal-title":"SIGSOFT Software Engineering Notes"}],"container-title":["Computational and Mathematical Organization Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10588-006-8873-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10588-006-8873-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10588-006-8873-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T11:36:20Z","timestamp":1559302580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10588-006-8873-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,31]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["8873"],"URL":"https:\/\/doi.org\/10.1007\/s10588-006-8873-y","relation":{},"ISSN":["1381-298X","1572-9346"],"issn-type":[{"value":"1381-298X","type":"print"},{"value":"1572-9346","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7,31]]}}}