Advertisement

A Declarative Model Assembly Infrastructure for Verification and Validation

  • M. J. North
  • T. R. Howe
  • N. T. Collier
  • J. R. Vos

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.

Keywords

Multiagent System Argonne National Laboratory Testing Target Runtime System Social Simulation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beck, K., and E. Gamma (1998) Test infected: programmers love writing tests, Java Report, vol. 3, no. 7, pp 37–50.Google Scholar
  2. 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.Google Scholar
  3. 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.Google Scholar
  4. 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 URLGoogle Scholar
  5. 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 URLGoogle Scholar
  6. 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 URLGoogle Scholar
  7. 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.Google Scholar
  8. 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.Google Scholar
  9. 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.Google Scholar
  10. 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.Google Scholar
  11. Law, A. (2006) Simulation Modeling and Analysis. 4th ed. New York, New York, USA: McGraw-Hill.Google Scholar
  12. 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.Google Scholar
  13. 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.Google Scholar
  14. 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.Google Scholar
  15. 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.Google Scholar
  16. 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.Google Scholar
  17. ROAD (2007) Repast Home Page, Repast Organization for Architecture and Design, Chicago, IL USA, Available as http://repast.sourceforge.net/ URLGoogle Scholar
  18. 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.Google Scholar
  19. 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.CrossRefGoogle Scholar
  20. 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.Google Scholar
  21. Villa, F. (2001a) Integrating Modelling Architecture: a declarative framework for multi-scale, multi-paradigm ecological modelling. Ecological Modelling, 137: 23–42.CrossRefGoogle Scholar
  22. Villa, F. (2001b) The Integrating Modelling Toolkit Home Page, Available as http://ecoinformatics.uvm.edu/technologies/downloads-and-license.html URLGoogle Scholar
  23. 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.Google Scholar
  24. 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.Google Scholar
  25. Wieringa, R. (December 1998) A survey of structured and object-oriented software specification methods and techniques, ACM Computing Surveys, Vol. 30, No. 4.Google Scholar

Copyright information

© Springer 2007

Authors and Affiliations

  • M. J. North
    • 1
    • 2
  • T. R. Howe
    • 1
  • N. T. Collier
    • 1
    • 3
  • J. R. Vos
    • 1
    • 4
  1. 1.Argonne National LaboratoryArgonneUSA
  2. 2.University of ChicagoChicagoUSA
  3. 3.PantaRei Corp.CambridgeUSA
  4. 4.University of Il-linoisUrbanaUSA

Personalised recommendations