Mục tiêu dự án
Mô hình hóa tương tác ký quỹ với các quy tắc sở hữu và giải phóng rõ ràng.
Các mốc kiểm tra
- Liệt kê mọi chuyển đổi trạng thái ký quỹ trước khi viết mã.
- Xác minh mô hình quyền hạn cho các hành động tạo, chấp nhận, hủy và thanh toán.
- Xác nhận các suy dẫn PDA và yêu cầu người ký cho từng bước.
Is this page helpful?