Title: | EXTENDING TEMPORAL LOGIC TO SUPPORT HIGH-LEVEL SIMULATIONS |
Authors: | Tuzhilin, Alexander |
Issue Date: | 1993 |
Publisher: | Stern School of Business, New York University |
Series/Report no.: | IS-93-19 |
Abstract: | A high-level simulation language based on temporal logic is described. The language combines a large set of temporal tenses and a rich class of high-level modeling primitives. Also an implementation of the language interpreter is presented. Finally. a real-world case study is described that shows how a programmer can develop structured, reliable, and well-maintainable simulation programs using the language. |
URI: | http://hdl.handle.net/2451/14255 |
Appears in Collections: | IOMS: Information Systems Working Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
IS-93-19.pdf | 6.43 MB | Adobe PDF | View/Open |
Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.