Mercurial > repos > sybila > ebcsgen_pctl_parameter_synthesis
comparison ebcsgen_pctl_parameter_synthesis.xml @ 0:cf609f659b21 draft
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit a7263af5f87e39dd0d3d29924e530c88d83a5ee6
| author | sybila |
|---|---|
| date | Fri, 07 Oct 2022 12:37:22 +0000 |
| parents | |
| children | 3bb6c1e9252e |
comparison
equal
deleted
inserted
replaced
| -1:000000000000 | 0:cf609f659b21 |
|---|---|
| 1 <tool id="eBCSgen_PCTL_parameter_synthesis" name="eBCSgen PCTL parameter synthesis" version="@TOOL_VERSION@_galaxy0"> | |
| 2 <description>- PCTL parameter synthesis of given parametric transition system</description> | |
| 3 <macros> | |
| 4 <import>macros.xml</import> | |
| 5 </macros> | |
| 6 <expand macro="creator"/> | |
| 7 <requirements> | |
| 8 <container type="docker">sybila/ebcsgen:v@TOOL_VERSION@</container> | |
| 9 </requirements> | |
| 10 | |
| 11 <options sanitize="False"/> | |
| 12 <command>python3 ${__tool_directory__}/ebcsgen_pctl_parameter_synthesis.py | |
| 13 --transition_file '$transition_file' | |
| 14 #if len($regions) > 0: | |
| 15 --output '$output_regions' | |
| 16 #else: | |
| 17 --output '$output_sample' | |
| 18 #end if | |
| 19 --formula '$formula' | |
| 20 | |
| 21 #set parameters = ",".join([str($s.from) + "=" + str($s.param) + "=" + str($s.to) for $s in $regions]) | |
| 22 #if $parameters: | |
| 23 --region '$parameters' | |
| 24 #end if | |
| 25 </command> | |
| 26 | |
| 27 <inputs> | |
| 28 <param format="bcsl.ts" name="transition_file" type="data" label="Computed Transition system"/> | |
| 29 <param name="formula" type="text" label="PCTL formula"> | |
| 30 <validator type="empty_field"/> | |
| 31 </param> | |
| 32 | |
| 33 <repeat name="regions" title="Parameter intervals"> | |
| 34 <param name="param" value="" type="text" label="Parameter name:"> | |
| 35 <validator type="empty_field"/> | |
| 36 </param> | |
| 37 <param name="from" type="float" value="" label="Interval start:"/> | |
| 38 <param name="to" type="float" value="" label="Interval end:"/> | |
| 39 </repeat> | |
| 40 </inputs> | |
| 41 | |
| 42 <outputs> | |
| 43 <data format="txt" name="output_regions"> | |
| 44 <filter>"?" not in formula</filter> | |
| 45 </data> | |
| 46 <data format="storm.sample" name="output_sample"> | |
| 47 <filter>"?" in formula</filter> | |
| 48 </data> | |
| 49 </outputs> | |
| 50 | |
| 51 <tests> | |
| 52 <test> | |
| 53 <param name="transition_file" value="parametrised.bcsl.ts" ftype="bcsl.ts"/> | |
| 54 <param name="formula" value="P<=0.2 [F P2(active{on})::cell > 0]"/> | |
| 55 <repeat name="regions"> | |
| 56 <param name="param" value="param_sig"/> | |
| 57 <param name="from" value="0.1"/> | |
| 58 <param name="to" value="0.6"/> | |
| 59 </repeat> | |
| 60 <repeat name="regions"> | |
| 61 <param name="param" value="param_block"/> | |
| 62 <param name="from" value="0.05"/> | |
| 63 <param name="to" value="1.0"/> | |
| 64 </repeat> | |
| 65 <output name="output_regions" ftype="txt"> | |
| 66 <assert_contents> | |
| 67 <has_text text="Region results:"/> | |
| 68 </assert_contents> | |
| 69 </output> | |
| 70 </test> | |
| 71 <test> | |
| 72 <param name="transition_file" value="parametrised.bcsl.ts" ftype="bcsl.ts"/> | |
| 73 <param name="formula" value="P=? [F P2(active{on})::cell > 0]"/> | |
| 74 <output name="output_sample" ftype="storm.sample"> | |
| 75 <assert_contents> | |
| 76 <has_text text="Result (initial states):"/> | |
| 77 </assert_contents> | |
| 78 </output> | |
| 79 </test> | |
| 80 </tests> | |
| 81 | |
| 82 </tool> |