sbml2Prism Web service

Created: 2011-01-26 21:59:36 Last updated: 2011-01-26 21:59:39

Download Workflow

For example of the SBML to PRISM translation and the description of its details see http://www.prismmodelchecker.org/manual/RunningPRISM/SupportForSBML .

Preview

Download as scalable diagram (SVG)

Run

Run this Workflow in the Taverna Workbench...

Option 1:

Copy and paste this link into File > 'Open workflow location...'
http://myexperiment.org/workflows/1784/download?version=1
[ More Info Expand ]

Workflow Components

Inputs (2)

Name	Description
sbmlModel	String with the SBML model compatible with Level 2 Version 1 of the SBML specification. Attention: it has to be a 'stochastic' version of the model, i.e. with initial amounts not initial concentrations.
maxAmount	Optional upper bound for amount of each species (to ensure a finite state space). By default translator uses an upper bound of 100. ATTENTION: for that case you should provide input value with empty string.

Processors (3)

Name	Type	Description
sbml2Prism	arbitrarywsdl
sbml2PrismResultXML	local
sbml2PrismParamsXML	local	Note: warnings 'arraytype' uses the '@wrapped=true' (warnings is an element of type 'WarningsList' which is an actual list/array of warning elements), which I'm not sure if is possible to be set via Taverna interface.

Beanshells (0)

Outputs (3)

Name	Description
prismModel	String with the model encoded in the Prism language, suitable for model-checking with Prism tool.
warnings	List of warnings generated by the Prism translator, such as modifications of the species names due to the Prism language restrictions.
error	If not empty then, instead of Prism model and optional warnings, this output contains an output error of the Prism translator.

Links (7)

Source	Sink
maxAmount	sbml2PrismParamsXML:maxAmount
sbml2Prism:sbml2PrismResult	sbml2PrismResultXML:input
sbml2PrismParamsXML:output	sbml2Prism:sbml2PrismParams
sbmlModel	sbml2PrismParamsXML:sbmlModel
sbml2PrismResultXML:error	error
sbml2PrismResultXML:prismModel	prismModel
sbml2PrismResultXML:warnings	warnings

Coordinations (0)

Information Workflow Type

Taverna 1

Information Uploader

trybik

Information License

All versions of this Workflow are licensed under:

Information Version 1 (of 1)

Information Credits (1)

(People/Groups)

trybik

Information Attributions (0)

(Workflows/Files)

None

Information Tags (6)

Uploader tags

Log in to add Tags

Information Shared with Groups (0)

None

Information Featured In Packs (0)

None

Log in to add to one of your Packs

Information Attributed By (0)

(Workflows/Files)

None

Information Favourited By (0)

No one

Information Statistics

1925 viewings

1556 downloads

[ see breakdown ]

Citations (0)

None

Version History

In chronological order:

sbml2Prism Web service

Created by trybik on Wednesday 26 January 2011 21:59:36 (UTC)

Reviews (0)

No reviews yet

Be the first to review!

Comments (0)

View Timeline

No comments yet

Log in to make a comment

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.

Taverna 1

Uploader

trybik

prism Web service (1)

Download

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

Taverna 1

Uploader

trybik

asynchronous prism Web service (1)

Download

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