The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
2
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.