The RAND Advanced Simulation Language Project's Declarative Modeling Formalism (DMOD)
This report discusses research by the RAND Advanced Simulation Language (RASL) project. The goal of this project was to develop knowledge-based modeling techniques that integrate simulation and planning in order to answer strategic mobility questions that go beyond the "What if...?" capabilities of traditional simulation: questions such as "Can a given event ever happen?" "Under what conditions will an event happen?" or "How can a desired result be achieved?" The report presents an in-depth description of the Declarative MODeling formalism (DMOD) that was developed by the RASL project. DMOD can be thought of as an attempt to formulate a logical description of the event-scheduling view of discrete-event simulation. Formal proofs of the soundness and completeness of the DMOD approach are presented, along with a number of detailed examples of how to perform modeling using DMOD.