[deprecated] Probabilistic Model Checking (PMC): compute results

Created: 2011-01-26 22:14:41 Last updated: 2011-07-20 14:14:30

Download Workflow

This is a Taverna 1 version; if you're using latest Taverna 2 workbench please use: www.myexperiment.org/workflows/2266.html .

Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) PRISM model translation and model checking Web service operations.

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://www.myexperiment.org/workflows/1790/download?version=1
[ More Info Expand ]

Workflow Components

Inputs (0)

Processors (16)

Name	Type	Description
varName	stringconstant
propertiesUrl	stringconstant
rewardsUrl	stringconstant	Optional rewards to be appended to the model specification. See http://www.prismmodelchecker.org/manual/ThePRISMLanguage/CostsAndRewards for description of PRISM rewards specification.
appendRewards	local
getRewards	local
setConstantsStr	beanshell
getProperties	local
initValues	stringconstant
getModel	local
modelUrl	stringconstant
Prism	workflow
Sbml2Prism	workflow
parametrizePrismModel	beanshell
constName	stringconstant
initvalues2List	local
initValuesSep	stringconstant

Beanshells (2)

Name	Description	Inputs	Outputs
setConstantsStr		nameList valueList	constantsStr
parametrizePrismModel		inModel constList initList initSufix	outModel paramList

Outputs (2)

Name	Description
resultsXml
constantNameList

Links (18)

Source	Sink
Sbml2Prism:prismModel	parametrizePrismModel:inModel
appendRewards:output	Prism:model
constName:value	parametrizePrismModel:constList
getModel:filecontents	Sbml2Prism:sbmlModel
getProperties:filecontents	Prism:properties
getRewards:filecontents	appendRewards:string2
initValues:value	initvalues2List:string
initValuesSep:value	initvalues2List:regex
initvalues2List:split	setConstantsStr:valueList
modelUrl:value	getModel:fileurl
parametrizePrismModel:outModel	appendRewards:string1
parametrizePrismModel:paramList	constantNameList
parametrizePrismModel:paramList	setConstantsStr:nameList
propertiesUrl:value	getProperties:fileurl
rewardsUrl:value	getRewards:fileurl
setConstantsStr:constantsStr	Prism:constants
varName:value	parametrizePrismModel:initList
Prism:resultsXml	resultsXml

Coordinations (0)

Information Workflow Type

Taverna 1

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 (6)

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

2100 viewings

1473 downloads

[ see breakdown ]

Citations (0)

None

Version History

In chronological order:

[deprecated] Probabilistic Model Checking (PMC): compute results

Created by trybik on Wednesday 26 January 2011 22:14:41 (UTC)

Last edited by trybik on Wednesday 20 July 2011 14:14:30 (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 (0)

There are no workflows in myExperiment that use similar services to this Workflow.