EXTENDING TEMPORAL LOGIC TO SUPPORT HIGH-LEVEL SIMULATIONS
|Publisher:||Stern School of Business, New York University|
|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.|
|Appears in Collections:||IOMS: Information Systems Working Papers|
Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.