Difference between revisions of "SDM Provenance"

From VistrailsWiki
Jump to navigation Jump to search
Line 321: Line 321:
   |   
   |   
|}
|}
====George Chin====
Other provenance systems such as MINDSWAP and MYGRID use ontologies to organize objects/actors.  Should we consider using ontologies or semantic hierarchies to capture the structures and relationships of elements such as actors, parameters, ports, and data?  This would facilitate more sophisticated querying and could provide the application developer/scientist more semantic information that could aid in workflow design by better identifying which parameters and ports are compatible, which actors have similar I/O requirements, how to transform data between actors, etc.  Would Vistrails’ data model with its use of generic modules that can pretty much be anything constrain our ability to use ontologies?


===Types of Provenance===
===Types of Provenance===

Revision as of 20:56, 11 April 2007

Requirements

The provenance data model is based on a three-layered architecture that collects information about:

  • workflow evolution,
  • workflow meta-information, and
  • workflow execution

For the scientific workflows we are considering, we will model them using a DAG. In addition, our execution information will not store data products produced at each stage of the workflow, but rather the user can specify arbitrary data product storage in their workflow.

Workflow evolution

We propose a general add/delete structure for storing workflow evolution. Any modification of a workflow can be decomposed into a sequence of actions that add or delete features of the workflow. These actions are organized into a tree such that each node represents a workflow that is generated by composing the actions along the path from the root of the tree to the given node. Note that this structure is independent of the actual workflow representation.

ACTION
Column Type
id long
parent_id long
user varchar
time datetime
OPERATION
Column Type
type ('add', 'delete')
obj_id long
obj_type varchar
parent_obj_id long
parent_obj_type varchar
action_id long

actionId is a foreign key into the Action table.

Workflow Meta-Information

We take an abstract view of the workflow for this proposal, although we expect more requirements and details to be added. A workflow can be modeled as a DAG where each node represents a computational module and each edge represents a flow of data from one box to another--a connection. A module may also simply perform some I/O operation (reading a file, writing to a database). Because each node may have multiple in- and out- edges, we also identify ports for each module that specify the role and format of the incoming or outgoing data. Finally, each module contains some static parameters (or properties) that are set during workflow design. We should identify modules and properties based on some naming scheme (hierarchical pattern). Also, we need to support user-specified annotations as key-value pairs. With these five elements: modules, connections, ports, parameters, and annotations, we can define a workflow as:

  • a collection of modules where each module contains
    • a collection of input ports
    • a collection of output ports
    • a collection of parameters
  • a collection of connections where each connection contains
    • a reference to the outgoing port of the input module
    • a reference to the incoming port of the output module
  • a collection of annotations
MODULE
Column Type
id long
...
other identifying information
CONNECTION
Column Type
id long
in_port_id long
out_port_id long
...
other identifying information
PORT
Column Type
id long
type `out')
module_id long
...
other identifying information
PARAMETER
Column Type
id long
module_id long
...
other identifying information
ANNOTATION
Column Type
key varchar
value varchar
...
other identifying information

Workflow Execution

Again, we emphasize that for large-scale applications, we cannot arbitrarily store all intermediate data. However, we note that it may make sense for the user to specify that some information is stored during run-time execution. We propose that execution information include:

  • a link to the representation of the workflow executed (note that because this provenance is stored at the representation layer, we need not store it in this layer).
  • the name of the user executing workflow
  • the name of the organization the user belongs to
  • the time of execution
  • system identities (operation system, library versions, etc.)
  • tracking of the actual executed modules
  • runtime specific information/annotations

The first five items are simply attributes, but the last two are more involved. Note that knowing a workflow execution failed is fairly meaningless unless you know during which step it failed. By tracking each module execution, you can determine the point of failure. We also note that storing runtime specific information is useful for cases where executing the same workflow generates different results. These might be stored as key-value pairs or some more specific.

WF_EXEC
Column Type
wf_id long
user varchar
org varchar
time datetime
machine_os varchar
machine_proc varchar
machine_ram long
...
other identifying information
MODULE_EXEC
Column Type
exec_id long
module_id long
error bool
time numeric(10,2)
...
other information
ANNOTATIONS_EXEC
Column Type
key varchar
value varchar
...
other information

Comments

Daniel Crawl

  • PORT needs a data type (e.g. string, int) column; the current type column is direction.
  • Kepler has directors and composite actors.
    • Director not the same as a module.
      • Have parameters, but not ports. Either rename module_id column in PARAMETER table to something more general, or create additional PARAMETER tables for directors and workspaces (see below).
    • Composite actors (or workspaces) are subworkflows.
      • Can have parameters.
      • Contain possibly different director.
      • Add workspace_id column to MODULE
  • Kepler uses more general relationships (one output, multiple input) than connections (one output, one input) between modules.
  • Wiki says model workflow as DAG? Existing schema does not require this, and Kepler can have cycles.
  • Modifications to schema:
MODULE
Column Type
id long
workspace_id long
...
other identifying information
DIRECTOR
Column Type
id long
workspace_id long
...
other identifying information
WORKSPACE
Column Type
id long
...
other identifying information
PORT
Column Type
id long
type varchar
direction ('in' , 'out')
module_id long
...
other identifying information
RELATIONSHIP
Column Type
id long
...
other identifying information
LINK
Column Type
id long
module_id long
port_id long
relation_id long
...
other identifying information

George Chin

Other provenance systems such as MINDSWAP and MYGRID use ontologies to organize objects/actors. Should we consider using ontologies or semantic hierarchies to capture the structures and relationships of elements such as actors, parameters, ports, and data? This would facilitate more sophisticated querying and could provide the application developer/scientist more semantic information that could aid in workflow design by better identifying which parameters and ports are compatible, which actors have similar I/O requirements, how to transform data between actors, etc. Would Vistrails’ data model with its use of generic modules that can pretty much be anything constrain our ability to use ontologies?

Types of Provenance

There are 4 types of provenance that we can include:

1) “Data” Provenance: This is provenance of the data that is produced by the program. This provenance would keep track of all the transformations that the data went through for a particular run. Thus we need to keep track of the input and output for each run. The provenance for a particular output would include the run in which it was produced, the input parameters for that run, and the intermediate transformations if any. Since the output data, and data produced in the intermediate steps is going to large, we can store them remotely and maintain links to these remote locations as part of provenance data.

2) Process Provenance: This is provenance about the process statistics for each run. This can include details like execution time, N/W speed, amount of data generated (or anything else that may be of importance). As this data is not going to be very large it can be stored in local workspace.

3) Workflow Provenance: This is provenance about the workflows. This will keep track of all the changes. So this could be something like a CVS repository where all versions of the workflow are kept and we can find the difference between each version. As this data is not going to be very large it can be stored in the local repository.

4) System Provenance: This keeps track of the system profile. When a change is made to the system configuration, then either a new copy or just the change can be saved. Also we can either save a copy of the system itself (which is easy and robust but very large) or save details about the configuration such that we can reconstruct the exact environment (this requires only small space but is going to be very complicated and risk of not being able to reconstruct the exact environment may not be possible).

General Notes: (3) is already represented as the VisTrails Version Tree. A similar format can be used for (1) too. Every input change creates a new branch in the tree. (2), and (4) are not provenance in its original sense. The tracking just goes back one step: the data and the particular configuration that produced that data. Also provenance can be a director in the workflow.