{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:51Z","timestamp":1761487971700},"publisher-location":"Tokyo","reference-count":25,"publisher":"Springer Japan","isbn-type":[{"type":"print","value":"9784431731504"},{"type":"electronic","value":"9784431731672"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-4-431-73167-2_13","type":"book-chapter","created":{"date-parts":[[2008,1,5]],"date-time":"2008-01-05T15:30:33Z","timestamp":1199547033000},"page":"129-140","source":"Crossref","is-referenced-by-count":50,"title":["A Declarative Model Assembly Infrastructure for Verification and Validation"],"prefix":"10.1007","author":[{"given":"M. J.","family":"North","sequence":"first","affiliation":[]},{"given":"T. R.","family":"Howe","sequence":"additional","affiliation":[]},{"given":"N. T.","family":"Collier","sequence":"additional","affiliation":[]},{"given":"J. R.","family":"Vos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"7","key":"13_CR1","first-page":"37","volume":"3","author":"K. Beck","year":"1998","unstructured":"Beck, K., and E. Gamma (1998) Test infected: programmers love writing tests, Java Report, vol. 3, no. 7, pp 37\u201350.","journal-title":"Java Report"},{"key":"13_CR2","volume-title":"Simulating Societies: Computational Models of Institutions and Groups","author":"R. Burton","year":"1998","unstructured":"Burton, R. (1998) Validating and docking: an overview, summary and challenge, in M. Prietula, K. Carley, and L. Gasser (Eds.), Simulating Societies: Computational Models of Institutions and Groups, Cambridge, MA USA: AAAI\/MIT Press."},{"key":"13_CR3","first-page":"216","volume-title":"Proceedings of the Agent 1999 Workshop on Agent Simulation: Applications, Models, and Tools","author":"R. Burton","year":"1999","unstructured":"Burton, R. (1999) The challenge of validation and docking, in C. Macal and D. Sallach, eds., Proceedings of the Agent 1999 Workshop on Agent Simulation: Applications, Models, and Tools, pp. 216\u2013221, Argonne, IL USA: Argonne National Laboratory, Available on CD and at http:\/\/www.agent2005.anl.gov\/ URL."},{"key":"13_CR4","unstructured":"Ewert, F., H. van Keulen, M. van Ittersum, K. Giller, P. Leffelaar, and R. Roetter (July 2006) Multi-scale analysis and modelling of natural resource management options, 3rd Biennial meeting of the International Environmental Modelling and Software Society, Burlington, Vermont, USA, Available as http:\/\/www.iemss.org\/summit\/papers\/s9\/128_Ewert_0.pdf URL"},{"key":"13_CR5","unstructured":"Edmonds, B., and D. Hales (2003) Replication, replication and replication: some hard lessons from model alignment, Journal of Artificial Societies and Social Simulation, vol. 6, no. 4, Available at http:\/\/jasss.soc.surrey.ac.uk\/6\/4\/11.html URL"},{"key":"13_CR6","unstructured":"Hales, D., J. Rouchier, and B. Edmonds (2003) Model-to-model analysis, Journal of Artificial Societies and Social Simulation, vol. 6, no. 4, Available at http:\/\/jasss.soc.surrey.ac.Uk\/6\/4\/5.html URL"},{"key":"13_CR7","unstructured":"Hummel, J. R., and J. H. Christiansen (March 2000) Defining, expressing, and using context in a simulation environment, Proceedings of the Spring 2000 Simulation Interoperability Workshop, 00S-SIW-092, Orlando, FL, USA."},{"key":"13_CR8","unstructured":"IEEE (2001a) IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) \/3-Framework and Rules, Institute of Electrical and Electronics Engineers, P1516."},{"key":"13_CR9","unstructured":"IEEE. (2001b) IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) \u2014 Federate Interface Specification, Institute of Electrical and Electronics Engineers, P1516.1."},{"key":"13_CR10","unstructured":"IEEE. (2001c) IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) \u2014 Object Model Template (OMT) Specification, Institute of Electrical and Electronics Engineers, P1 516.2."},{"key":"13_CR11","volume-title":"Simulation Modeling and Analysis","author":"A. Law","year":"2006","unstructured":"Law, A. (2006) Simulation Modeling and Analysis. 4th ed. New York, New York, USA: McGraw-Hill.","edition":"4th ed."},{"key":"13_CR12","volume-title":"Agent 2005 Conference on Generative Social Processes, Models, and Mechanisms","author":"M. J. North","year":"2005","unstructured":"North, M. J., T. R. Howe, N. T. Collier, and R. J. Vos (October 2005a) The Repast Simphony runtime system, Agent 2005 Conference on Generative Social Processes, Models, and Mechanisms, Argonne National Laboratory, Argonne, IL USA."},{"key":"13_CR13","volume-title":"Agent 2005 Conference on Generative Social Processes, Models, and Mechanisms","author":"M. J. North","year":"2005","unstructured":"North, M. J., T. R. Howe, N. T. Collier, and R. J. Vos (October 2005b) The Repast Simphony development environment, Agent 2005 Conference on Generative Social Processes, Models, and Mechanisms, Argonne National Laboratory, Argonne, IL USA."},{"key":"13_CR14","volume-title":"First World Congress on Social Simulation","author":"M.J. North","year":"2006","unstructured":"North, M.J., T.R. Howe, N.T. Collier, and R.J. Vos (August 2006) Supporting validation with declarative model integration, First World Congress on Social Simulation, Kyoto University, Kyoto, Japan."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Oliveira, T. C., P. Alencar, D. Cowan, and C. Lucena (2005) xTAO: enabling a declarative approach to the specification of multi-agent systems, Proceedings of the Fourth International Workshop on Software Engineering for Largescale Multi-agent Systems, St. Louis, Missouri, pp 1\u20137.","DOI":"10.1145\/1082960.1082968"},{"key":"13_CR16","unstructured":"Rizzoli, A.E., M. Donatelli, I. Athanasiadis, F. Villa, R. Muetzelfeldt, and D. Huber (December 2005), Semantic links in integrated modelling frameworks, in Zerger, A. and Argent, R.M. (eds) MODSIM 2005 International Congress on Modelling and Simulation. Modelling and Simulation Society of Australia and New Zealand, pp. 170\u2013176."},{"key":"13_CR17","unstructured":"ROAD (2007) Repast Home Page, Repast Organization for Architecture and Design, Chicago, IL USA, Available as http:\/\/repast.sourceforge.net\/ URL"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Shapiro, S., Y. Lesp\u00e9rance, and H. J. Levesque (2002) The cognitive agents specification language and verification environment for multiagent systems, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, Bologna, Italy, pp 19\u201326.","DOI":"10.1145\/544741.544746"},{"issue":"6","key":"13_CR19","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1080\/136588199241102","volume":"13","author":"K. Taylor","year":"1999","unstructured":"Taylor K., G. Walker, and D. Abel (September 1999) A framework for model integration in spatial decision support systems, International Journal of Geographical Information Science, Vol. 13, No. 6, pp 533\u2013555.","journal-title":"International Journal of Geographical Information Science"},{"key":"13_CR20","unstructured":"van Evert, F., D. Holzworth, R. Muetzelfeldt, A. Rizzoli, and F. Villa (2005) Convergence in integrated modeling frameworks, in Zerger, A. and Argent, R.M.. eds., MODSIM 2005 International Congress on Modelling and Simulation. Modelling and Simulation Society of Australia and New Zealand, pp.745\u2013750."},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S0304-3800(00)00422-1","volume":"137","author":"F. Villa","year":"2001","unstructured":"Villa, F. (2001a) Integrating Modelling Architecture: a declarative framework for multi-scale, multi-paradigm ecological modelling. Ecological Modelling, 137: 23\u201342.","journal-title":"Ecological Modelling"},{"key":"13_CR22","unstructured":"Villa, F. (2001b) The Integrating Modelling Toolkit Home Page, Available as http:\/\/ecoinformatics.uvm.edu\/technologies\/downloads-and-license.html URL"},{"key":"13_CR23","volume-title":"3rd Biennial meeting of the International Environmental Modelling and Software Society","author":"F. Villa","year":"2006","unstructured":"Villa, F., M. Donatelli, A. Rizzoli, P. Krause, S. Kralisch, and F. K. van Evert (2006) Declarative modelling for architecture independence data\/model integration: a case study, 3rd Biennial meeting of the International Environmental Modelling and Software Society, Burlington, Vermont, USA."},{"key":"13_CR24","unstructured":"Viswanath, K. (March 9, 2005) Java annotation facility \u2014 a primer, Java Developers Journal Online, Available as http:\/\/java.sys-con.com\/read\/48539.htm, SYS-CON Media URL."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Wieringa, R. (December 1998) A survey of structured and object-oriented software specification methods and techniques, ACM Computing Surveys, Vol. 30, No. 4.","DOI":"10.1145\/299917.299919"}],"container-title":["Advancing Social Simulation: The First World Congress"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-4-431-73167-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T15:22:07Z","timestamp":1606144927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-4-431-73167-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9784431731504","9784431731672"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-4-431-73167-2_13","relation":{},"subject":[]}}