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.
把每个安全协议的消息和目标分别形式化为表达式集，通过一个算法分别求各表达式集合的最一般代换。
应用推荐