asynchronous prism Web service

Created: 2011-01-26 21:57:02 Last updated: 2011-01-26 21:57:04

Download Workflow

Asynchronous version of the Prism Web service. Results XML list is sent via email.

Preview

Run

Run this Workflow in the Taverna Workbench...

Option 1:

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

Workflow Components

Inputs (4)

Name	Description
model	See Prism Web service.
properties	See Prism Web service.
constants	See Prism Web service.
email	Email address to send the results to.

Processors (4)

Name	Type	Description
asyncResultXML	local
asyncPrismParamsCompactXML	local
setConstantCompactXmlList	beanshell
asyncPrism	arbitrarywsdl

Beanshells (1)

Name	Description	Inputs	Outputs
setConstantCompactXmlList		input	output

Outputs (2)

Name	Description
info	PRISM job startup info, mutually exclusive with 'error' output.
error	PRISM job startup error message, mutually exclusive with 'info' output.

Links (9)

Source	Sink
constants	setConstantCompactXmlList:input
email	asyncPrismParamsCompactXML:email
model	asyncPrismParamsCompactXML:model
asyncPrismParamsCompactXML:output	asyncPrism:asyncPrismParamsCompact
properties	asyncPrismParamsCompactXML:properties
asyncPrism:asyncResult	asyncResultXML:input
setConstantCompactXmlList:output	asyncPrismParamsCompactXML:constantCompact
asyncResultXML:error	error
asyncResultXML:info	info

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 (5)

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

1917 viewings

1420 downloads

[ see breakdown ]

Citations (0)

None

Version History

In chronological order:

asynchronous prism Web service

Created by trybik on Wednesday 26 January 2011 21:57:02 (UTC)

Reviews (0)

No reviews yet

Be the first to review!

Comments (1)

View Timeline

Log in to make a comment

Adrian Diaz Meza

Hello my friend.

how do I create a workflow to send an email to a specific user?

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

sbml2Prism Web service (1)

Download

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

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: trybik