formalization method的用法和樣例：
例句
- 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.
摘要為了實現工作流管理功能，必須將業務過程從現實世界中抽象出來，並用一種形式化方法對其進行描述。 - The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
對使用形式化方法及循環不變式開發新策略開發非遞歸演算法作了較深入的實踐和探討。
