Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.
工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。
Such a mechanism can be formalized and verified, and does well in catching the relationship of components of a linguistic expression, and discovering what a linguistic expression says.
这种机制可形式化、可验证，能很好的捕捉语言的组成成分及它们间的相互关系，揭示一个句子所说的内容。
Messages and goals of each security protocol are formalized with different set of expression, then most general substitute of the set of expression can be solved by an algorithm.
把每个安全协议的消息和目标分别形式化为表达式集，通过一个算法分别求各表达式集合的最一般代换。
The use of the spoken language, even though it was formalized, made possible the immediate expression of an unmediated vision that needed no further context ;
即使它是拘泥于形式，口语的运用使对无中介的异像产生直接体验成为可能，无需要更进一步的推论； 因此抒情诗较为简略，激烈的人情化和精确。
The use of the spoken language, even though it was formalized, made possible the immediate expression of an unmediated vision that needed no further context ;
即使它是拘泥于形式，口语的运用使对无中介的异像产生直接体验成为可能，无需要更进一步的推论； 因此抒情诗较为简略，激烈的人情化和精确。
应用推荐