1)UML class diagramUML类图
1.Consistency checking of UML class diagram based on description logics基于描述逻辑的UML类图一致性检测
2.A conversion approach from UML class diagram to OWL ontology was briefly introduced.介绍了UML类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(UML2OWL)的设计思想与实现技术。
3.This paper presents the rules of transforming XML Schema to UML class diagram, which is valuable to the graphic modeling for the XML schema.提出了一套从XML模式到UML类图的转换规则,以便于对XML模式进行快速的图形化建模,从而有利于用户对XML模式的理解。
英文短句/例句
1.Consistency checking of UML class diagram based on description logics基于描述逻辑的UML类图一致性检测
2.Formalization Method for UML Class Diagram Based on SHOIN(D)基于SHOIN(D)的UML类图形式化方法
3.OWL Ontology Mapping Method Based on UML Class Diagram基于UML类图的OWL本体映射方法
4.ON ALGORITHM OF CONVERTING UML CLASS DIAGRAM TO XML SchemaUML类图到XML Schema的转换算法的研究
5.Research of Software Size Estimation Service Model Based on UML Class Diagram;基于UML类图的软件规模估算服务模型的研究
6.Non-Functional Attributes Oriented Description and Verification in UML Class DiagramsUML类图中面向非功能属性的描述和检验
7.Research on Class Test Based on Extended UML Statechart Diagram;基于扩充的UML状态图的类测试方法研究
8.Automatic Test Cases Generantion of Class Testing from UML State Diagrams;基于UML状态图的类测试用例自动生成方法研究
9.The Design and Implementation of a Testing Method Based on UML Statechart for Object-Oriented Software at Class Level;基于UML状态图的面向对象类级测试方法的研究与实现
10.Methodology on the Unification of the Static Classified Diagrams Based on UML and Modeling and Coding;基于UML的静态类图和ALSD实现建模与编码的统一的方法
11.Study on Formal Method in UML Sequence Diagram and Statechart;UML顺序图和状态图的形式化方法研究
12.Study on A Conversion Method from UML Diagrams to SVG GraphicsUML图表到SVG图形转换方法研究
13.Research on Model Checking UML Statecharts and Tool Implementation;UML状态图模型检查技术及工具实现
14.Research on Modeling for Workflow Based on UML Activity Graph;基于UML活动图的工作流建模研究
15.Applications and Software Testing Model Based on UML Dynamic View;基于UML动态视图的测试模型及应用
16.Modeling and Verification of the Workflows Based on UML-Statecharts;基于UML状态图的工作流建模与验证
17.Research on UML Graph Auto Generating in IT-Kid Platform;IT-Kid中UML图形的自动生成研究
18.2D Game Graphics Engine R&D & UML Modeling Complementation;2D游戏图形引擎开发及UML建模实现
相关短句/例句
fuzzy UML class diagram模糊UML类图
1.The UML conceptual model and OWL DL ontology are therefore fuzzily extended separately on the basis of fuzzy set theory,and the feasibility of framing the fuzzy OWL DL ontology by fuzzy UML class diagram is interpreted in the perspective of their logical foundation.基于模糊集理论,对UML概念模型及OWL DL本体进行了模糊扩展,从二者的逻辑基础说明了利用模糊UML类图构建模糊OWL DL本体的可行性,进而研究了从模糊UML类图到模糊OWL DL本体的形式化映射方法,给出了映射规则及公理的创建过程。
3)UML diagramUML图
4)UML statechartUML状态图
1.Research and Implementation of the Protocol Conformance Testing System for Routing Protocol OSPF Based on UML Statechart;基于UML状态图OSPF路由协议一致性测试系统研究与实现
2.To solve these problems,an approach is given to the UML Statechart be time-extended,and an approach is proposed to formalize the time-extended UML statechart with "executable UML".面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。
3.To achieve the merit of two graphics tools,a method is proposed to transform the UML statechart to the EFSM.将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。
5)UML state diagramsUML状态图
1.By transforming UML state diagrams into extended finite state machines (EFSMs), an algorithm is presented to eliminate the infeasible paths in these EFSMs.通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。
6)UML activity diagramUML活动图
1.Research on automatic generating test case method based on UML activity diagram;基于UML活动图的测试用例自动生成方法研究
2.Design of Test Case Based on UML Activity Diagram基于UML活动图模型的测试用例设计
3.An approach for generating test case from UML activity diagrams based on genetic algorithm遗传算法在基于UML活动图生成测试用例中的应用
延伸阅读
图的减缩图(或称图子式)图的减缩图(或称图子式)minor of a graph 图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G,,GZ,…,则存在指标i
