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
![header=[] body=[This is the author information extracted from the workflow version] cssheader=[boxoverTooltipHeader] cssbody=[boxoverTooltipBody] delay=[200] Information](/images/famfamfam_silk/information.png?1680607579)
Authors (1)
![header=[] body=[These are the descriptive titles embedded within the workflow version] cssheader=[boxoverTooltipHeader] cssbody=[boxoverTooltipBody] delay=[200] Information](/images/famfamfam_silk/information.png?1680607579)
Titles (2)
Plot MPSA error surface |
Probabilistic Model Checking (PMC): plot results |
![header=[] body=[These are the descriptions embedded within the workflow version] cssheader=[boxoverTooltipHeader] cssbody=[boxoverTooltipBody] delay=[200] Information](/images/famfamfam_silk/information.png?1680607579)
Descriptions (1)
![header=[] body=[These are the listed dependencies of the workflow] cssheader=[boxoverTooltipHeader] cssbody=[boxoverTooltipBody] delay=[200] Information](/images/famfamfam_silk/information.png?1680607579)
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
No comments yet
Log in to make a comment