railML Tutorial

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 (provided that semantic checks were 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:

In Java Projects

railML2B is available via Maven Central and can be easily added as a dependency in your JVM-based project.

Gradle:

dependencies {
    implementation 'de.hhu.stups:railml2b:1.0.0'
}

Maven:

<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>railml2b</artifactId>
    <version>1.0.0</version>
    <scope>compile</scope>
</dependency>