The formalization analysis, exemplification and experimentation result prove that GKCP is correct and feasible.
形式化分析、例证和实验结果表明GKCP 的正确性和可行性。
Rules of this nature tend to arise at analysis time within process models and require formalization to drive soft coded process flow (for example, BPEL) or application logic.
这种规则往往出现在流程模型中的分析时，并且需要规范化，以驱动软编码的过程流(例如BPEL)或应用程序逻辑。
However, different participants in the requirements-analysis-design cycle express rules with varying degrees of formalization and structure.
但是，需求-分析-设计周期中的不同参与者是以不同程度的规范化和结构来表达规则的。
应用推荐