At last, a 4-tuples (B,M,PC,FC), process modal and algorithm of Cancel After Verification (CAV) are presented in the paper.

• 4.；提出了核销(CAV)问题的四元组形式化描述，给出并实现了核销的过程模型和算法。