High level programming for distributed computing
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
An approach to software system modelling and analysis
Computer Languages
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Behavior specification in a software design system
Journal of Systems and Software
Hi-index | 0.00 |
The Design Realization, Evaluation And Modelling (DREAM) system is an automated support system for designers of large-scale, concurrent software systems. DREAM is intended to facilitate the orderly development of such software systems by supporting high-level, abstract design descriptions and the successive modification and elaboration of incomplete descriptions. DREAM also provides a basis for formulating arguments regarding the correctness of an evolving design at any stage during its development. We begin this paper by presenting a viewpoint which has served to motivate our work in developing the DREAM system. Next we will describe DREAM itself, and its associated design language (the DREAM Design Notation or DDN). This discussion will highlight the major features of DREAM and the approach to software system design which DREAM supports. Finally, we will present a simple example of a DREAM design description. This should serve to illustrate both the specifics of the DREAM Design Notation and also the application of DDN to the description of concurrent software system designs.