Stabile Modellierung
Geführte Operationen statt freiem Zeichnen. Deadlocks, fehlende Synchronisationen oder unvollständige Datenflüsse sind per Konstruktion nicht möglich.
Korrekte Prozesse.
Per Konstruktion.
ProcWorks ist ein Werkzeug zur Modellierung und Ausführung von Geschäftsprozessen, bei dem jede Änderung garantiert zu einem ausführbaren, konsistenten Modell führt. Vorne komfortabel und modern – hinten kompromisslos stabil.
Instanzausführung
Aus freigegebenen Modellen entstehen konsistente Instanzen mit Worklist, parallelen Zweigen, Subprozessen und Folgeprozessen – überwacht in Echtzeit.
Intuitive Bedienung
Eine moderne, schlanke Oberfläche führt durch jeden Schritt – mit Live-Freigabestatus, statt technischer Fehlermeldungen im Nachhinein.
Das Kernprinzip
Correctness by Construction
Es gilt durchgängig eine Korrektheitsinvariante: Jeder Bearbeitungsschritt ist eine korrektheitserhaltende Transformation. Was nicht korrekt ist, kann gar nicht erst entstehen.
1
Operation anfordern
Einfügen, Verzweigen, Verschieben, in Schleife einbetten – immer als vollständiges, symmetrisches Konstrukt.
2
Validate before Commit
Der Kern prüft Kontrollfluss, Datenfluss und Bearbeiterzuordnung gegen alle Korrektheitsregeln – bevor irgendetwas gespeichert wird.
3
Garantiert gültig
Nur korrektheitserhaltende Änderungen werden übernommen. Alles andere wird sauber abgelehnt – nie ein kaputter Zwischenstand.
Funktionsumfang
Vom Baustein bis zum Monitoring
Activity Repository
Wiederverwendbare Vorlagen mit typisierter Ein-/Ausgabe-Schnittstelle – Plug-&-Play-Modellierung mit geprüfter Bindung.
Daten-Connectoren
Externe Datenelemente aus DB oder Fachanwendung – stets parametrisiert aufgelöst, Secrets bleiben serverseitig.
Execution Engine
ADEPT-Markierung, parallele AND-Zweige, XOR-Entscheidungen, Subprozesse und entkoppelte Folgeprozesse.
Bearbeiter-Aufgabenliste
Rollen, Abteilungen und Vertreterketten werden zur Laufzeit konkret aufgelöst – Aufgaben landen genau bei den Berechtigten.
Monitoring & Process Mining
Live-Prozesslandkarte, KPIs, Engpass-Signale und eine aus dem Audit-Log entdeckte Prozesskarte.
Revisionsübernahme
Laufende Instanzen werden bei neuen Modellversionen individuell und konsistent migriert – oder bleiben stabil.
Architektur
Headless-Kernel, dünne GUI
Die gesamte Korrektheitslogik liegt im Kern. Jede Oberfläche, CLI oder Fremdsystem nutzt dieselbe API – ohne privilegierte Hintertür.
- API-first: FastAPI-Kernel in Python, OpenAPI inklusive.
- Persistenz: In-Memory für die Demo, PostgreSQL für den Produktivbetrieb.
- Deployment: zustandsloses Container-Image, Caddy-Reverse-Proxy mit automatischem TLS, Helm-Chart.
- Qualität: umfangreiche Testsuite, statische Typprüfung, Linting – grün in CI.
- Lizenz: Business Source License 1.1 – quelloffen und transparent.
Prozesse, die nicht kaputtgehen können.
Neugierig geworden? Sieh dir den Code, das Architektur-Konzept und den klickbaren Prototyp an.
Loslegen