bpm-engine v0.2.0
A correctness-first workflow execution kernel in Rust.
🎉 Highlights
- Complete Documentation Site: Bilingual (EN/ZH) GitHub Pages documentation
- PostgreSQL Adapter: Production-ready persistence layer
- Worker SDK: External task worker runtime with lease-based execution
- BPMN 2.0 Parser: XML to ProcessDefinition compiler
- Formal Invariants: Mathematically proven correctness guarantees
- Crash Recovery: Deterministic recovery from failures via event replay
📦 Installation
[dependencies]
bpm-engine = "0.2"🚀 Quick Start
# Start the engine
cargo run -p bpm-server-rest
# Run a minimal process
cargo run --example simple_process📚 Documentation
🔑 Key Features
| Feature | Description |
|---|---|
| ⚡ Exactly-Once Completion | Tokens reach final states exactly once |
| 🔄 Crash-Safe by Design | Deterministic recovery via event replay |
| 🔒 Lease-Based Tasks | External workers with lease protection |
| ⏱️ Persistent Timers | Timers survive restarts |
| 📜 Full Audit History | Append-only, globally ordered events |
| 🛡️ Formal Invariants | Mathematically proven correctness |
📋 What's Changed
- Complete bilingual documentation site
- PostgreSQL adapter implementation
- Worker SDK with external task support
- BPMN 2.0 XML parser and compiler
- Formal invariants and testing strategy
- Crash recovery mechanism
- Persistent timers
- Saga compensation pattern
🙏 Acknowledgments
Thanks to the Rust community for the excellent ecosystem and tools.
Full Changelog: https://github.com/fanjia1024/bpm-engine/commits/v0.2.0