A Study of the Applicability of the Vienna Definition Language to the Specification of the Semantics of the Next Event Simulation Concept.
Abstract
The range of programming concepts to which the semantic meta-language V.D.L. (Vienna Definition Language) is applicable is shown to include the next event simulation concept. To show this, some next event simulation facilities are added to PL/I, which is already formally specified in V.D.L. This extended version of PL/I is then formally specified in V.D.L. Included in the simulation facilities are a number of statements which enable the programmer to schedule or reschedule events on either a conditional or unconditional basis, cancel events, initiate simulation, and abnormally terminate simulation and a number of built-in functions which return information about scheduled events. Some of the special features of these facilities include the ability to restart the simulation at a previous point through the appropriate use of schedule variables, monitor the simulation, and perform both parallel and nested simulation. In addition, some of the problems which are encountered when specific next event simulation facilities are added to PL/I are discussed. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1972
- Accession Number
- AD0746833
Entities
People
- Carl R. Carlson
Organizations
- University of Iowa