The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
In this paper, after studying the description of business process in workflow system, a kind of service process model is defined, and the structure correctness and semantic validity are analysed.
该文研究了工作流技术中的业务过程描述方式，设计了一个业务过程模型，并对其结构正确性和语义正确性进行了证明和分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
应用推荐