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

fYear

1991

fDate

8-11 Dec 1991

Firstpage

223

Lastpage

232

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Simulation Conference, 1991. Proceedings., Winter

Conference_Location

Phoenix, AZ

Print_ISBN

0-7803-0181-1

Type

conf

DOI

10.1109/WSC.1991.185619

Filename

185619