This is a plugin for the Taverna Workbench and Taverna Command Line which allows export of the provenance of a workflow run according to the W3C PROV-O standard.
This plugin is distributed under the GNU Lesser General Public License 2.1 (LGPL). The source code for this plugin is available at https://github.com/myGrid/taverna-prov
Installation of an released version of this plugin does not require compilation, but uses Taverna's plugin mechanism.
You need:
Taverna-PROV is included in Taverna 2.5 and later.
To install any updates to the Taverna-PROV plugin:
Start Taverna workbench
In the menu, click Advanced -> Updates and plugins
If Taverna does not say “An update is available” , click Find updates
For Taverna-PROV databundle, click Update if shown.
Click Close
Exit and Restart Taverna workbench
In order for PROV export to be possible from the Taverna Workbench, click Preferences from the File or Taverna menu, then go to the Preferences for Data and Provenance. Ensure that Provenance capture is enabled (this is the default in 2.5).
If you would like Taverna to keep the provenance data between runs of the workbench (in order to export at a later time), then you need to also untick to disable In memory storage; note however that this may slow down executions of some workflows.
Open and run a workflow to export provenance for. As a quick example, try the very simple helloanyone.t2flow from myExperiment (included in the example/
folder of this source code).
To save a Taverna-PROV databundle containing the workflow run provenance:
.bundle.zip
Installation for the Taverna Command Line Tool is slightly manual as it has no GUI for installing plugins.
These instructions assumes a Linux environment, but the plugin should work also on Windows or OS X. Note that the Taverna home directory has a different locations on those operating systems, replace $HOME/.taverna-cmd-2.5.0
for the equivalent path. (Note that the command line tool has a separate home directory from the workbench)
To install, extract the separate download Taverna Command Line Tool 2.5 to a folder of your choice.
(Optionally, Linux): Make execution shortcut in $HOME/bin
stain@ralph-ubuntu:~/software/taverna-commandline-2.5.0$ chmod 755 executeworkflow.sh stain@ralph-ubuntu:~/software/taverna-commandline-2.5.0$ mkdir ~/bin mkdir: cannot create directory `/home/stain/bin': File exists stain@ralph-ubuntu:~/software/taverna-commandline-2.5.0$ cd ~/bin stain@ralph-ubuntu:~/bin$ ln -s ~/software/taverna-commandline-2.5.0/executeworkflow.sh executeworkflow stain@ralph-ubuntu:~/bin$ . ~/.profile stain@ralph-ubuntu:~/bin$ type executeworkflow executeworkflow is hashed (/home/stain/bin/executeworkflow)
Edit the file plugins/plugin.xml
of the unpacked installation, and add this section right before </plugins:plugin>
at the end of the file:
<plugin> <provider>org.purl.wf4ever</provider> <identifier>org.purl.wf4ever.provtaverna.prov-taverna-plugin</identifier> <version>2.01.05</version> <name>Taverna-PROV databundle</name> <description/> <enabled>true</enabled> <repositories> <repository>http://www.mygrid.org.uk/maven/repository</repository> <repository>http://repo.aduna-software.org/maven2/releases/</repository> <repository>http://uk.maven.org/maven2/</repository> </repositories> <profile> <dependency> <groupId>org.purl.wf4ever.provtaverna</groupId> <artifactId>prov-taverna-cmdline</artifactId> <version>2.2.0-SNAPSHOT</version> </dependency> </profile> <compatibility> <application> <version>2.5.0</version> </application> </compatibility> </plugin>
You should replace <version>2.2.0-SNAPSHOT</version>
with whatever is the latest version.
Start the command line tool without parameters to force downloading of plugins (this might take a few minutes the first time):
stain@vmint:~/software/taverna-commandline-2.5.0$ sh executeworkflow.sh usage: executeworkflow [options] [workflow] -clientserver Connect as a client to a derby server instance. -cmdir <directory path> Absolute path to a directory (..)
Note that Taverna will copy the content of this file to $HOME/.taverna-cmd-2.5.0/plugins/plugins.xml
only on first start, so if you do further edits, you will need to delete the file in $HOME/.taverna-cmd-2.5.0/plugins/
.
If you get an error such as:
WARN 2012-07-18 16:44:36,323 (net.sf.taverna.raven.repository.impl.LocalRepository:85) - Could not find artifact org.purl.wf4ever.provtaverna:prov-taverna-cmdline:1.5 net.sf.taverna.raven.repository.ArtifactNotFoundException: Could not find artifact org.purl.wf4ever.provtaverna:prov-taverna-cmdline:1.5: Can't find artifact for: org.purl.wf4ever.provtaverna:prov-taverna-cmdline:1.5 at net.sf.taverna.raven.repository.impl.LocalRepository.fetch(LocalRepository.java:820)
then check if you need to configure Java for using proxies by modifying the java
command line in executeworkflow.sh
or executeworkflow.bat
.
Modify the script executeworkflow.sh
so that the line with raven.launcher.app.main
says:
-Draven.launcher.app.main=org.purl.wf4ever.provtaverna.cmdline.ProvCommandLineLauncher \
or for executeworkflow.bat
:
set ARGS=%ARGS% -Draven.launcher.app.main=org.purl.wf4ever.provtaverna.cmdline.ProvCommandLineLauncher
Execute without parameters to ensure the modified launcher is working:
stain@vmint:~/software/taverna-commandline-2.5.0$ sh executeworkflow.sh usage: executeworkflow [options] [workflow] -clientserver Connect as a client to a derby server instance. -cmdir <directory path> Absolute path to a directory (..)
If you get this error:
Could not find class: org.purl.wf4ever.provtaverna.cmdline.ProvCommandLineLauncher java.lang.ClassNotFoundException: Could not find org.purl.wf4ever.provtaverna.cmdline.ProvCommandLineLauncher
Then check that org.purl.wf4ever is listed in $HOME/.taverna-cmd-2.5.0/plugins/plugins.xml
- if not, then delete that file so that it is restored from the installation directory.
(Optional) Copy the downloaded repository content to the installation folder:
stain@ralph-ubuntu:~/software/taverna-commandline-2.5.0$ cp -r ~/.taverna-cmd-2.5.0/repository .
This is useful if several users will run the same Taverna installation (such as in a Taverna Server installation), or if you are going to repackage the installation, as those users would not need to wait for the initial download of the plugin libraries.
The Taverna documentation has general information about how to use the Taverna Command line tool.
The Taverna-PROV command line does not support all the output options of the regular Taverna command line, output has to be saved using -outputdir
. The databundle will be saved in a filename which corresponds to the output directory, but with the extension .bundle.zip
.
To enable PROV export for the workflow run, add the parameter -provenance
, which requires the parameter -embedded
or -clientserver
.
Note: -embedded
allows only one concurrent execution at a time due to database locking. To support multiple concurrent runs, start executeworkflow -startdb
separately to start the database server, and use executeworkflow -provenance -clientserver
for the workflow executions.
Example:
stain@ralph-ubuntu:~/src/taverna-prov/example$ executeworkflow -embedded \ -provenance -outputdir hello -inputvalue name fred helloanyone.t2flow Outputs will be saved to the directory: /home/stain/src/taverna-prov/example/hello stain@ralph-ubuntu:~/src/taverna-prov/example$ ls hello greeting workflowrun.prov.ttl
The .bundle.zip
file is a RO bundle, which species a structured ZIP file with a manifest (.ro/manifest.json
). You can explore the bundle by unzipping it or browse it with a program like 7-Zip.
This source includes an example bundle and unzipped bundle as a folder. This data bundle has been saved after running a simple hello world workflow.
The remaining text of this section describes the content of the RO bundle, as if it was unpacked to a folder. Note that many programming frameworks include support for working with ZIP files, and so complete unpacking might not be necessary for your application. For Java, the Data bundle API gives a programmating way to inspect and generate data bundles.
The folders inputs/
and outputs/
contain files and folders corresponding to the input and output values of the executed workflow. Ports with multiple values are stored as a folder with numbered outputs, starting from 0
. Values representing errors have extension .err
, other values have an extension guessed by inspecting the value structure, e.g. .png
. External references have the extension .url
- these files can often be opened as “Internet shortcut” or similar, depending on your operating system.
Example listing:
c:\Users\stain\workspace\taverna-prov\example\helloanyone.bundle>ls inputs intermediates mimetype outputs workflow.wfbundle workflowrun.prov.ttl c:\Users\stain\workspace\taverna-prov\example\helloanyone.bundle>ls outputs greeting.txt c:\Users\stain\workspace\taverna-prov\example\helloanyone.bundle>cat outputs/greeting.txt Hello, John Doe
The file workflowrun.prov.ttl
contains the PROV-O export of the workflow run provenance (including nested workflows) in RDF Turtle format.
This log details every intermediate processor invocation in the workflow execution, and relates them to inputs, outputs and intermediate values.
Example listing:
c:\Users\stain\workspace\taverna-prov\example\helloanyone.bundle>cat workflowrun.prov.ttl | head -n 40 | tail -n 8 <#taverna-prov-export> rdf:type prov:Activity ; prov:startedAtTime "2013-11-22T14:01:02.436Z"^^xsd:dateTime ; prov:qualifiedCommunication _:b1 ; prov:endedAtTime "2013-11-22T14:01:03.223Z"^^xsd:dateTime ; rdfs:label "taverna-prov export of workflow run provenance"@en ; prov:wasInformedBy <http://ns.taverna.org.uk/2011/run/385c794c-ba11-4007-a5b5-502ba8d14263/> ;
See the provenance graph for a complete example. The provenance uses the vocabularies PROV-O, wfprov and tavernaprov.
Intermediate values are stored in the intermediates/
folder and referenced from workflowrun.prov.ttl
Intermediate value from the example provenance:
<http://ns.taverna.org.uk/2011/data/385c794c-ba11-4007-a5b5-502ba8d14263/ref/d588f6ab-122e-4788-ab12-8b6b66a67354> tavernaprov:content <intermediates/d5/d588f6ab-122e-4788-ab12-8b6b66a67354.txt> ; wfprov:describedByParameter <http://ns.taverna.org.uk/2010/workflowBundle/01348671-5aaa-4cc2-84cc-477329b70b0d/workflow/Hello_Anyone/processor/Concatenate_two_strings/in/string1> ; wfprov:describedByParameter <http://ns.taverna.org.uk/2010/workflowBundle/01348671-5aaa-4cc2-84cc-477329b70b0d/workflow/Hello_Anyone/processor/hello/out/value> ; wfprov:wasOutputFrom <http://ns.taverna.org.uk/2011/run/385c794c-ba11-4007-a5b5-502ba8d14263/process/bbaedc02-896f-491e-88bc-8dd350fcc73b/> .
Here we see that the bundle file intermediates/d5/d588f6ab-122e-4788-ab12-8b6b66a67354.txt
contains the output from the “hello” processor, which was also the input to the “Concatenate_two_strings” processor. Details about processor, ports and parameters can be found in the workflow definition.
Example listing:
c:\Users\stain\workspace\taverna-prov\example\helloanyone.bundle>ls intermediates/d5 d588f6ab-122e-4788-ab12-8b6b66a67354.txt c:\Users\stain\workspace\taverna-prov\example\helloanyone.bundle>cat intermediates/d5/d58* Hello,
Note that “small” textual values are also included as cnt:chars
in the graph, while the referenced intermediate file within the workflow bundle is always present.
<intermediates/d5/d588f6ab-122e-4788-ab12-8b6b66a67354.txt> rdf:type cnt:ContentAsText ; cnt:characterEncoding "UTF-8"^^xsd:string ; cnt:chars "Hello, "^^xsd:string ; tavernaprov:byteCount "7"^^xsd:long ; tavernaprov:sha512 "cf83e1357eefb8bdf1542850d66d8007d620e4050b5715dc83f4a921d36ce9ce47d0d13c5d85f2b0ff8318d2877eec2f63b931bd47417a81a538327af927da3e"^^xsd:string ; tavernaprov:sha1 "f52ab57fa51dfa714505294444463ae5a009ae34"^^xsd:string ; rdf:type tavernaprov:Content .
The file workflow.wfbundle
is a copy of the executed workflow in SCUFL2 workflow bundle format. This is the format which will be used by The file workflow.wfbundle
contains the executed workflow in Taverna 3.
You can use the SCUFL2 API to inspect the workflow definition in detail.
The file .ro/annotations/workflow.wfdesc.ttl
contains the abstract structure (but not all the implementation details) of the executed workflow, in RDF Turtle according to the wfdesc ontology.
c:\Users\stain\workspace\taverna-prov\example\helloanyone.bundle>cat .ro/annotations/workflow.wfdesc.ttl | head -n 20 @base <http://ns.taverna.org.uk/2010/workflowBundle/01348671-5aaa-4cc2-84cc-477329b70b0d/workflow/Hello_Anyone/> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix prov: <http://www.w3.org/ns/prov#> . @prefix wfdesc: <http://purl.org/wf4ever/wfdesc#> . @prefix wf4ever: <http://purl.org/wf4ever/wf4ever#> . @prefix roterms: <http://purl.org/wf4ever/roterms#> . @prefix dc: <http://purl.org/dc/elements/1.1/> . @prefix dcterms: <http://purl.org/dc/terms/> . @prefix comp: <http://purl.org/DP/components#> . @prefix dep: <http://scape.keep.pt/vocab/dependencies#> . @prefix biocat: <http://biocatalogue.org/attribute/> . @prefix : <#> . <processor/Concatenate_two_strings/> a wfdesc:Process , wfdesc:Description , owl:Thing , wf4ever:BeanshellScript ; rdfs:label "Concatenate_two_strings" ; wfdesc:hasInput <processor/Concatenate_two_strings/in/string1> , <processor/Concatenate_two_strings/in/string2> ; wfdesc:hasOutput <processor/Concatenate_two_strings/out/output> ; wf4ever:script "output = string1 + string2;" .
WARNING: This example has not been updated for Taverna-PROV 2.1; your output might vary.
Example SPARQL query from test.sparql:
stain@vmint:~/src/taverna-prov/example/helloanyone$ cat ../test.sparql PREFIX prov: <http://www.w3.org/ns/prov#> PREFIX wfprov: <http://purl.org/wf4ever/wfprov#> PREFIX tavernaprov: <http://ns.taverna.org.uk/2012/tavernaprov/> SELECT DISTINCT ?name ?plan ?ended WHERE { ?greeting tavernaprov:content <greeting.txt> . ?greeting prov:wasGeneratedBy ?concatenate . ?concatenate prov:endedAtTime ?ended ; prov:qualifiedAssociation [ prov:hadPlan ?plan ] ; wfprov:wasPartOfWorkflowRun ?run . ?concatenate wfprov:usedInput ?string2 . ?string2 tavernaprov:content ?name . }
Query using rdfproc (apt-get install redland-utils
):
stain@vmint:~/src/taverna-prov/example/helloanyone$ rdfproc test parse workflowrun.prov.ttl turtle rdfproc: Parsing URI file:///home/stain/src/taverna-prov/example/helloanyone/workflowrun.prov.ttl with turtle parser stain@vmint ~/src/taverna-prov/example/helloanyone $ rdfproc test query sparql - "$(cat ../test.sparql)" rdfproc: Warning - URI file:///home/stain/src/taverna-prov/example/helloanyone/:1: Variable run was bound but is unused in the query rdfproc: Query returned bindings results: result: [name=<file:///home/stain/src/taverna-prov/example/helloanyone/name.txt>, plan=<http://ns.taverna.org.uk/2010/workflowBundle/01348671-5aaa-4cc2-84cc-477329b70b0d/workflow/Hello_Anyone/processor/Concatenate_two_strings/>, ended="2013-05-29T10:22:09.961+01:00"^^<http://www.w3.org/2001/XMLSchema#dateTime>] result: [name=<file:///home/stain/src/taverna-prov/example/helloanyone/intermediates/de/def2e58b-50e2-4949-9980-fd310166621a.txt>, plan=<http://ns.taverna.org.uk/2010/workflowBundle/01348671-5aaa-4cc2-84cc-477329b70b0d/workflow/Hello_Anyone/processor/Concatenate_two_strings/>, ended="2013-05-29T10:22:09.961+01:00"^^<http://www.w3.org/2001/XMLSchema#dateTime>] rdfproc: Query returned 2 results
This shows how both name.txt and intermediates/de/def...txt are the origins of greeting.txt.
If the Save Provenance (PROV) button is not listed, then the plugin was most likely not installed correctly.
Check that:
logs/
in the Taverna home directory for any error messages relating to PROV or Sesamerepository/
from the above folder (not the installation folder) and restart Tavernajava -version
Note - you do not normally need to build from source code, installation from the above plugin site is the preferred way to install this plugin.
You need:
To compile, run mvn clean install
On first run this will download various open-source third-party libraries from Maven repositories, including required modules of Taverna 2.4. These JARs, and the compiled JARs from this source code, are installed into $HOME/.m2/repository/
by default. Depending on your network connection, this first run might take about 5 minutes to complete.
Example compilation:
stain@vmint:~/src/taverna-prov$ mvn clean install [INFO] Scanning for projects... [INFO] ------------------------------------------------------------------------ [INFO] Reactor Build Order: [INFO] [INFO] Taverna PROV [INFO] Taverna PROV W3 Provenance ontology Elmo bindings [INFO] Taverna PROV export [INFO] Taverna PROV activity UI bindings [INFO] Taverna PROV plugin [INFO] PROV Taverna command line [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Taverna PROV 2.0.0-SNAPSHOT [INFO] ------------------------------------------------------------------------ (..) Downloading: http://www.mygrid.org.uk/maven/repository/net/sf/taverna/t2/taverna-workbench/workbench-dev/2.5.0/workbench-dev-2.5.0.pom Downloaded: http://www.mygrid.org.uk/maven/repository/net/sf/taverna/t2/taverna-workbench/workbench-dev/2.5.0/workbench-dev-2.5.0.pom (3 KB at 5.4 KB/sec) (..) [INFO] Installing /home/stain/src/taverna-prov/prov-taverna-cmdline/target/prov-taverna-cmdline-2.0.0-SNAPSHOT-tests.jar to /home/stain/.m2/repository/org/purl/wf4ever/provtaverna/prov-taverna-cmdline/2.0.0-SNAPSHOT/prov-taverna-cmdline-2.0.0-SNAPSHOT-tests.jar [INFO] ------------------------------------------------------------------------ [INFO] Reactor Summary: [INFO] [INFO] Taverna PROV ...................................... SUCCESS [4.109s] [INFO] Taverna PROV W3 Provenance ontology Elmo bindings . SUCCESS [1.55.270s] [INFO] Taverna PROV export ............................... SUCCESS [45.873s] [INFO] Taverna PROV activity UI bindings ................. SUCCESS [1.56.572s] [INFO] Taverna PROV plugin ............................... SUCCESS [15.028s] [INFO] PROV Taverna command line ......................... SUCCESS [1:12.093s] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 5:54.000s [INFO] Finished at: Wed Jul 18 12:08:13 BST 2012 [INFO] Final Memory: 72M/274M [INFO] ------------------------------------------------------------------------
WARNING:
Building currently fails for unknown reasons that may indicate a bug in our dependency Alibaba or in our OWL ontologies:
[java] C:\Users\stain\AppData\Local\Temp\OWLCompiler777760187968267646\rdf\IsNil.java:5: error: cannot find symbol [java] import owl.NamedIndividual; [java] ^ [java] symbol: class NamedIndividual [java] location: package owl [java] C:\Users\stain\AppData\Local\Temp\OWLCompiler777760187968267646\rdf\IsNil.java:12: error: cannot find symbol [java] public interface IsNil extends Resource, NamedIndividual { [java] ^ [java] symbol: class NamedIndividual ... [java] 5 errors [java] Exception in thread "main" org.openrdf.repository.object.exceptions.ObjectCompileException: Could not compile [java] at org.openrdf.repository.object.compiler.source.JavaCompiler.compile(JavaCompiler.java:80) [java] at org.openrdf.repository.object.compiler.OWLCompiler.compile(OWLCompiler.java:384) [java] at org.openrdf.repository.object.compiler.OWLCompiler.createJar(OWLCompiler.java:353) [java] at org.openrdf.repository.object.compiler.Compiler.main(Compiler.java:167)
Note that to work with Taverna's plugin system, the build is specific for a particular Taverna version. To build this plugin for a different version of Taverna, modify the <properties>
section of pom.xml
to match the Maven module versions for the specific Taverna release.
In order for Taverna to find your install of the plugin rather than download from the official plugin site, you will need to manually edit plugins/plugins.xml
of the Taverna home directory (run Taverna once to create the file) to include this section right before the final </plugins:plugins>
.
NOTE: If you have already installed the official plugin, first Remove it from within Taverna. To check, look for org.purl.wf4ever.provtaverna
in plugins/plugins.xml
.
<plugin> <provider>org.purl.wf4ever</provider> <identifier>org.purl.wf4ever.provtaverna.prov-taverna-plugin</identifier> <version>2.0.0-SNAPSHOT</version> <name>Taverna PROV plugin</name> <description/> <enabled>true</enabled> <repositories> <repository>file:///home/johndoe/.m2/repository/</repository> <repository>http://www.mygrid.org.uk/maven/repository/</repository> <repository>http://uk.maven.org/maven2/</repository> <repository>http://repo.aduna-software.org/maven2/releases/</repository> <repository>http://repo.aduna-software.org/maven2/snapshots/</repository> <repository>http://repo.aduna-software.org/maven2/ext/</repository> <repository>http://repository.aduna-software.org/maven2/</repository> <repository>http://repository.aduna-software.org/maven2-snapshots/</repository> <repository>http://people.apache.org/repo/m2-snapshot-repository/</repository> <repository>http://nexus.codehaus.org/snapshots/</repository> <repository>http://repository.jboss.org/maven2/</repository> </repositories> <profile> <dependency> <groupId>org.purl.wf4ever.provtaverna</groupId> <artifactId>prov-taverna-ui</artifactId> <version>2.0.0-SNAPSHOT</version> </dependency> <dependency> <groupId>junit</groupId> <artifactId>junit</artifactId> <version>4.8.2</version> </dependency> </profile> <compatibility> <application> <version>2.5.0</version> </application> </compatibility> </plugin>
Modify the line:
<repository>file:///home/johndoe/.m2/repository/</repository>
to match your $HOME/.m2/repository. On Windows this path should look like:
<repository>file:///C:/Users/johndoe/.m2/repository/</repository>
Take care that the <version>
of the <plugin>
and prov-taverna-ui
matches the <version>
specified in the pom.xml
of this source code (typically 1.x-SNAPSHOT
).
If you are building for a different Taverna, check that the <application><version>
matches the Taverna version (compare with the existing plugins)
Start Taverna Workbench.
You only need to do this plugin installation once - if you later recompile the source code without changing the version numbers, next start of Taverna will use the newer JARs from mvn clean install
as Taverna will prefer accessing $HOME/.m2/repository
. You might however need to delete the repository/org/purl/wf4ever
folder of the Taverna home directory if Taverna has downloaded the SNAPSHOT versions from the myGrid repository instead (for instance because you used the wrong <repository>
path or did not update <version>
).
To make the plugin installation system-side (ie. multiple UNIX users or to make a customized Taverna distribution), copy plugins/
and repository
with overwrite onto the Taverna installation directory. (See Installation for Taverna Command Line above)