探讨了这种工作流程模型正确性分析、性能评价及优化方法。
And the correctness analyses, performance appraisement and optimization methods of such a model are discussed.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
应用推荐