该文研究了工作流技术中的业务过程描述方式，设计了一个业务过程模型，并对其结构正确性和语义正确性进行了证明和分析。
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.
只要内容仍然是可读的、能够发挥功能而且在布局中具有语义上的正确性，我们就接受这些差异。
As long as this content was still readable, functional, and semantically correct in its layout, we accepted the slight variations.
查询返回正确的结果(正确性由应用程序的语义决定)。
The query returns the correct results (where correctness is defined by the semantics of the application).
UML缺乏准确的语义，难以支持对复杂系统的模型进行严格的语义分析和正确性验证。
The lack of precise semantics of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
由于类BAN逻辑缺乏明确而清晰的语义，其语法规则和推理的正确性就受到了质疑。
For lack of explicit and definite semantics in BAN like logics, their correctness of syntax rules and reasoning is under suspicion.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
应用推荐