Mercurial > repos > sybila > ebcsgen_pctl_model_checking

annotate ebcsgen_pctl_model_checking.xml @ 3:7be535fdf059 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 4719a69f514aed27d90c7017f052463b0b43cbb0
author sybila
date Sat, 15 Oct 2022 09:22:04 +0000
parents 602c6cab487e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
602c6cab487e planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 81dbe4922abcbd544c1dd9830d05daf661a29658
sybila
parents: 0
diff changeset
1 <tool id="eBCSgen_PCTL_model_checking" name="eBCSgen PCTL model checking" version="@TOOL_VERSION@_galaxy0">
0
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
2 <description>- explicit PCTL model checking of transition system</description>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
3 <macros>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
4 <import>macros.xml</import>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
5 </macros>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
6 <expand macro="creator"/>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
7 <requirements>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
8 <container type="docker">sybila/ebcsgen:v@TOOL_VERSION@</container>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
9 </requirements>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
10
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
11 <options sanitize="False"/>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
12 <command>python3 ${__tool_directory__}/ebcsgen_pctl_model_checking.py
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
13 --transition_file '$transition_file'
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
14 --output '$output'
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
15 --formula '$formula'
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
16 </command>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
17
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
18 <inputs>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
19 <param format="bcsl.ts" name="transition_file" type="data" label="Computed Transition system"/>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
20 <param name="formula" type="text" label="PCTL formula">
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
21 <validator type="empty_field"/>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
22 </param>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
23 </inputs>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
24
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
25 <outputs>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
26 <data label="PCTL model checking of ${on_string}" format="storm.check" name="output"/>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
27 </outputs>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
28
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
29 <tests>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
30 <test>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
31 <param name="transition_file" value="pctl_model_checking.bcsl.ts" ftype="bcsl.ts"/>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
32 <param name="formula" value="P &lt;= 0.5[F X()::rep=1]"/>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
33 <output name="output" ftype="storm.check">
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
34 <assert_contents>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
35 <has_text text="Result (for initial states): false"/>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
36 </assert_contents>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
37 </output>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
38 </test>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
39 </tests>
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
40
ea5108514910 planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
sybila
parents:
diff changeset
41 </tool>