(by Michael Froehlich, 1994-03-31)

This directory contains some example graphs which can be visualized with
the interactive graph visualization system daVinci V1.3. 

The files *.daVinci are term representations of graphs (i.e. ASCII text). 
Term representations are structures of graphs without any layout informa-
tion. They can be modified or created with an ordinary text editor or with 
the graph editor of daVinci (refer to documentation for details). One can 
load term representations in daVinci by using the menu 'File/Load Graph...'.

The files *.status are status files which covers the structure of a graph, 
the layout and the actual user interface settings of daVinci. One can load
status files in daVinci by using the menu 'File/Load Status...'. Note: 
status file saved by one version of daVinci cannot be loaded in former 
releases of the system, but the opposite is true.

Both, term representations and status files, can be loaded in daVinci V1.3
at start-up time by passing the filename as a command line argument.

README
------
is this file.

cyclic.daVinci
--------------
is a small cyclic graph with five nodes. 

daVinci_modules.status
-----------------------
is the status file of the dependency (import) graph of all modules in 
daVinci V1.3. daVinci was implemented in the functional language ASpecT.
Black, solid edges are global imports, red, dotted edges are local imports.

example_rowe.daVinci
--------------------
is a call graph taken from an article of Lawrence A. Rowe et al (Rowe, 
Davis, Messinger, Meyer: A Browser for Directed Graphs; Software -
Practice and Experience; Vol. 17(1); pp. 61-76; January 1987).

font_test.daVinci
-----------------
is a term representation of graph with all supported fonts of daVinci V1.3.

graph_example.daVinci
---------------------
is a graph without any semantic, taken from a prospect of another graph 
visualization system. The colours have no meanings, they are just looking 
nice.

graph_example.status
--------------------
is a status file of the graph above. The layout was improved manually by 
fine tuning.

languages.daVinci
-----------------
is a term representation of a graph which is showing dependencies in the
development of some programming languages. This graph was taken from an
article.

languages.status
-----------------
is a status file of the graph above.

multiple_edges.daVinci
----------------------
is a term representation of a small graph with a multiple edge (i.e.
more than one edge between two nodes).

pseudo_cyclic.daVinci
---------------------
is a term representation of a cyclic graph which is in fact an acyclic 
graph. Some edges in this acyclic graph structure are inverted by using
the edge attribute '_DIR', so the graph seems to be cyclic.

self_refering_edges.daVinci
---------------------------
is a graph with multiple- and self-refering edges. Self-refering edges
cannot be selected in daVinci!

small_coloured.daVinci
----------------------
is a small coloured test graph. You can find this graph in the daVinci 
user manual. The colours have no meanings, they are just looking nice.

smallest.daVinci
----------------
is even smaller than small_coloured.daVinci (only two nodes and one edge).
In opposite to former releases, daVinci V1.3 supports graphs with only
one level or even zero levels (empty graphs).

xerox_star.daVinci
------------------
is a term representation of a graph with the development of the Xerox Star, 
the first computer with a graphical user interface. The graph is showing,
how systems in the context of the Star have influenced eachother. In this
graph, colors and shapes are used for the visualization of nodes to
represent differend classes of systems: Green ellipses are used for 
hardware, red circles are used for programming languages resp. environments,
blue boxes are used for other software and yellow rhombs are used for
immaterial systems which were only described in papers. This graph was
taken from the article "The Xerox Star: A Retrospective" of Johnson et al.
in IEEE Computer, pp. 11-29, September 1989. The Xerox graph is used for 
the cover of the documentation of daVinci.

xerox_star.status
-----------------
is a status file of the graph above. The layout was improved manually by 
fine tuning.
