The RAND Advanced Simulation Language Project's declarative modeling formalism (DMOD) / Jeff Rothenberg, Sanjai Narain.

By:

Rothenberg, Jeff, 1947- [author.]

Contributor(s):

Publisher: Santa Monica, CA : RAND, 1994Description: ix, 60 pages : illustrations ; 28 cmContent type:

text

Media type:

computer
unmediated

Carrier type:

online resource
volume

ISBN:

0833015559

Subject(s):

Genre/Form:

Electronic books.

LOC classification:

UC273 .R68 1994

Online resources:

Click here to access online

Available additional physical forms:

Also available on the internet via WWW in PDF format.

Summary: 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.

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 5 )

No physical items for this record

"National Defense Research Institute."

Includes bibliographical references (p. 57-60).

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.

Also available on the internet via WWW in PDF format.

Description based on print version record.