PyMBE

A project to experiment with and validate semantics for KerML and SysML v2. Running core semantics and interpreting models is a foundational capability for any modeling software.

Get set up...

1. Clone this repo

git clone https://github.com/bjorncole/pymbe.git
cd pymbe

2. Get mamba

or stick to conda if you like... just change mamba to conda in the instructions below.

If you have anaconda or miniconda, install mamba (it's faster and better than conda):

conda install mamba

You may need to specify the channel: conda install -c conda-forge mamba

If you don't have anaconda or miniconda, just get Mambaforge.

3. Setup the base environment

This will be an environment that has pixi and some other dependencies to run the development commands.

For added consistency, use the provided .condarc file:

CONDARC=.github/.condarc        # linux
set CONDARC=.github\.condarc    # windows

conda env create -f .github/environment.yml -p envs/pymbe

You don't have to repeat these steps unless you delete your base environment.

4. Activate the environment

You will have to activate the base environment to make sure you are using the appropriate version. You will have to do this every time you open a new shell (e.g., windows command prompt, a linux bash) unless you automate the activation of the environment.

conda activate envs/pymbe

... and get going!

You can then get a running instance of JupyterLab by running:

pixi run lab

Remember if you open a new shell, you will have to activate your base environment as explained in Step 4.

Copy the URL where JupyterLab is running into your preferred browser, and you should be good to go!

Widgets

You can interact with the SysML v2 data using widgets, as illustrated below:

If you can't see the animation clearly, click on it to see it in higher resolution.