BPMN Modeling

Biến mô tả quy trình thành sơ đồ BPMN 2.0 đúng chuẩn OMG, có lý do cho từng lựa chọn ký hiệu và được kiểm chứng bằng token. AI chỉ phác thảo bản nháp; việc xác nhận nghiệp vụ thuộc về người vận hành quy trình.

Chọn chế độ

Mặc định dùng ký hiệu trong notation-core.md. Chỉ dùng notation-advanced.md (signal, escalation, compensation, complex gateway, sub-process…) khi người dùng hỏi tới hoặc quy trình thật sự cần, và giải thích thêm một câu khi dùng.

Chế độ A – Vẽ (6 bước)

1. Phạm vi – trigger, kết quả mong đợi (cả kết quả thất bại), phần ngoài phạm vi. Viết Process Scope Statement 2–3 dòng.
2. Actor & swimlane – một tổ chức = một pool; vai trò/hệ thống cùng tổ chức = lane; bên ngoài = pool thu gọn nối bằng message flow (pool-vs-lane.md).
3. Happy path – trái → phải, chưa rẽ nhánh; task Động từ + Danh từ, đúng lane, đúng loại (symbol-decisions.md).
4. Gateway – điều kiện → XOR (câu hỏi + nhãn nhánh); việc độc lập → AND tách/gộp; luôn có task lấy dữ kiện trước gateway.
5. Ngoại lệ & sự kiện – mỗi bước phải chờ: chờ quá lâu, lỗi, người dùng bỏ dở thì sao → boundary event + luồng ngoại lệ; gộp các lý do huỷ về một kết cục.
6. Review bằng token – viết 4–6 kịch bản (thành công, từng ngoại lệ, từng bên ngoài im lặng), chạy simulate_tokens.py, soát checklist 8 điểm (modeling-rules.md). Kịch bản kẹt = lỗ hổng → đề xuất sửa.

Ở mỗi bước, ghi quyết định theo mẫu Làm gì → Vì sao dùng → Vì sao không dùng cách khác.

Thiếu thông tin thì hỏi gì

Chỉ hỏi khi mô tả chưa nêu (tối đa 4 câu, một lượt): (1) bắt đầu/kết thúc ở đâu, (2) ai/hệ thống nào tham gia, bên nào thuộc tổ chức khác, (3) ngoại lệ nào có thật (từ chối, hết giờ, huỷ, không phản hồi), (4) có hệ thống bên thứ ba nào. Không đủ thì vẽ theo giả định ghi rõ, đừng bịa bước.

Đầu ra

Viết một spec JSON (định dạng: references/output-formats.md, mẫu: examples/*/spec.json), rồi sinh mọi định dạng từ đó:

python3 scripts/spec_to_mermaid.py  spec.json diagram.mmd     # vòng nháp, dán mermaid.live / Notion / GitHub
python3 scripts/spec_to_bpmn.py     spec.json diagram.bpmn    # BPMN 2.0 XML có toạ độ
python3 scripts/bpmn_lint.py        diagram.bpmn              # phải 0 lỗi trước khi giao
python3 scripts/spec_to_svg.py      spec.json diagram.svg     # hình đẹp để chèn tài liệu
python3 scripts/simulate_tokens.py  spec.json                 # kịch bản → kết cục, token kẹt ở đâu
python3 scripts/build_token_page.py spec.json tokens.html     # trang HTML: chọn kịch bản, xem token chạy

• Vòng nháp: Mermaid + bảng tóm tắt để người dùng soát nội dung nhanh.
• Vòng cuối (khi đã chốt nội dung, hoặc người dùng cần file): .bpmn + lint + SVG; thêm trang token khi cần trình bày/review.
• Spec hỗ trợ một pool nhiều lane cho process chính, pool ngoài thu gọn (pools) và message flow (messages). Bố cục tự động là bản nháp: đường nối có thể chồng nhau; nhắc người dùng kéo chỉnh trong bpmn.io (nội dung và logic không đổi).
• Màu SVG/HTML chỉnh trong assets/svg-theme.css.

Báo cáo kèm theo (luôn có)

Theo mẫu assets/report-template.md:

• Phạm vi (2–3 dòng).
• Bảng tóm tắt: Lane | Activity/Event | Loại | Điều kiện nhánh.
• Bảng quyết định ký hiệu: những lựa chọn không hiển nhiên, mỗi dòng có "vì sao dùng / vì sao không".
• Kịch bản token: kịch bản → kết cục, kịch bản kẹt (nếu có) và đề xuất sửa.
• Kết quả lint: số lỗi/cảnh báo, đã sửa gì.
• Danh sách giả định: mỗi bước không có trong mô tả gốc, để người dùng gạch bỏ.
• 3–5 câu hỏi cho người vận hành (review-mode.md).

Quy tắc chất lượng

• Start/end rõ ràng; mỗi kết cục một end event đặt tên theo trạng thái ("Đã giao món").
• Gateway là câu hỏi, có task lấy dữ kiện trước; mọi nhánh ra khỏi XOR/OR có nhãn; tách loại nào gộp loại đó.
• Task đúng lane của bên thực sự làm (khách không "gọi API").
• Sequence flow chỉ trong một pool; giữa các pool dùng message flow; mọi trao đổi với bên ngoài đi qua send/receive task.
• Mọi bước phải chờ đều đã có câu trả lời cho "chờ quá lâu thì sao?" - nếu không, kịch bản "bên ngoài im lặng" sẽ kẹt.
• Không bịa bước "nghe hợp lý" khi mô tả không nêu - đưa vào giả định.
• Dữ liệu nhạy cảm: nếu người dùng dán dữ liệu thật (tên, số tài khoản), nhắc thay bằng dữ liệu giả.
• Dùng tên chung cho ví dụ ("cổng thanh toán", "ứng dụng gọi xe"), không gắn thương hiệu thật nếu người dùng không yêu cầu.

Tham chiếu