1.
Research on intertransferring rules between EPCM and UML model;
EPC流程模型与UML模型的转换规则研究
2.
Inconsistency in UML models can be hard to trace manually.
UML模型的不一致性很难人工跟踪。
3.
Research on Verification Technology of UML Models Based on Model Checking with SPIN;
基于SPIN的UML模型验证技术的研究
4.
Formal Analysis for UML Model of Security Protocols Using SPIN;
安全协议UML模型的SPIN分析
5.
Research and Design on Consistency Checking in UML Models;
UML模型一致性检测的研究与设计
6.
The "One Body" Development and UML Model of JIT Purchase Management System;
JIT采购系统的一体化开发与UML模型
7.
The Verification of UML Model Based on SBOPN;
基于SBOPN的UML模型的正确性验证
8.
UML Model Verification and Test Based on Graph Transformation;
基于图形转换的UML模型验证与测试
9.
Research on Consistency of UML Models Based on Automata Theory
基于自动机理论的UML模型一致性研究
10.
Design of OLAP metamodel based on UML profile
基于UML Profile设计OLAP元模型
11.
Analysis of the Information Describing Model of ATS and Research on Building Model with UML
ATS信息描述模型分析及UML建模研究
12.
UML Modeling of Software and RBAC Security Model
软件UML建模与RBAC安全模型
13.
Formal Conversion of Fuzzy XML DTD to UML Data Model
模糊XML DTD到UML数据模型的转换
14.
The Model Research of Supply Chain Management System Based on the Unified Modeling Language;
基于UML的供应链管理系统模型研究
15.
Research on Model Checking UML Statecharts and Tool Implementation;
UML状态图模型检查技术及工具实现
16.
Application of Software Testing Based on CPN Model Derived from UML Model;
基于UML的CPN模型在软件测试中的应用
17.
Research on Exploration and Development Data Model of Oilfield Based on UML;
基于UML的油田勘探开发数据模型研究
18.
Applications and Software Testing Model Based on UML Dynamic View;
基于UML动态视图的测试模型及应用