A Family of Languages for Trustworthy Agent-Based Simulation
summary
Proposes a concrete stack of domain-specific languages that map a domain hypothesis and domain-model queries down through an agent-level model to a simulation-level implementation, with translations expressed as reusable incremental transformations; claims this makes the fitness-for-purpose argument explicit, inspectable and partly automatable. Suggests integrating existing tools (Spartan or MC2MABS) to compute required run counts and statistical significance, and reports that staged generation reduces reinspection effort because lower-level transformations are reusable across models.
AI-written summary · about
chapters (4)
- 0:00Start
- 2:18How are ABMs developed?
- 7:02A vision of DSMLs for trustworthy agent-based modelling
- 9:49Benefits
related talks
32mMind the Gap: General-Purpose Programming Languages Impede Scientific Model(…)
36mRethinking legacy modernisation with automated reasoning and comprehension models
26mHow to Build and Govern Production-Grade Multi-Agent Systems
29mDeriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling...
05mModel Driven Software: Putting the Cart Before the Egg
10mSpecification-driven development and model-driven architecture with AI
45mAI agents in practice - beyond the prototype
17mFour Languages for Portability