Article
VERDI: A visual environment for designing distributed systems

https://doi.org/10.1016/0743-7315(90)90041-MGet rights and content

Abstract

VERDI is a visual environment for designing, prototyping, and analyzing distributed systems. Using VERDI's graphical and embedded language editors, a designer can construct a graphical model of a system consisting of asynchronous processes and procedures. This representation can be at a high level of abstraction, at the level of straightforward implementation, or anywhere in between. The representational emphasis is on the control and communication structure of the design. VERDI can execute the design, allowing the designer to examine and demonstrate the design's functionality and performance. The optional animation of the design's execution enables the designer to debug the design interactively. This paper describes VERDI's graphical language and its editing and animation capabilities.

References (14)

  • D. Harel

    Statecharts: A visual formalism for complex systems

    Sci. Comput. Programming

    (June 1987)
  • A.L. Ambler et al.

    Influence of visual technology on the evolution of language environments

    IEEE Comput.

    (Oct. 1989)
  • P. Attic

    A guide to Raddle 87 semantics

  • R.J.R. Back et al.

    Distributed cooperation with action systems

    ACM Trans. Programming Languages Systems.

    (Oct. 1988)
  • G. Bruns

    Germ: A metasystem for browsing and editing

  • K.M. Chandy et al.

    Parallel Programming Design: A Foundation

    (1988)
  • S. Chang

    Principles of visual languages

There are more references available in the full text version of this article.

Cited by (12)

  • High-level abstractions for message-passing parallel programming

    2003, Parallel Computing
    Citation Excerpt :

    HeNCE [15] is also a graphical language for creating and running parallel programs in graphs over a heterogeneous collection of computers. Differing from CODE, the graph in HeNCE shows the control flow of a program [16]. The procedures performed by the nodes are written in C or Fortran.

  • A performance model interchange format

    1999, Journal of Systems and Software
  • Software engineering for parallel systems

    1994, Information and Software Technology
  • ClusterGOP: A High-Level Programming Environment for Clusters

    2006, High-Performance Computing: Paradigm and Infrastructure
View all citing articles on Scopus
View full text