KIML Layout Options

Version 17.1 by msp on 2014/03/07 16:46

Warning

This is preliminary and incomplete documentation. You've been warned.

KIML defines a whole set of standard layout options that many layout algorithms support. Whether an algorithm supports a layout option depends on the option and on the algorithm. When an option is supported by an algorithm, it may change the option's default value. Algorithms may also provide more specialized documentation for a given layout option.

Contents

Overview

Beside a human-readable name, layout options are defined by the following properties:

  • An ID to identify them.
  • A type. One of Boolean, String, Int, Float, Enum, EnumSet (a Set over a given enumeration), or Object. The types Enum and EnumSet have to be further defined by an enumeration class. The Object type can be constricted to a certain class.
  • The kinds of graph objects the option applies to. At least one of Parents (nodes that have children, including the diagram root node), Nodes, Edges, Ports, and Labels.
  • An optional default value. If an option is not set on an object and if the option does not have a default value, null is returned when it is accessed.

KIML defines the following set of layout options:

Option

ID

Type

Applies to

Default

Alignment

de.cau.cs.kieler.alignment

Enum

Nodes

AUTOMATIC

Aspect Ratio

de.cau.cs.kieler.aspectRatio

Float

Parents

0.0

Bend Points

de.cau.cs.kieler.bendPoints

Object

Edges

 

Border Spacing

de.cau.cs.kieler.borderSpacing

Float

Parents

 

Comment Box

de.cau.cs.kieler.commentBox

Boolean

Nodes

false

Debug Mode

de.cau.cs.kieler.debugMode

Boolean

Parents

false

de.cau.cs.kieler.diagramType

String

 

 

Direction

de.cau.cs.kieler.direction

Enum

Parents

 

Edge Label Placement

de.cau.cs.kieler.edgeLabelPlacement

Enum

Labels

 

de.cau.cs.kieler.edgeRouting

Enum

Parents

 

Edge Type

de.cau.cs.kieler.edgeType

Enum

Edges

NONE

Expand Nodes

de.cau.cs.kieler.expandNodes

Boolean

Parents

false

Font Name

de.cau.cs.kieler.fontName

String

Labels

 

Font Size

de.cau.cs.kieler.fontSize

Int

Labels

 

Hypernode

de.cau.cs.kieler.hypernode

Boolean

Nodes

false

Interactive

de.cau.cs.kieler.interactive

Boolean

Parents

false

Label Spacing

de.cau.cs.kieler.labelSpacing

Float

Edges
Nodes

 

Layout Hierarchy

de.cau.cs.kieler.layoutHierarchy

Boolean

Parents

false

de.cau.cs.kieler.algorithm

String

Parents

 

Minimal Height

de.cau.cs.kieler.minHeight

Float

Nodes
Parents

0.0

Minimal Width

de.cau.cs.kieler.minWidth

Float

Nodes
Parents

0.0

No Layout

de.cau.cs.kieler.noLayout

Boolean

 

false

Node Label Placement

de.cau.cs.kieler.nodeLabelPlacement

EnumSet

Nodes

 

Port Constraints

de.cau.cs.kieler.portConstraints

Enum

Nodes

 

Port Label Placement

de.cau.cs.kieler.portLabelPlacement

Enum

Nodes

OUTSIDE

de.cau.cs.kieler.offset

Float

Ports

 

Port Side

de.cau.cs.kieler.portSide

Enum

Ports

 

Port Spacing

de.cau.cs.kieler.portSpacing

Float

Nodes

 

Position

de.cau.cs.kieler.position

Object

Labels
Nodes
Ports

 

Priority

de.cau.cs.kieler.priority

Int

Edges
Nodes

 

Randomization Seed

de.cau.cs.kieler.randomSeed

Int

Parents

 

Separate Connected Components

de.cau.cs.kieler.separateConnComp

Boolean

Parents

 

Size Constraint

de.cau.cs.kieler.sizeConstraint

EnumSet

Nodes

 

Size Options

de.cau.cs.kieler.sizeOptions

EnumSet

Nodes

DEFAULT_MINIMUM_SIZE

Spacing

de.cau.cs.kieler.spacing

Float

Parents

 

The Most Important Options

While most layout options are used to affect how the active layout algorithm computes concrete coordinates for the graph elements, there are some layout options that have a special role in KIML.

Layout Algorithm

The option with identifier de.cau.cs.kieler.algorithm specifies which layout algorithm to use for the content of a composite node. The value can be either the identifier of a layout algorithm or the identifier of a layout type. In the latter case the algorithm with highest priority of that type is applied.

The following layout types are predefined:

  • Layered - The layer-based method emphasizes the direction of edges by pointing as many edges as possible into the same direction. The nodes are arranged in layers and then reordered such that the number of edge crossings is minimized. Afterwards, concrete coordinates are computed for the nodes and edge bend points.
  • Orthogonal - Orthogonal methods follow the "topology-shape-metrics" approach, which first applies a planarization technique, resulting in a planar representation of the graph, then compute an orthogonal shape, and finally determine concrete coordinates for nodes and edge bend points by applying a compaction method.
  • Force - Layout algorithms that follow physical analogies by simulating a system of attractive and repulsive forces.
  • Circular - Circular layout algorithms emphasize biconnected components of a graph by arranging them in circles. This is useful if a drawing is desired where such components are clearly grouped, or where cycles are shown as prominent properties of the graph.
  • Tree - Specialized layout methods for trees, i.e. acyclic graphs. The regular structure of graphs that have no undirected cycles can be emphasized using an algorithm of this type.

Available Algorithms and Libraries

  • The KLay Project - Java implementations of standard layout approaches, augmented with special processing of graph features such as ports and edge labels.
  • Randomizer - Distributes the nodes randomly; not very useful, but it can show how important a good layout is for understanding a graph.
  • Box Layout - Ignores edges, places all nodes in rows. Can be used to layout collections of unconnected boxes, such as Statechart regions.

  • Fixed Layout - Does not compute a new layout, but leaves all nodes and edges where they are. If the Position and Bend Points options are set for the elements of the graph, the pre-defined layout is applied.
  • OGDF (www.ogdf.net) - A self-contained C++ class library for the automatic layout of diagrams. The version that is shipped with KIELER is compiled as an executable that reads files in OGML format and outputs the computed concrete layout.
  • Graphviz (www.graphviz.org) - An open source graph visualization tool with several graph layout programs, web and interactive graphical interfaces, auxiliary tools, libraries, and language bindings. Graphviz needs to be installed separately in order to be used within KIELER, since it is called in a separate process using the DOT language for communication.

Diagram Type

Diagram types are used to classify graphical diagrams for setting default layout option values for a set of similar diagrams. The diagram type of an element is specified with the layout option de.cau.cs.kieler.diagramType. Layout algorithms can declare which diagram types they support well, and give a priority value for each supported type. KIML decides at runtime which layout algorithm has the highest priority for a given diagram, so that the most suitable algorithm is always used. Usual values for such priorities are between 1 and 10, where the highest value should only be assigned if the algorithm is especially designed for diagrams of the respective type, or if it has proven to be very adequate for them. Lower values should be given if the algorithm is able to draw the diagrams correctly, but with lower quality of the resulting layout.

The following diagram types are predefined:

  • General - This type is automatically assigned to all diagrams for which no specific type is declared. A layout algorithm that has the highest priority on the General diagram type is taken as the default algorithm when no further information on a diagram is available to KIML.
  • State Machine - All kinds of state machines, automata, and activity diagrams. Examples: SCCharts SyncCharts, UML Activity diagrams.
  • Data Flow Diagram - Actor-oriented diagrams, where connections are mostly done between ports of nodes. These diagrams can only be handled properly by very special layout algorithms, such as those developed in the KLay project.
  • Class Diagram - Class diagrams such as Ecore diagrams for the EMF or UML Class diagrams.
  • Use Case Diagram - Use case diagrams as defined by the UML.
  • Unconnected Boxes - Sets of nodes that have no connections and are treated as resizable boxes. This is related to mathematical packing problems. Example: Regions in SCCharts SyncCharts.

Other Options

  • Layout Hierarchy (de.cau.cs.kieler.layoutHierarchy) - If this option is supported and active, the layout algorithm is requested to process the full hierarchy contained in the input node. This means that instead of executing another algorithm on each hierarchy level, all levels are arranged in a single algorithm execution. 
  • Hypernode (de.cau.cs.kieler.hypernode) - A node that is marked as hypernode has a special role in the graph structure, since all its incident edges are treated as parts of the same hyperedge. Example: relation vertices in Ptolemy models.
  • Comment Box (de.cau.cs.kieler.commentBox) - A node that is marked as comment box is treated as a label that needs to be placed somewhere. This is different to normal node labels, which are usually regarded as fixed.
  • No Layout (de.cau.cs.kieler.noLayout) - Elements that are marked with this option are excluded from layout. This is used to identify diagram objects that should not be regarded as graph elements.

Detailed Documentation

This section explains every layout option in more detail.

Edge Routing

This option influences the way in which edges are routed between the nodes they connect. The following settings are available:

  • POLYLINE
    Edges consist of one or more segments defined by a list of bend points.
  • ORTHOGONAL
    Edges are routed orthogonally, meaning that each segment of an edge runs either horizontally or vertically, but never at an angle.
  • SPLINE
    Edges are routed as splines (smooth curves). TODO: Add more documentation on how the returned bend points are to be interpreted.
  • UNDEFINED
    No particular edge routing style is selected. The result produced by the layout algorithm may be undefined.

TODO: Add an image illustrating the different routing styles.

Port Offset

The port offset is used to specify how much space a layout algorithm should leave between a port and the border of its node. This is usually zero, but doesn't have to be. If the offset is not defined for a given port, a layout algorithm can try to infer the offset from the port's coordinates and its node's size in the input graph. This of course requires both properties to be set to sensible values.

Set this property if one of the following cases applies:

  • The port constraints on a node are set to FREE, FIXED_SIDES or FIXED_ORDER.
  • The port constraints on a node are set to FIXED_RATIO or FIXED_POS, and the size of the node is not fixed. (Note that this is especially true for ports of compound nodes.)