Abstract
Model verification and validation (V&V) are critical to the long term use of agent-based models of social processes. This paper addresses one important aspect of social simulation V&V, specifically that of component-level V&V. In this paper the Repast Simphony (Repast S) declarative model assembly infrastructure for supporting component-level V&V is discussed.
This paper builds on North, Howe, Collier, and Vos (2006) and the overviews of the Repast Simphony runtime system and development environment provided in North, Howe, Collier, and Vos (2005a and 2005b).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Beck, K., and E. Gamma (1998) Test infected: programmers love writing tests, Java Report, vol. 3, no. 7, pp 37–50.
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.
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–221, Argonne, IL USA: Argonne National Laboratory, Available on CD and at http://www.agent2005.anl.gov/ URL.
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
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
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
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.
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.
IEEE. (2001b) IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) — Federate Interface Specification, Institute of Electrical and Electronics Engineers, P1516.1.
IEEE. (2001c) IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) — Object Model Template (OMT) Specification, Institute of Electrical and Electronics Engineers, P1 516.2.
Law, A. (2006) Simulation Modeling and Analysis. 4th ed. New York, New York, USA: McGraw-Hill.
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.
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.
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.
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–7.
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–176.
ROAD (2007) Repast Home Page, Repast Organization for Architecture and Design, Chicago, IL USA, Available as http://repast.sourceforge.net/ URL
Shapiro, S., Y. Lespérance, 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–26.
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–555.
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–750.
Villa, F. (2001a) Integrating Modelling Architecture: a declarative framework for multi-scale, multi-paradigm ecological modelling. Ecological Modelling, 137: 23–42.
Villa, F. (2001b) The Integrating Modelling Toolkit Home Page, Available as http://ecoinformatics.uvm.edu/technologies/downloads-and-license.html URL
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.
Viswanath, K. (March 9, 2005) Java annotation facility — a primer, Java Developers Journal Online, Available as http://java.sys-con.com/read/48539.htm, SYS-CON Media URL.
Wieringa, R. (December 1998) A survey of structured and object-oriented software specification methods and techniques, ACM Computing Surveys, Vol. 30, No. 4.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this chapter
Cite this chapter
North, M.J., Howe, T.R., Collier, N.T., Vos, J.R. (2007). A Declarative Model Assembly Infrastructure for Verification and Validation. In: Takahashi, S., Sallach, D., Rouchier, J. (eds) Advancing Social Simulation: The First World Congress. Springer, Tokyo. https://doi.org/10.1007/978-4-431-73167-2_13
Download citation
DOI: https://doi.org/10.1007/978-4-431-73167-2_13
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-73150-4
Online ISBN: 978-4-431-73167-2
eBook Packages: Computer ScienceComputer Science (R0)