1.
Research of Transforming UML Collaboration Diagram to Finite Automata Observation Model;
UML协作图到自动机观测模型转化方法的研究
2.
Research on an Approach to Generate Test Sequence Based on UML Collaboration Diagrams
基于UML协作图的测试序列生成方法研究
3.
Research on Modeling for Workflow Based on UML Activity Graph;
基于UML活动图的工作流建模研究
4.
Modeling and Verification of the Workflows Based on UML-Statecharts;
基于UML状态图的工作流建模与验证
5.
Research of workflow modeling based on extended UML activity diagrams
基于扩展UML活动图的工作流模型研究
6.
A Design and Realization of UML-Based Navy Combat Plotting System;
基于UML的海军作战标图系统的设计与实现
7.
Research and Implementation of Modeling Workflow Based on UML Activity Diagram;
基于UML活动图的工作流建模研究与实现
8.
Modeling Method of Workflow Process Based on Extended UML Activity Diagram;
基于扩展的UML活动图的工作流过程建模
9.
Research on Workflow Modeling Based on UML Activity Diagrams and XPDL Specifications
基于UML活动图和XPDL规范的工作流模型研究
10.
Verification Method of Concurrent Workflows Based on Extended UML Statecharts
一种基于扩展UML状态图的并发工作流验证方法
11.
Research and Implementation of the Protocol Conformance Testing System for Routing Protocol OSPF Based on UML Statechart;
基于UML状态图OSPF路由协议一致性测试系统研究与实现
12.
Developers can link icons to stereotypes to modify UML for specific operations.
开发人员可以把图标连到再生码上，以修改特定操作的UML。
13.
A Sort of Method about Description and Verification of Work-flow Base on That Activity Diagram of UML
一种基于UML活动图的工作流模式描述与验证方式
14.
Workflow modeling with extended UML activity diagrams and its transformation into XPDL
基于扩展UML活动图的工作流建模及其到XPDL的转换
15.
Libraries should be to Cooperate and Adjust to Each Other in Subscribing to Foreign Magazines
图书馆外文期刊订购需搞好协作协调
16.
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
17.
Study on A Conversion Method from UML Diagrams to SVG Graphics
UML图表到SVG图形转换方法研究
18.
Formal Analysis for UML Model of Security Protocols Using SPIN;
安全协议UML模型的SPIN分析