Title :
Linking simulation model specification and parallel execution through UNITY
Author :
Abrams, Marc ; Page, Ernest H. ; Nance, Richard E.
Author_Institution :
Dept. of Comput. Sci., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
Abstract :
Presents the results of an attempt to bridge the gap between the requirements and philosophy of parallel programming (attention being focused on crucial efficiency-related implementation details) and the requirements and philosophy of a simulation model specification (attention being focused on correctly and simply describing the model behavior). K.M. Chandry and J. Misra´s (1988) UNITY system is found to offer (or be amenable to) many of the features required to bridge this gap. UNITY can handle both a state-transition-based specification, which is a conventional parallel simulation program, and a data-flow-based specification. For the G/G/1 problem, the data-flow view leads to a more efficient solution
Keywords :
digital simulation; formal specification; parallel programming; software tools; G/G/1 problem; UNITY; data-flow-based specification; efficiency-related implementation details; model behavior; parallel execution; parallel programming; philosophy; requirements; simulation model specification; state-transition-based specification; Computational modeling; Computer architecture; Computer science; Computer simulation; Joining processes; Parallel architectures; Parallel programming; Protocols; Safety; Specification languages;
Conference_Titel :
Simulation Conference, 1991. Proceedings., Winter
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-0181-1
DOI :
10.1109/WSC.1991.185619