About | Mailing List | Publications

Give us Feedback |

Invite

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

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

Created at: 20/07/11 @ 14:11:46 Last updated: 20/07/11 @ 14:12:02

Version 1 (of 1)

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

Last edited on: 20/07/11 @ 14:12:02 by: trybik

Title: Probabilistic Model Checking (PMC): compute 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/) PRISM model translation and model checking Web service operations.

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/2266/download?version=1
[ More Info Expand ]

Workflow Components

Authors (1)

Titles (1)

Descriptions (1)

Inputs (0)

Processors (18)

Name	Type	Description
propertiesUrl	stringconstant
varName	stringconstant
initValues	stringconstant
modelUrl	stringconstant
constName	stringconstant
initValuesSep	stringconstant
rewardsUrl	stringconstant
parametrizePrismModel	beanshell
setConstantsStr	beanshell
initvalues2List	localworker
appendRewards	localworker
Prism	workflow
Sbml2Prism	workflow
maxAmount	stringconstant
getModel	localworker
fileEncoding	stringconstant
getRewards	localworker
getProperties	localworker

Beanshells (4)

Name	Inputs	Outputs
parametrizePrismModel	inModel constList initList initSufix	outModel paramList
setConstantsStr	nameList valueList	constantsStr
setConstantCompactXmlList	input	output
wrapWithResultsTag	str name	wrapped

Outputs (2)

Name	Description
resultsXml
constantNameList

Datalinks (22)

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

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

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

164 downloads

[ see breakdown ]

Citations (0)

None

Version History

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

Created on: Wednesday 20 July 2011 @ 14:11:46 (GMT)

Created by: trybik

Last edited on: Wednesday 20 July 2011 @ 14:12:02 (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):

View

Download (v1)

Taverna 1

Original Uploader

trybik

prism Web service (v1)

Created: 26/01/11 @ 21:53:24 | Last updated: 26/01/11 @ 21:53:25

Credits: trybik

License: Creative Commons Attribution-Share Alike 3.0 Unported License

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.

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

Viewed: 9 times | Downloaded: 8 times

Tags (9):