The UMB Observatory

In order to demonstrate the effectiveness of the UMB format and the UMBI implementation, we provide an "observatory" of tools with UMB support, including Storm, PRISM, and the UMBI Python library, accessible via Jupyter notebook. Additionally, the UMB observatory provides the umbtest library which is where we put our unit tests. This observatory is provided as a Docker container.

What's included

The docker container has the following elements:
  1. Storm with preliminary UMB support, taken from Tim Quatmann's fork (UMB support has yet to be merged into the main Storm repo).
  2. PRISM (on the umb branch).
  3. umbi as available on PyPI.
  4. The umbitest library.
  5. A Jupyter notebook, bound to port 8000.
You can either build the Docker image yourself from the GitHub repository or you can pull it from ghcr.io:
docker pull ghcr.io/pmc-tools/docker:main
Once the image is pulled, simply run it, making sure you bind port 8000, otherwise the Jupyter notebook will not be accessible.
docker run --name pmcdocker -d -p 8000:8000 ghcr.io/pmc-tools/docker:main
If you are, for whatever reason, already using that port, you may bind, i.e., port 8001 with -p 8001:8000.