The RAND Advanced Simulation Language Project's Declarative Modeling Formalism (DMOD)
ResearchPublished 1994
ResearchPublished 1994
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 publication is part of the RAND monograph report series. The monograph report was a product of RAND 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.
This document and trademark(s) contained herein are protected by law. This representation of RAND intellectual property is provided for noncommercial use only. Unauthorized posting of this publication online is prohibited; linking directly to this product page is encouraged. Permission is required from RAND to reproduce, or reuse in another form, any of its research documents for commercial purposes. For information on reprint and reuse permissions, please visit www.rand.org/pubs/permissions.
RAND 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.