Probabilistic Model Checking (PMC): compute results
Created: 2011-07-20 14:11:46
Last updated: 2011-07-20 14:12:02
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 (1)
Probabilistic Model Checking (PMC): compute 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)
Processors (18)
Name |
Type |
Description |
propertiesUrl |
stringconstant |
Valuehttp://bioputer.mimuw.edu.pl/tav4sb/models/enzyme.csl |
varName |
stringconstant |
Valuee |
initValues |
stringconstant |
Value12;1:3:19 |
modelUrl |
stringconstant |
Valuehttp://bioputer.mimuw.edu.pl/tav4sb/models/enzyme_stoch.xml |
constName |
stringconstant |
Valuep_MAX |
initValuesSep |
stringconstant |
Value; |
rewardsUrl |
stringconstant |
Valuehttp://bioputer.mimuw.edu.pl/tav4sb/models/enzyme.rew |
parametrizePrismModel |
beanshell |
Scriptsource(new URL("http://bioputer.mimuw.edu.pl/tav4sb/workflows/parametrizePrismModel.bsh")); |
setConstantsStr |
beanshell |
Scriptk = nameList.size();
l = valueList.size();
n = Math.max(k, l);
sb = new StringBuffer();
for (int i = 0; i < n; i++) {
sb.append(nameList.get(i % k)+"="+valueList.get(i % l)+",");
}
sb.deleteCharAt(sb.length()-1);
constantsStr = sb.toString(); |
initvalues2List |
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]);
}
}
|
appendRewards |
localworker |
Scriptoutput = string1 + string2; |
Prism |
workflow |
|
Sbml2Prism |
workflow |
|
maxAmount |
stringconstant |
Value |
getModel |
localworker |
ScriptBufferedReader getReader (String fileUrl, String encoding) throws IOException {
InputStreamReader reader;
try {
if (encoding == null) {
reader = new FileReader(fileUrl);
} else {
reader = new InputStreamReader(new FileInputStream(fileUrl),encoding);
}
}
catch (FileNotFoundException e) {
// try a real URL instead
URL url = new URL(fileUrl);
if (encoding == null) {
reader = new InputStreamReader (url.openStream());
} else {
reader = new InputStreamReader (url.openStream(), encoding);
}
}
return new BufferedReader(reader);
}
StringBuffer sb = new StringBuffer(4000);
if (encoding == void) {
encoding = null;
}
BufferedReader in = getReader(fileurl, encoding);
String str;
String lineEnding = System.getProperty("line.separator");
while ((str = in.readLine()) != null) {
sb.append(str);
sb.append(lineEnding);
}
in.close();
filecontents = sb.toString();
|
fileEncoding |
stringconstant |
ValueUTF-8 |
getRewards |
localworker |
ScriptBufferedReader getReader (String fileUrl, String encoding) throws IOException {
InputStreamReader reader;
try {
if (encoding == null) {
reader = new FileReader(fileUrl);
} else {
reader = new InputStreamReader(new FileInputStream(fileUrl),encoding);
}
}
catch (FileNotFoundException e) {
// try a real URL instead
URL url = new URL(fileUrl);
if (encoding == null) {
reader = new InputStreamReader (url.openStream());
} else {
reader = new InputStreamReader (url.openStream(), encoding);
}
}
return new BufferedReader(reader);
}
StringBuffer sb = new StringBuffer(4000);
if (encoding == void) {
encoding = null;
}
BufferedReader in = getReader(fileurl, encoding);
String str;
String lineEnding = System.getProperty("line.separator");
while ((str = in.readLine()) != null) {
sb.append(str);
sb.append(lineEnding);
}
in.close();
filecontents = sb.toString();
|
getProperties |
localworker |
ScriptBufferedReader getReader (String fileUrl, String encoding) throws IOException {
InputStreamReader reader;
try {
if (encoding == null) {
reader = new FileReader(fileUrl);
} else {
reader = new InputStreamReader(new FileInputStream(fileUrl),encoding);
}
}
catch (FileNotFoundException e) {
// try a real URL instead
URL url = new URL(fileUrl);
if (encoding == null) {
reader = new InputStreamReader (url.openStream());
} else {
reader = new InputStreamReader (url.openStream(), encoding);
}
}
return new BufferedReader(reader);
}
StringBuffer sb = new StringBuffer(4000);
if (encoding == void) {
encoding = null;
}
BufferedReader in = getReader(fileurl, encoding);
String str;
String lineEnding = System.getProperty("line.separator");
while ((str = in.readLine()) != null) {
sb.append(str);
sb.append(lineEnding);
}
in.close();
filecontents = sb.toString();
|
Beanshells (4)
Name |
Description |
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 |
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