Skip to content

Interface

Jump to bottom
Kohwalter edited this page Mar 4, 2016 · 4 revisions

Interface

Menus

File

File Menu

  • Open Config File: (File Selection) Open the XML file containing the Configuration properties for the tool.

  • Open Graph File: (File Selection) Open the file containing the graph. Graph files must use the tool's input.xsd format or PROV-N format. Refer to Graph File section for more details.

  • Exit: Closes the application

Options

Options Menu

  • Auto Detect Edges: Automatically populates the "Display Edge" field. Refer to the Configuration section for more details.

  • Auto Detect Attributes: Automatically populates the "Attribute Status" field. Refer to the Configuration section for more details.

  • Display Agent Vertex Label: (Toggle) Display the labels from Agent Vertices

  • Display Activity Vertex Label: (Toggle) Display the labels from Activity Vertices

  • Display Entity Vertex Label: (Toggle) Display the labels from Entity Vertices

  • Display Time: (Toggle) Display timestamps

Merge

Merge Menu

  • Merge Graph With...: (File Selection) Merges the displayed graph with a graph selected from another file. Refer to the Graph Merge section for more information.

  • Export Graph: Exports the displayed graph to an XML file and PROV-N file.

Temporal Scale

Temporal Scale Menu

  • Milliseconds: Change the scale to milliseconds (default) on the Temporal Filter and Temporal Layout

  • Minutes: Change the scale to milliseconds (default) on the Temporal Filter and Temporal Layout

  • Hours: Change the scale to hours on the Temporal Filter and Temporal Layout

  • Days: Change the scale to days on the Temporal Filter and Temporal Layout

  • Week: Change the scale to week on the Temporal Filter and Temporal Layout

Buttons

Interface Buttons

  • Edge Text: Display edge labels in the graph. Caution: This may slow down the application.

  • Agent Vertices: Hides all vertices from the Agent type.

  • Agent Edge: Hides all edges that connect to a vertex from the Agent type.

  • Entity Vertices: Hides all vertices from the Entity type.

  • Lonely Vertices: Hides all vertices that have no edge in the current visualization.

  • Display Edge (List): Select the edges to be displayed in the current graph visualization. It is possible to select multiple edges.

  • Collapse Agent: If the selected vertex belongs to the type of Agent, then collapses all activity vertices linking the agent.

  • Collapse: Collapse the selected vertices into a single summarized vertex. Refer to the Collapses and Filters section for more information.

  • Expand: Remove the collapse operation in the selected vertex.

  • Reset: Resets the graph visualization to the initial state.

  • Init Prolog: Initialize the Prolog elements. Requires SWI-Prolog to be installed.

  • Generate Facts: Generate the fact base from the current displayed graph.

  • Similarity Collapse and (Text Field below): Collapses the entire graph based on similarity using the edges from and attribute from the selected Attribute Status.

  • Attribute Status List: Choose the desired Color Schema to color the graph's vertices. Refer to the Attribute Status section for more information.

  • Temporal Filter and (2 Text Fields below): Hides all vertices that has a timestamp lower than the left {text field} and greater than the right {text field}. Currently it supports numbers and XMLGregorianCalendar format.

  • Mouse Mode: Sets the mouse for moving (Transforming) or vertex selection (Picking).

  • Graph Layout: Changes the graph layout to the selected layout. Refer to the Graph Layouts section for more information.

  • Edge Style: Change the edge curvature to be a straight line (Line) or curved (QuadCurve).

Graph Display

Graph Display

Prov Viewer builds its visualization strategy based on shapes and colors, for both vertices and edges. Shapes are used to map semantic concepts from the provenance and colors are used to map scalar values, such as intensity or orientation. The vertex shape is directly related to provenance semantics (i.e., agent, activity, entity), while the vertex color is used for mapping scalar values through the usage of a color scheme. Therefore, **circles **represent entities, **squares **represent activities, and **pentagons **represent agents. The vertex color is influenced by the current color schema being used. Please refer to the Attribute Status section for more information.

Both the edge shape (i.e., thickness) and its color are used to show the intensity of the relationship. A thin edge with a darker color represents a low influence relationship. On the other hand, a ticker and brighter edge represent a strong or intense relationship. This feature can be used to quickly identify strong influences in the graph just by looking at the edge’s thickness and brightness. The edge’s color is also used to represent any additional numeric information contained in the relationship (e.g., influences that has numeric data), which can be any of these three types: positive, which is represented as green and indicates an increase in the numeric value (i.e., when the edge has an associated positive value); negative, which is represented as red and indicates a decrease; and neutral, which is represented as blue and indicates no numeric chances. The figure below shows an example of edges with different colors and thickness

Edge Shape and Thickness

Clone this wiki locally