To realize the function of workflow management, the business process must be abstracted from the real world and described by a kind of formal method. 摘要為了實(shí)現工作流管理功能，必須將業(yè)務(wù)過(guò)程從現實(shí)世界中抽象出來(lái)，并用一種形式化方法對其進(jìn)行描述。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant. 對使用形式化方法及循環(huán)不變式開(kāi)發(fā)新策略開(kāi)發(fā)非遞歸算法作了較深入的實(shí)踐和探討。
