A Visual Environment for the Design of Distributed Systems

  • Michael L. Graf
Part of the Languages and Information Systems book series (LISS)


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.


Assignment Statement Visual Environment Execution Path Distribute Computer System Communicate Sequential Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P. C. Attie, A Guide to Raddle87 Semantics, STP-340-87, Microelectronics and Computer Technology Corp., Austin, Texas, January 1988.Google Scholar
  2. 2.
    C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall International, London, 1985.MATHGoogle Scholar
  3. 3.
    K. M. Chandy and J. Misra, Parallel Programming Design: A Foundation, draft version, September 1986.Google Scholar
  4. 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. 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
  6. 6.
    N. Wirth, Program development by step-wise refinement, Commun. ACM 14, 221–227 (1971).MATHCrossRefGoogle Scholar
  7. 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
  8. 8.
    J. Conklin, Hypertext: an introduction and survey, Computer 20(9), 17–41 (1987).CrossRefGoogle Scholar

Copyright information

© Plenum Press, New York 1990

Authors and Affiliations

  • Michael L. Graf
    • 1
  1. 1.MCC Software Technology Program and NCR CorporationAustinUSA

Personalised recommendations