For example of the SBML to PRISM translation and the description of its details see http://www.prismmodelchecker.org/manual/RunningPRISM/SupportForSBML .
http://bioputer.mimuw.edu.pl/tav4sb/services/wsdl
sbml2Prism
org.embl.ebi.escience.scuflworkers.java.XMLOutputSplitter
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.
org.embl.ebi.escience.scuflworkers.java.XMLInputSplitter
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.
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.
String with the model encoded in the Prism language, suitable for model-checking with Prism tool.
List of warnings generated by the Prism translator, such as modifications of the species names due to the Prism language restrictions.
If not empty then, instead of Prism model and optional warnings, this output contains an output error of the Prism translator.