Plot error surface
Created: 2011-07-14 09:03:42
Last updated: 2011-07-14 09:06:16
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.
Preview
Run
Run this Workflow in the Taverna Workbench...
Workflow Components
Authors (1)
Titles (2)
Plot MPSA error surface |
Probabilistic Model Checking (PMC): plot results |
Descriptions (1)
Dependencies (0)
Inputs (2)
Name |
Description |
sampleErrorList |
|
sampleXmlList |
|
Processors (10)
Name |
Type |
Description |
sampleXml2pointXml |
workflow |
|
MathPlot |
workflow |
|
errStr |
stringconstant |
Valueerror |
appendParamToSampleXml |
beanshell |
ScriptoutSampleXml = sampleXml.replace("", ""+value+"");
|
getParamNames |
localworker |
Scriptimport org.dom4j.Document;
import org.dom4j.Node;
import org.dom4j.io.SAXReader;
SAXReader reader = new SAXReader(false);
reader.setIncludeInternalDTDDeclarations(false);
reader.setIncludeExternalDTDDeclarations(false);
Document document = reader.read(new StringReader(xmltext));
List nodelist = document.selectNodes(xpath);
// Process the elements in the nodelist
ArrayList outputList = new ArrayList();
ArrayList outputXmlList = new ArrayList();
String val = null;
String xmlVal = null;
for (Iterator iter = nodelist.iterator(); iter.hasNext();) {
Node element = (Node) iter.next();
xmlVal = element.asXML();
val = element.getStringValue();
if (val != null && !val.equals("")) {
outputList.add(val);
outputXmlList.add(xmlVal);
}
}
List nodelist=outputList;
List nodelistAsXML=outputXmlList; |
xpath_value |
stringconstant |
Value/data/point[1]/coordinate/@name |
optionsCSV |
stringconstant |
ValueViewPoint -> {1., 0.75, 0.5}; RotateLabel -> True |
csv2List |
localworker |
ScriptList split = new ArrayList();
if (!string.equals("")) {
String regexString = ",";
if (regex != void) {
regexString = regex;
}
String[] result = string.split(regexString);
for (int i = 0; i < result.length; i++) {
split.add(result[i]);
}
}
|
regex_value |
stringconstant |
Value\s*;\s* |
wrapInDataXml |
beanshell |
Scriptsb = new StringBuffer();
sb.append("");
for (el: sampleXmlList) {
sb.append(el);
}
sb.append("");
samplesXml = sb.toString();
|
Beanshells (5)
Name |
Description |
Inputs |
Outputs |
appendParamToSampleXml |
|
name
value
sampleXml
|
outSampleXml
|
wrapInDataXml |
|
sampleXmlList
|
samplesXml
|
createTemporaryTextFile |
|
content
|
fileURL
|
StripPI |
|
inXml
|
outXml
|
setOptionXmlList |
|
input
|
output
|
Datalinks (13)
Source |
Sink |
wrapInDataXml:samplesXml |
sampleXml2pointXml:samplesXml |
csv2List:split |
MathPlot:optionList |
getParamNames:nodelist |
MathPlot:axisList |
sampleXml2pointXml:dataXml |
MathPlot:dataXmlList |
errStr:value |
appendParamToSampleXml:name |
sampleErrorList |
appendParamToSampleXml:value |
sampleXmlList |
appendParamToSampleXml:sampleXml |
xpath_value:value |
getParamNames:xpath |
sampleXml2pointXml:dataXml |
getParamNames:xml-text |
regex_value:value |
csv2List:regex |
optionsCSV:value |
csv2List:string |
appendParamToSampleXml:outSampleXml |
wrapInDataXml:sampleXmlList |
MathPlot:plots |
plot |
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
(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
Comments (0)
No comments yet
Log in to make a comment