bpm-engine v0.2.0

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

• Documentation Site
• Architecture Overview
• API Specification
• Quick Start Guide

🔑 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