RailML Tutorial: Difference between revisions

Revision as of 13:28, 14 August 2026

Import railML Data

Using ProB2-UI

In the menu bar, select Advanced > Data Import > railML 3 or open a .railml/.railmlx directly. The railML 3 import dialogue should be visible now.

You can choose whether to save only the translated data, perform semantic checks and/or to create a visualisation. Then click on Start Import. You should see a progress bar while the translation and validation of the data is executed.

Once the import has finished, the validation results are displayed and can be exported (if semantic checks where enabled). You can then proceed to export the data as B machines and, if desired, export further machines for animation and validation.

If you selected Create visualisation at the beginning, the visualisation window will show up to configure the layout:

@@ Line 1: / Line 1: @@
+== Import railML Data ==
+=== Using ProB2-UI ===
+In the menu bar, select <tt>Advanced > Data Import > railML 3</tt> or open a <tt>.railml</tt>/<tt>.railmlx</tt> directly.
+The railML 3 import dialogue should be visible now.
+You can choose whether to save only the translated data, perform semantic checks and/or to create a visualisation.
+Then click on <tt>Start Import</tt>.
+You should see a progress bar while the translation and validation of the data is executed.
+{| style="border: none;"
+|-
+| [[File:prob2ui railml import1.png|470px]]
+| [[File:prob2ui railml import2.png|430px]]
+|}
+Once the import has finished, the validation results are displayed and can be exported (if semantic checks where enabled).
+You can then proceed to export the data as B machines and, if desired, export further machines for animation and validation.
+[[File:prob2ui railml import3.png|470px|left]]
+If you selected <tt>Create visualisation</tt> at the beginning, the visualisation window will show up to configure the layout:
+[[File:prob2ui railml vis simple.png|600px|left]]