(by Michael Froehlich, 1994-11-11)

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

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 menu 'File/Load Graph...'.

The files *.status are status files which covers the structure of a graph, 
the layout and the current 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 at 
start-up time by passing the filename as a command line argument.

README
------
is this file.

README_icons
------------
is a file with important informations about loading graphs with icons
in daVinci V1.4.

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 (sorry, but there was no time to make this graph for daVinci 
V1.4). daVinci is implemented in the functional programming language ASpecT. 
Black solid edges are global imports, red dotted edges are local imports.

edge_labels.daVinci
-------------------
is a small graph where edge labels are simulated by using the graphical
object 'text'. This graph can be found as an example in the Transition Guide.

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 a graph which uses all supported fonts of 
daVinci V1.4.

graph_example.daVinci
---------------------
is a graph without any semantic, taken from a prospect of a commercial 
graph editor. The colours do not have any significance, they are just 
looking nice.

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

graph_of_figure_3.daVinci
-------------------------
this graph is used in Appendix A of the User Manual (figure 3) to 
demonstrate most of the visualization capabilities of daVinci. This
graph uses an icon, so you have to set shell variable DAVINCI_ICONDIR
correctly (refer to User Manual).

hiding_subgraphs.daVinci
------------------------
is a small graph where the initial abstraction feature (i.e. attribute
HIDDEN) is demonstrated. This graph can be found as an example in the 
Transition Guide.

icons.daVinci
-------------
demonstrates the new icon feature of daVinci V1.4. The graph shows pictures
of nearly all members of the Institute for Formal Methods in Software 
Engineering at the University of Bremen, Germany. In the graph, you can find
the both authors of daVinci. This graph uses icons, so you have to set shell 
variable DAVINCI_ICONDIR correctly (refer to User Manual).

languages.daVinci
-----------------
is a term representation of a graph which shows 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.

multiline.daVinci
-----------------
is a graph with only one node where the multiline feature for strings
is demonstrated (new in daVinci V1.4). This graph can be found as an 
example in the Transition Guide.

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 in the
visualization 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 colored test graph. 

smaller.daVinci
---------------
is even smaller than small_coloured.daVinci (with only two nodes and 
one edge). You will not be impressed after loading this graph.

xerox_star.daVinci
------------------
is a term representation of a graph, representing the development of the 
Xerox Star, the first computer with a graphical user interface. The graph 
shows 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 daVinci documentation.

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