Nonprocedural-dataflow specification of concurrent programs
Noah S. Prywes, Boleslaw Karol Szymanski, Yuan Chang Shi · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1983
A previously developed nonprocedural specification language model and its program generator are extended to concurrent programming. The specification of concurrent programs in model and the generation of the corresponding object programs is illustrated through a resource allocation example which consists of a number of parallel processes that request and release resources and a monitor process that allocates requested resources. The discussion is particularized by the example of the dining philosophers problem. To provide background, the author reviews the methodology of the program generator for (1) checking the global and local consistency and completeness of the specification, and (2) generating a schedule of program events to attain efficiency in program execution. 20 references.