A Visual Environment for the Design of Distributed Systems
MCC’s Software Technology Program is developing technologies for the design and specification of distributed computer systems. This chapter presents verdi, a visual environment for distributed systems designers. The environment uses a visual language as the expression of design. The visual language is based on the syntax and semantics of Raddle, a textual distributed system specification language concurrently under development at MCC. verdi provides a powerful work environment which encourages initial use of a high level of abstraction and successive, simultaneous refinement of design segments. In this chapter, we describe verdi visual language syntax and semantics, give examples of its use, and describe the verdi workspace and tools for creation, simulation, and analysis of distributed system designs. Some areas of future work are listed.
KeywordsAssignment Statement Visual Environment Execution Path Distribute Computer System Communicate Sequential Process
Unable to display preview. Download preview PDF.
- 1.P. C. Attie, A Guide to Raddle87 Semantics, STP-340-87, Microelectronics and Computer Technology Corp., Austin, Texas, January 1988.Google Scholar
- 3.K. M. Chandy and J. Misra, Parallel Programming Design: A Foundation, draft version, September 1986.Google Scholar
- 4.R. Guindon, H. Krasner, and B. Curtis, Breakdowns and processes during the early activities of software design by professionals, in Empirical Studies of Programmers, G. Olson, E. Soloway, and S. Sheppard (Eds.), Ablex, 1987, Norwood, N.J., pp. 65–82.Google Scholar
- 5.R. Guindon and B. Curtis, Control of cognition during software design: what tools would support software designers?, Proceedings of CHI’88, Washington, D.C., 1988.Google Scholar
- 7.G. W. Furnas, The FISHEYE View: A New Look at Structured Files, Bell Laboratories Technical Memo, Murray Hill, New Jersey, October 1985.Google Scholar