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.
This report is part of the RAND Corporation monograph report series. The monograph/report was a product of the RAND Corporation from 1993 to 2003. RAND monograph/reports presented major research findings that addressed the challenges facing the public and private sectors. They included executive summaries, technical documentation, and synthesis pieces.
Permission is given to duplicate this electronic document for personal use only, as long as it is unaltered and complete. Copies may not be duplicated for commercial purposes. Unauthorized posting of RAND PDFs to a non-RAND Web site is prohibited. RAND PDFs are protected under copyright law. For information on reprint and linking permissions, please visit the RAND Permissions page.
The RAND Corporation is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.