(by Michael Froehlich, June 21, 1996)

This directory contains some example graphs which can be visualized with
the interactive graph visualization system daVinci V2.0.x. 

The *.daVinci files 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/Open...'.

The *.status files 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/Open...'. 
Note: status files saved by a later version of daVinci cannot be loaded 
in an earlier 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 using the filename as command line argument.

README
------
is this file.

all_features.daVinci
--------------------
is a small graph to shows nearly all node and edge attributes supported by
daVinci V2.0.x.

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

conceptual_graph.daVinci
------------------------
is a type of graph used in knowledge representation. In fact this one is a 
tree. It represents properties of a publication.

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 
V2.0.x). 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'. 

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 V2.0.x.

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.

hiding_subgraphs.daVinci
------------------------
is a small graph where the initial abstraction feature (i.e. attribute
HIDDEN) is demonstrated. 

icons.daVinci
-------------
demonstrates the icon feature of daVinci V2.0.x. 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. 

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. 

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 test graph using different colors. 

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.

sublanguages.daVinci
--------------------
is a very nice graph which will have a symetrical layout in daVinci. The
true color feature of daVinci V2.0.x is used here to get different shades 
of yellow. The graph shows the relations of some programming language
properties.

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.
