Generates graph-transformation rules for the graph transformation toolset Groove and rewrite rules for the Maude system from different BPMN models.
The generation of graph transformation rules for BPMN models is described in the wiki.
This repository contains multiple related projects.
The project Generator contains the source code to generate Groove/Maude rules from different behavioral languages, for example, BPMN. It uses my graph-rule-generation library.
The project Generation-ui contains the ui code for the generation of Groove rules from BPMN files. Including model-checking of BPMN models. Maude generation is not yet accessible through the UI.
The project server contains the webservices used by the generation-ui for BPMN rule generation and model-checking.
A demo version of the tool is hosted here.
Go here if you want to run the tool to generate graph-transformation rules for BPMN locally
I use the Google Java Code Style in my project. The style is automatically enforced using google-java-format through the spotless gradle plugin and can also be installed in your IDE. For the UI part written in typescript, HTML, and CSS, I use the Prettier code formatter.
Sonarcloud is used for static analysis click on lines of code, coverage, bugs, code smells, and vulnerabilities above. In addition, I experiment with Google's Error Prone, but it mostly finds the same issues as sonarcloud.