About | Mailing List | Publications

Give us Feedback |

Invite

Home
»
Workflows
»
Probabilistic Model Checking (PMC): plot results

Workflow Entry: Probabilistic Model Checking (PMC): plot results

Created at: 20/07/11 @ 14:18:19 Last updated: 20/07/11 @ 14:21:27

Version 1 (of 1)

Version created on: 20/07/11 @ 14:18:19 by: trybik | Revision comments Expand

Last edited on: 20/07/11 @ 14:21:27 by: trybik

Title: Probabilistic Model Checking (PMC): plot results

Type: Taverna 2

Preview

(Click on the image to get the full size)

Download Scalable Diagram (SVG)

Description

Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) Mathematica plotting Web service operation. This is a second-part for the computationaly exhaustive PMC: compute results workflow (http://www.myexperiment.org/workflows/2266).

Download

Download Workflow File/Package (T2FLOW)

Download Workflow as a Galaxy tool

Run

Run this Workflow in the Taverna Workbench...

Option 1:

Copy and paste this link into File > 'Open workflow location...'
http://www.myexperiment.org/workflows/2267/download?version=1
[ More Info Expand ]

Workflow Components

Authors (1)

Titles (1)

Descriptions (1)

Inputs (3)

Name	Description
resultsXml
constantNameList
plotOptionList

Processors (5)

Name	Type	Description
string2List	beanshell
extendList	beanshell
getPropertiesNames	workflow
MathPlot	workflow
resultsXml2dataXmlList	workflow

Beanshells (5)

Name	Inputs	Outputs
string2List	string	list
extendList	firstList secondList	list
setOptionXmlList	input	output
projectCoordinates	inXml coordinateNameList	outXml
mergeListsApply	inBaseList inExtListOfLists	outList

Outputs (1)

Name	Description
plot

Datalinks (11)

Source	Sink
getPropertiesNames:propertyNameList	string2List:string
constantNameList	extendList:firstList
getPropertiesNames:propertyNameList	extendList:secondList
resultsXml	getPropertiesNames:resultsXml
resultsXml2dataXmlList:dataXmlList	MathPlot:dataXmlList
extendList:list	MathPlot:axisList
plotOptionList	MathPlot:optionList
resultsXml	resultsXml2dataXmlList:elementXml
string2List:list	resultsXml2dataXmlList:valNameListList
constantNameList	resultsXml2dataXmlList:argNameList
MathPlot:plots	plot

Coordinations (0)

Information Workflow Type

Taverna 2

Information Original Uploader

trybik

Information License

All versions of this Workflow are licensed under:

Information Credits (1)

(People/Groups)

trybik

Information Attributions (0)

(Workflows/Files)

None

Information Tags (5)

Original Uploader tags

Log in to add Tags

Information Shared with Groups (0)

None

Information Featured In Packs (0)

None

Log in to add to one of your Packs

Information Ratings (0)

Current:

0.0 / 5

(0 ratings)

Log in to rate and see breakdown of ratings

Information Attributed By (0)

(Workflows/Files)

None

Information Favourited By (0)

No one

Information Statistics

52 viewings

174 downloads

[ see breakdown ]

Citations (0)

None

Version History

Earliest Version:
[1] - Probabilistic Model Checking (PMC): plot results

Created on: Wednesday 20 July 2011 @ 14:18:19 (GMT)

Created by: trybik

Last edited on: Wednesday 20 July 2011 @ 14:21:27 (GMT)

Last edited by: trybik

Revision comments:

None

This Workflow only has one version.

Reviews (0)

No reviews yet

Be the first to review!

Comments (0)

View Timeline

No comments yet

Log in to make a comment

Other workflows that use similar services (10)

Only the first 2 workflows that use similar services are shown. View all workflows that use these services.

Taverna 2

Original Uploader

trybik

Plot error surface (v1)

Created: 14/07/11 @ 09:03:42 | Last updated: 14/07/11 @ 09:06:16

Credits: trybik

License: Creative Commons Attribution-Share Alike 3.0 Unported License

Exemplary workflow for plotting error surface using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) mahtPlot WS operation. Data input format is compatibile with Tav4SB MPSA workflows.

Rating: 0.0 / 5 (0 ratings) | Versions: 1 | Reviews: 0 | Comments: 0 | Citations: 0

Viewed: 3 times | Downloaded: 3 times

Tags (5):