{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T04:17:40Z","timestamp":1768882660913,"version":"3.49.0"},"reference-count":62,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/wsc.2013.6721512","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T22:35:58Z","timestamp":1391207758000},"page":"1245-1256","source":"Crossref","is-referenced-by-count":7,"title":["Towards a unified theory of validation"],"prefix":"10.1109","author":[{"given":"Lisa Jean","family":"Bair","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Tolk","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"35","year":"0"},{"key":"36","year":"2007","journal-title":"The Agent-based Simulation (ABS) Verification Validation and Accreditation (VV&A) Study Final Report"},{"key":"33","year":"0"},{"key":"34","first-page":"75","article-title":"Model development revisited","author":"nance","year":"1984","journal-title":"Proceedings of the 1984 Winter Simulation Conference"},{"key":"39","article-title":"Correlation of characterizing attributes and success in military M&S standards","author":"petty","year":"2011","journal-title":"Proceedings of the Fall 2011 Simulation Interoperability Workshop 11F-SIW-027"},{"key":"37","year":"2008","journal-title":"The Agent-based Simulation (ABS) Verification Validation and Accreditation (VV&A) Study Phase II - Joint\/DOD Final Report"},{"key":"38","first-page":"163","article-title":"Modeling and simulation verification and validation challenges","volume":"25","author":"pace","year":"2004","journal-title":"Johns Hopkins APL Technical Digest"},{"key":"43","article-title":"Formal methods and the certification of critical systems","author":"rushby","year":"1993","journal-title":"Technical Report CSL-93-7"},{"key":"42","author":"robinson","year":"2011","journal-title":"Conceptual Modeling for Discrete-Event Simulation"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/268437.268448"},{"key":"40","author":"radner","year":"1982","journal-title":"Science and Unreason"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2001.977242"},{"key":"23","article-title":"Study on simulation credibility metrics","author":"liu","year":"2005","journal-title":"Proceedings of the 2005 Winter Simulation Conference"},{"key":"24","year":"2013","journal-title":"Mirriam-Webster Online"},{"key":"25","author":"mendelson","year":"2001","journal-title":"Introduction to Mathematical Logic"},{"key":"26","article-title":"A comparison of MBSE and semantic composability theory","author":"mielke","year":"2005","journal-title":"Proceedings of the 2005 Huntsville Simulation Conference"},{"key":"27","year":"2006","journal-title":"Verification Validation and Accreditation Recom-mended Practices Guide"},{"key":"28","article-title":"DoD modeling and simulation (M&S) glossary","year":"2010","journal-title":"Final Report for High Level Task S-C-3"},{"key":"29","year":"2012","journal-title":"Risk-based Tailoring of the Verification Validation and Accreditation\/Acceptance Processes"},{"key":"3","article-title":"The missing link in modeling and simulation validation","author":"bair","year":"2012","journal-title":"Proceedings of the 2012 Autumn Simulation Conference"},{"key":"2","article-title":"Irregular warfare (IW) model validation best practices guide","author":"applegate","year":"2011","journal-title":"Technical Report Monterey CA TRADOC Analysis Center"},{"key":"1","article-title":"Irregular warfare (IW) data quality best practices guide","author":"applegate","year":"2011","journal-title":"Technical Report Monterey CA TRADOC Analysis Center"},{"key":"7","author":"brade","year":"2003","journal-title":"A generalized process for the verification and validation of models and simulation results"},{"key":"30","year":"0"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2000.899882"},{"key":"5","article-title":"NATO MSG-088 case study results to demonstrate the benefit of using data farming for military decision support","author":"bonte?","year":"2012","journal-title":"Proceedings of the 2012 Winter Simulation Conference"},{"key":"32","year":"0"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jos.4250023"},{"key":"31","article-title":"Clarifying validation for agent based simulations","author":"moya","year":"2007","journal-title":"Proceedings of the 2007 Fall Simulation Interoperability Workshop 07F-SIW-104"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429176"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"59","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226902050.003.0002"},{"key":"58","first-page":"956","article-title":"A comparison of DEVS and semantic composability theory","author":"weisel","year":"2005","journal-title":"Proceedings of the Spring 2005 Simulation Interoperability Workshop"},{"key":"57","article-title":"Validity of models and classes of models in semantic composability","author":"weisel","year":"2003","journal-title":"2003 Fall Simulation Interoperability Workshop"},{"key":"56","article-title":"Decision theoretic approach to defining use for computer simulation","author":"weisel","year":"2012","journal-title":"Proceedings of the 2012 Autumn Simulation Conference"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429236"},{"key":"55","article-title":"Towards a foundational theory for validation of models and simulations","author":"weisel","year":"2011","journal-title":"Proceedings of the Spring 2011 Simulation Interoperability Workshop 11S-SIW-074"},{"key":"17","year":"0"},{"key":"18","author":"jacquart","year":"2004","journal-title":"VV&A Methodological Guidelines Reference Manual (METHGU2)"},{"key":"15","year":"2007","journal-title":"IEEE Recommended Practice for Verifi-cation Validation and Accreditation of a Federation An Overlay to the High Level Architecture Fed-eration Development and Execution Process"},{"key":"16","year":"0"},{"key":"13","author":"hempel","year":"1966","journal-title":"Philosophy of Natural Science"},{"key":"14","year":"2010","journal-title":"IEEE Recommended Practice for Distribut-ed Interactive Simulation Verification Validation and Accreditation"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1177\/154851290500200402"},{"key":"12","author":"heath","year":"2010","journal-title":"Final Report Developing An Agent-based Modeling Verification and Validation Approach for Improving Air Force Analytical Support"},{"key":"21","author":"law","year":"2007","journal-title":"Simulation Modeling and Analysis"},{"key":"20","author":"kuhn","year":"1970","journal-title":"The Structure of Scientific Revolutions"},{"key":"62","author":"zeigler","year":"2000","journal-title":"Theory of Modeling and Simulation Integrating Discrete Event and Continuous Complex Dynamic Systems"},{"key":"60","author":"wymore","year":"1993","journal-title":"Model-Based Systems Engineering An Introduction to the Mathematical Theory of Discrete Systems and to the Tricotyledon Theory of System Design"},{"key":"61","author":"zeigler","year":"2007","journal-title":"Modeling & Simulation-Based Data Engineering Introducing Pragmatics into Ontologies for Net-Centric Information Exchange"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1177\/1548512911428457"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1002\/9781118180310.ch14"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2007.4419595"},{"key":"44","first-page":"497","article-title":"Validation of simulation models","author":"sargent","year":"1979","journal-title":"Proceedings of the 1979 Winter Simulation Conference"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429423"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429293"},{"key":"10","article-title":"Report from the fidelity implementation study group","author":"gross","year":"1999","journal-title":"Proceedings of the 1999 Spring Simulation Interoperability Workshop"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2011.6147759"},{"key":"52","article-title":"14. Conceptual modeling for composition of model-based complex systems","author":"tolk","year":"2011","journal-title":"Conceptual Modeling for Discrete-Event Simulation"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2012.6465095"},{"key":"54","first-page":"65","article-title":"Applying the levels of conceptual interoperability model in support of integratability, interoperability, and composability for system-of-systems engineering","volume":"5","author":"tolk","year":"2007","journal-title":"Journal of Systemics Cybernetics and Informatics"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2010.5679147"}],"event":{"name":"2013 Winter Simulation Conference - (WSC 2013)","location":"Washington, DC, USA","start":{"date-parts":[[2013,12,8]]},"end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 Winter Simulations Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6709837\/6721384\/06721512.pdf?arnumber=6721512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T04:49:25Z","timestamp":1490244565000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6721512\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":62,"URL":"https:\/\/doi.org\/10.1109\/wsc.2013.6721512","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}