Jekyll2026-03-01T15:03:25+00:00https://timkraeuter.com/feed.xmlTim KräuterThe homepage of a german software engineer, who lives in Norway.BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution :fire:2024-03-18T18:00:00+00:002024-03-18T18:00:00+00:00https://timkraeuter.com/rust-bpmn-analyzerThe BPMN Analyzer 2.0 is a tool to analyze BPMN process models to find, display, and fix control-flow errors already during modeling.
Unlike my previous BPMN Analyzer, this tool is written in Rust and uses a pragmatic encoding of BPMN semantics for optimal performance regarding control-flow analysis.
A demo version of the analyzer is hosted online and the source code is open-source (front-end, back-end).
My research paper about the analyzer is published at the Demonstrations & Resources Forum co-located with the 22nd International Conference on Business Process Management (BPM 2024).
In the following YouTube video I demo the BPMN Analyzer 2.0:
The BPMN Analyzer 2.0 has three ambitious goals:
Instantaneous analysis (< 500ms) of realistic BPMN models.
Understandability of the found control-flow errors (clearly showing their cause).
Automatic quick-fixes for the most common control-flow errors.
The analyzer can easily be integrated into BPMN modeling tools like bpmn.io as in our demo to provide instant feedback during modeling.
In the screenshot below, one can see control-flow errors highlighted in red and quick-fix suggestions in green.
To understand control-flow errors, the analyzer can visualize the possible execution that led to the error.
The following screenshot shows how the analyzer visualizes the execution leading to a process getting stuck.
]]>timKraeuterVisual Debugging in IntelliJ :beetle:2023-12-07T10:00:00+00:002023-12-07T10:00:00+00:00https://timkraeuter.com/visual-debuggerA software developer spends a large amount of their time validating and debugging software.
Traditionally, debuggers depict information in a text-based format.
However, in my opinion, when there are many connected objects, a graphical representation during debugging is easier to comprehend.
Thus, I implemented an open-source plugin for IntelliJ IDEA, which visualizes the program state as an object diagram during debugging.
The following YouTube video demonstrates the use of the Visual Debugger.
I published two research papers about the Visual Debugger.
The first paper describes the Visual Debugger and its motivation (preprint).
It is published at the International Conference on Software Maintenance and Evolution (ICSME) 2022.
In addition, I describe the new features of the Visual Debugger in the second paper, which is published at the International Conference on Software Engineering (ICSE) 2024.
In many scenarios, graphical representations such as object diagrams are more understandable than textual representations when representing the state of an object-oriented system.
You can see the different representations in the following screenshot of a binary search tree, which includes an object diagram view for the stack frame variables on the right.
The Visual Debugger highlights changes using colors and keeps a debug history such that users can see previous object diagrams.
The Visualization happens either in an external browser or integrated into the IDE using an embedded browser:
The browser will connect via WebSocket to the plugin, such that it will receive live updates when the debugger variables changed due to IDEA input.
The UI is open-source and not tied to IntelliJ IDEA and can be used as a debugging view for other IDE’s and programming languages.
This is possible due to the architecture of the Visual Debugger which separates obtaining stack frame variables from the visualization:
One can also export and then edit the object diagrams generated by the debugger afterward using my object diagram modeler.
For complex debugging scenarios, you can set the initial depth of visualization when using the Visual Debugger.
In addition, you can export the current visualization as an SVG file.
]]>timKraeuterBPMN Analyzer: Formal analysis of BPMN process models :chart_with_upwards_trend:2023-03-16T10:45:00+00:002023-03-16T10:45:00+00:00https://timkraeuter.com/bpmn-analyzerThe Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows.
It is used heavily for process automation and orchestration in many businesses.
Formalizing BPMN reduces the cost of business process automation by facilitating the detection of errors and optimization potentials in process models already during design time before the implementation starts.
The BPMN Analyzer is an open-source tool to analyze BPMN process models formally.
The tool supports most BPMN constructs used in practice and allows checking behavioral properties.
Especially, it can check if a BPMN model contains dead activities (activities which can never execute) or cannot terminate.
The following screenshot shows the detection of a dead activity in a BPMN model. The activity can never execute due to wrong gateway usage.
I published a research paper about the formalization used in the tool at the 16th International Conference on Graph Transformation (ICGT 2023).
The paper won the ★ Best Paper Award ★.
You can read the preprint of the paper for free.
]]>timKraeuterSmart CoP: Privacy policy2021-10-29T14:30:00+00:002021-10-29T14:30:00+00:00https://timkraeuter.com/SmartCoP-privacyWe don’t store your data, period.]]>timKraeuterSmart CoP: Privacy policy2021-10-29T14:30:00+00:002021-10-29T14:30:00+00:00https://timkraeuter.com/autoD-privacyWe don’t store your data, period.
Um den Ausgangswert einer Übung zu berechnen, müssen alle Elemente der Übung ausgewählt werden. Zusätzlich können die durch die Übung erfüllten Anforderungen selektiert werden.
Element hinzufügen
Elemente können durch das Klicken auf das Plus-Icon und Auswahl des Elements hinzugefügt werden.
Ein Abgang kann über den Button “Abgang auswählen” hinzugefügt werden.
Element löschen
Elemente können durch Swipe nach Links und einem Klick auf das auftauchende Lösch-Icon entfernt werden.
Ein Abgang kann wie ein Element entfernt werden.
Elemente umsortieren
Elemente können per Drag & Drop umsortiert werden.
Export/Import von Übungen
Übungen können über die Drei-Punkte neben dem Icon des aktuellen Geräts exportiert und importiert werden.
Export
Der Export einer Übung erzeugt eine PDF-Datei, welche die Berechnung detailliert wiedergibt.
Import
Exportierte Übungen können auf andere Geräte übertragen und dort in die App importiert werden, um bspw. Änderungen vorzunehmen.
]]>timKraeuterSmart CoP: Quick Tutorial :muscle:2020-02-24T19:33:00+00:002020-02-24T19:33:00+00:00https://timkraeuter.com/SmartCoP-tutorial-enCreating an exercise
To calculate the difficulty of an exercise, all elements must be added. Also, the fulfilled requirements can be selected.
Adding elements
Elements can be added by clicking the plus icon and selecting the element.
A dismount can be added using the “Select dismount” button..
Deleting elements
Elements can be removed by swiping to the left and clicking on the delete icon that appears.
A dismount can be removed like an element.
Rearranging elements
Elements can be rearranged using drag & drop.
Export/Import of exercises
Exercises can be exported and imported using the three dots next to the icon of the current device.
Export
The export of an exercise creates a PDF file that shows the calculation in detail.
Import
Exported exercises can be transferred to other devices and imported into the app, for example, to make changes.
]]>timKraeuterSmart CoP: calculate your gymnastics difficulty :muscle:2020-01-19T15:10:00+00:002020-01-19T15:10:00+00:00https://timkraeuter.com/SmartCoP-appSince no gymnast from my club, including me, knew how to calculate his difficulty score, I made an app that does it for you.
Example of the app - Smart CoP - calculating the difficulty of a floor exercise.
It is an app to calculate your gymnastics difficulty. You select the elements of your exercise and the app automatically calculates the difficulty score.
What can it do?
Calculate your difficulty by providing all elements from the code of points.
Saves your exercises in the app automatically.
Not cost you anything or annoy you with advertisements.
Export your exercise to a beautiful pdf, as seen here.
Import the created pdf files back into the app, so you can share and collaborate with your fellow gymnast friends.
Have a look at my tutorial page in english and german.
After 5 years and over 500+ downloads, I have unpublished the app.
I am not competing in gymnastics at the moment and the app is not up to date anymore (since 2025) due to the new regulations.
If anyone wants to pick up the development of the app feel free to reach out to me.
The following graph shows the active installs of the app from 2020-2025, when the app was unpublished.
The app peaked at 148 concurrent installations as shown in the graph.
I only marketed the app once which resulted in an article in the german gymnastics magazin Leon.
