Probabilistic Model Checking (PMC): plot results
Created: 2011-07-20 14:18:19
Last updated: 2011-07-20 14:21:27
Preview
Run
Run this Workflow in the Taverna Workbench...
Workflow Components
|
Authors (1)
|  |
|
Titles (1)
| |
| Probabilistic Model Checking (PMC): plot results |
|
Descriptions (1)
| |
|
Dependencies (0)
| |
|
Inputs (3)
| |
| Name |
Description |
| resultsXml |
|
| constantNameList |
|
| plotOptionList |
|
|
Processors (5)
| |
| Name |
Type |
Description |
| string2List |
beanshell |
Scriptlist = Arrays.asList(new String[]{string}); |
| extendList |
beanshell |
Scriptlist = new LinkedList(firstList);
list.addAll(secondList); |
| getPropertiesNames |
workflow |
|
| MathPlot |
workflow |
|
| resultsXml2dataXmlList |
workflow |
|
|
Beanshells (5)
| |
| Name |
Description |
Inputs |
Outputs |
| string2List |
|
string
|
list
|
| extendList |
|
firstList
secondList
|
list
|
| setOptionXmlList |
|
input
|
output
|
| projectCoordinates |
|
inXml
coordinateNameList
|
outXml
|
| mergeListsApply |
|
inBaseList
inExtListOfLists
|
outList
|
|
Outputs (1)
| |
|
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)
| |
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
Citations (0)Version History
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.
prism Web service
(1)
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.
Created: 2011-01-26
| Last updated: 2011-01-26
Credits:
trybik
asynchronous prism Web service
(1)
Asynchronous version of the Prism Web service. Results XML list is sent via email.
Created: 2011-01-26
| Last updated: 2011-01-26
Credits:
trybik
Download Workflow
]
Reviews
(0)
No comments yet
Log in to make a comment