Probabilistic Model Checking (PMC): plot results

Created: 2011-07-20 14:18:19 Last updated: 2011-07-20 14:21:27

Download Workflow

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).

Preview

Download as scalable diagram (SVG)

Run

Run this Workflow in the Taverna Workbench...

Option 1:

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

Workflow Components

Authors (1)

Titles (1)

Descriptions (1)

Dependencies (0)

Inputs (3)

Name	Description
resultsXml
constantNameList
plotOptionList

Processors (5)

Name	Type	Description
string2List	beanshell	Script list = Arrays.asList(new String[]{string});
extendList	beanshell	Script list = new LinkedList(firstList); list.addAll(secondList);
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 Uploader

trybik

Information License

All versions of this Workflow are licensed under:

Information Version 1 (of 1)

Information Credits (1)

(People/Groups)

trybik

Information Attributions (0)

(Workflows/Files)

None

Information Tags (5)

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 Attributed By (0)

(Workflows/Files)

None

Information Favourited By (0)

No one

Information Statistics

1671 viewings

1316 downloads

[ see breakdown ]

Citations (0)

None

Version History

In chronological order:

Probabilistic Model Checking (PMC): plot results

Created by trybik on Wednesday 20 July 2011 14:18:19 (UTC)

Last edited by trybik on Wednesday 20 July 2011 14:21:27 (UTC)

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 1

Uploader

trybik

prism Web service (1)

Download

PRISM model checking (http://www.prismmodelchecker.org/manual/RunningPRISM/ModelChecking). The '-fixdl' switch is used, which means that all deadlock states in model are fixed by addition of self-loops.