Agent-based models (ABM) are often documented with the ODD-protocol, which gives a suitable framework. This framework lacks a formal documentation of the model itself, which is normally written in a simulation environment like e.g. NetLogo, GAMA, REPAST or another modelling language. These days, the de facto standard for documenting business processes is the Business Process [...]