[deprecated] Probabilistic Model Checking (PMC): compute results
Created: 2011-01-26 22:14:41
Last updated: 2011-07-20 14:14:30
Preview
Run
Run this Workflow in the Taverna Workbench...
Workflow Components
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 |
Uploader
License
All versions of this Workflow are
licensed under:
Version 1
(of 1)
Credits (1)
(People/Groups)
Attributions (0)
(Workflows/Files)
None
Shared with Groups (0)
None
Featured In Packs (0)
None
Log in to add to one of your Packs
Attributed By (0)
(Workflows/Files)
None
Favourited By (0)
No one
Statistics
Other workflows that use similar services
(0)
There are no workflows in myExperiment that use similar services to this Workflow.
Comments (0)
No comments yet
Log in to make a comment