从概念的角度分析了活动图并非结构的不足，系统地研究了时序模糊状态下的语音描述，以工作流的循环模式鉴别器作为实例，提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型，从分支、合并、事件捕获等方面定义了详尽的规则，提高了模型的正确性、可验证性和一致性。-The insufficient of concurrent structure of activity diagram is analyzed in concept level,and the

The Visual Semantic Web (VSW) is a new paradigm for enhancing the current Semantic Web technology. VSW is based on Object-Process Methodology (OPM), which enables modeling of systems in a single graphic and textual model. VSW provides for rep

LSI就是这样一种维数约减方法。它可以通过对“文档向量矩阵”进行解奇异值分解（SVD: Singular Value Decomposition）运算，自动计算得到一个比原始空间小得多的有效语义空间-LSI is such a dimensionality reduction method. It can be through the "document vector matrix" for the singular value decomposition (SVD: Singular Valu